sig
val name : string
val debug : bool
type t = Compute.DomSet.t
module StmtStartData = PostDom
val pretty : Stdlib.Format.formatter -> Compute.DomSet.t -> unit
val combineStmtStartData :
'a -> old:Compute.DomSet.t -> Compute.DomSet.t -> Compute.DomSet.t option
val combineSuccessors :
Compute.DomSet.domset -> Compute.DomSet.domset -> Compute.DomSet.domset
val doStmt : Cil_types.stmt -> Compute.DomSet.domset Dataflow2.action
val doInstr : 'a -> 'b -> 'c -> 'd Dataflow2.action
val filterIf : Cil_types.stmt -> Cil_datatype.Stmt.t -> bool
val filterStmt : Cil_types.stmt -> Cil_datatype.Stmt.t -> bool
val funcExitData : Compute.DomSet.domset
end