Module MakeCFGSource

Sourceval contains_call : Cil.instr list -> bool
Sourceclass callBBVisitor : object ... end
Sourceval calls_end_basic_blocks : Cil.file -> unit
Sourceclass vidVisitor : object ... end
Sourceval globally_unique_vids : Cil.file -> unit
Sourceval makeCFGFeature : Feature.t