goblint-cil
  1. Overview
  2. Docs
package goblint-cil
Legend:
Library
Module
Module type
Parameter
Class
Class type
module type AliasInfo = sig ... end
module type Symex = sig ... end
type callGraphNode = {
  1. fd : Cil.fundec;
  2. mutable calledBy : Cil.fundec list;
  3. mutable calls : Cil.fundec list;
}
type callNodeHash = (Cil.varinfo, callGraphNode) Hashtbl.t
module type CallGraph = sig ... end
module type CallGraph' = sig ... end
module EasyCallGraph (A : AliasInfo) : sig ... end
module NeculaFolding (A : AliasInfo) : sig ... end
val contains_call : Cil.instr list -> bool
class callBBVisitor : object ... end
val calls_end_basic_blocks : Cil.file -> unit
class vidVisitor : object ... end
val globally_unique_vids : Cil.file -> unit
module MakePartial (S : Symex) (C : CallGraph) (A : AliasInfo) : sig ... end
module PartialAlgorithm : sig ... end
val partial : Cil.file -> string -> (Cil.lval * Cil.exp) list -> unit
class globalConstVisitor : object ... end
val initialized_constants : bool Pervasives.ref
val root_fun : string Pervasives.ref
val do_feature_partial : Cil.file -> unit
val feature : Feature.t
val makeCFGFeature : Feature.t