package llvmgraph

  1. Overview
  2. Docs

Mapping from Llvm's control flow graph to another graph.

Parameters

Signature

val map : vertex:(G.vertex -> B.G.vertex) -> label:(G.edge -> B.G.E.label) -> ?src:(G.E.vertex -> B.G.E.vertex) -> ?dst:(G.E.vertex -> B.G.E.vertex) -> G.t -> (G.vertex -> B.G.vertex) * B.G.t
OCaml

Innovation. Community. Security.