package llvmgraph

  1. Overview
  2. Docs

Read only ocamlgraph interface for the control-flow-graph of llvm functions.

module G : sig ... end

Graph of an llvm function.

module Map (B : Graph.Builder.S) : sig ... end

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

Pre-applied functors

module Oper : sig ... end
module Component : sig ... end
module Path : sig ... end
module Traverse : sig ... end
module Coloring : sig ... end
module Topological : sig ... end
module Kruskal : sig ... end
module Prim : sig ... end
module Leaderlist : sig ... end
module Dominator : sig ... end

Do not compute the Dom graph, it will fail. Using compute_all is fine, as long as you don't use the dom_graph closure.