functor
(Initial : sig
val initial : (Cil_types.stmt * PdgTypes.data_state) list
end) (Fenv : Dataflows.FUNCTION_ENV) (Param : sig
val current_pdg :
Build.pdg_build
val ctrl_dpds_infos :
CtrlDpds.t
end) ->
sig
val pdg_debug : ('a, Format.formatter, unit) Pervasives.format -> 'a
type t = PdgTypes.data_state
val current_pdg : Build.pdg_build
val current_function : Kernel_function.t
val ctrl_dpds_infos : CtrlDpds.t
val init : (Cil_types.stmt * PdgTypes.data_state) list
val bottom : PdgTypes.data_state
val pretty : Format.formatter -> Build.Computer.t -> unit
val join_and_is_included :
Build.Computer.t -> Build.Computer.t -> PdgTypes.data_state * bool
val join : Build.Computer.t -> Build.Computer.t -> PdgTypes.data_state
val doInstr :
Cil_types.stmt ->
Cil_types.instr -> PdgTypes.data_state -> PdgTypes.data_state
val transfer_stmt :
Cil_types.stmt ->
Build.Computer.t -> (Cil_types.stmt * Build.Computer.t) list
end