Frama-C API - `F_Proj`

Parameters

module C : Pdg_types.PdgMarks.Config

type t

type mark = C.M.t

type call_info = C.M.call_info

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

val empty : unit -> t

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

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