sig
  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 nodeList : Cil.stmt list Pervasives.ref
  val numNodes : int Pervasives.ref
end

This web site is published by Informatikbüro Gerd Stolpmann