module type T_Proj =this is the type of the functor dedicated to interprocedural propagation. It is defined in PDG plugginsig
..end
type
t
type
t_mark
type
t_call_info
typet_fct =
(t_mark, t_call_info) PdgIndex.FctIndex.t
val empty : t
val find_marks : t -> Cil_types.varinfo -> t_fct option
val mark_and_propagate : t ->
PdgTypes.Pdg.t -> t_mark PdgMarks.t_select -> unit