goblint-cil
Libmaincil
goblint-cil.dataslicing
goblint-cil.liveness
goblint-cil.makecfg
goblint-cil.pta
goblint-cil.syntacticsearch
goblint-cil.zrapp
module E = Errormsg
val unparseToStdout : Cil.file -> unit
class unrollVisitorClass : object ... end
val unrollVisitor : unrollVisitorClass
val parseOneFile : string -> Cil.file
val getDummyTypes : unit -> Cil.typ * Cil.typ