Frama-C API - `Proj`

this is the type of the functor dedicated to interprocedural propagation. It is defined in PDG plugin

type t

type mark

type call_info

type fct = (mark, call_info) PdgIndex.FctIndex.t

val empty : unit -> t

val find_marks : t -> Frama_c_kernel.Cil_types.varinfo -> fct option

val mark_and_propagate : t -> PdgTypes.Pdg.t -> mark select -> unit

Frama-C API - Proj