Previous
Up
Next
Module
Cil2cfg.MyGraph
module
MyGraph:
Graph.Blocks.Make
(
PMAP
)
the CFG is an ocamlgraph, but be careful to use it through the cfg function because some edges don't have the same meaning as some others...