module Cfg:Code to compute the control-flow graph of a function or file. This will fill in thesig..end
preds and succs fields of Cil.stmt
This is required for several other extensions, such as Dataflow.
val computeFileCFG : Cil.file -> unitval clearFileCFG : Cil.file -> unitval cfgFun : Cil.fundec -> intval clearCFGinfo : Cil.fundec -> unitval printCfgChannel : out_channel -> Cil.fundec -> unitval printCfgFilename : string -> Cil.fundec -> unitval start_id : int refval allStmts : Cil.file -> Cil.stmt list