goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
val computeFileCFG : Cil.file -> unit
val clearFileCFG : Cil.file -> unit
val cfgFun : Cil.fundec -> int
val clearCFGinfo : Cil.fundec -> unit
val printCfgChannel : Pervasives.out_channel -> Cil.fundec -> unit
val printCfgFilename : string -> Cil.fundec -> unit
val start_id : int Pervasives.ref
val allStmts : Cil.file -> Cil.stmt list