Up – Package index » goblint index » Library goblint.lib » Goblint_lib » CilCfg

Module `Goblint_lib.CilCfg`

Creation of CIL CFGs.

class allBBVisitor : object ... end

val end_basic_blocks : GoblintCil.file -> unit

class countLoopsVisitor : int ref -> object ... end

val loopCount : GoblintCil.file -> int

val createCFG : GoblintCil.file -> unit