`sig
val name : string
val debug : bool Pervasives.ref
type t
val pretty : unit -> Dataflow.BackwardsTransfer.t -> Pretty.doc
val stmtStartData : Dataflow.BackwardsTransfer.t Inthash.t
val funcExitData : Dataflow.BackwardsTransfer.t
val combineStmtStartData :
Cil.stmt ->
old:Dataflow.BackwardsTransfer.t ->
Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t option
val combineSuccessors :
Dataflow.BackwardsTransfer.t ->
Dataflow.BackwardsTransfer.t -> Dataflow.BackwardsTransfer.t
val doStmt : Cil.stmt -> Dataflow.BackwardsTransfer.t Dataflow.action
val doInstr :
Cil.instr ->
Dataflow.BackwardsTransfer.t ->
Dataflow.BackwardsTransfer.t Dataflow.action
val filterStmt : Cil.stmt -> Cil.stmt -> bool
end`