Module Cfg


module Cfg: sig .. end
Code to compute the control-flow graph of a function or file. This will fill in the preds and succs fields of Cil.stmt

This is required for several other extensions, such as Dataflow.
Consult the Plugin Development Guide for additional details.


val computeFileCFG : Cil_types.file -> unit
Compute the CFG for an entire file, by calling cfgFun on each function.
val clearFileCFG : ?clear_id:bool -> Cil_types.file -> unit
clear the sid (except when clear_id is explicitely set to false), succs, and preds fields of each statement.
val cfgFun : Cil_types.fundec -> unit
Compute a control flow graph for fd. Stmts in fd have preds and succs filled in
val clearCFGinfo : ?clear_id:bool -> Cil_types.fundec -> unit
clear the sid, succs, and preds fields of each statment in a function
val printCfgChannel : Format.formatter -> Cil_types.fundec -> unit
print control flow graph (in dot form) for fundec to channel
val printCfgFilename : string -> Cil_types.fundec -> unit
Print control flow graph (in dot form) for fundec to file