module Backwards_computer:
val name : string
val debug : bool Pervasives.ref
type
t = Data_for_aorai.state
val pretty : Format.formatter -> Data_for_aorai.state -> unit
val funcExitData : 'a Data_for_aorai.Aorai_state.Map.t
val combineStmtStartData : 'a ->
old:Data_for_aorai.state ->
Data_for_aorai.state -> Data_for_aorai.state option
val combineSuccessors : Data_for_aorai.state -> Data_for_aorai.state -> Data_for_aorai.state
val doStmt : Cil_types.stmt -> Data_for_aorai.state Dataflow.action
val doInstr : Aorai_dataflow.Call_state.key ->
Cil_types.instr ->
'a Data_for_aorai.Aorai_state.Map.t Data_for_aorai.Aorai_state.Map.t ->
(Data_for_aorai.Aorai_state.Set.t * Data_for_aorai.Aorai_state.Set.t *
Data_for_aorai.Vals.t)
Data_for_aorai.Aorai_state.Map.t Data_for_aorai.Aorai_state.Map.t
Dataflow.action
val filterStmt : Cil_types.stmt -> Cil_types.stmt -> bool
module StmtStartData: Dataflow.StartData
(
sig
end
)
val stmt_can_reach : Cil_types.stmt -> Cil_types.stmt -> bool