Module Spare_marks

module Spare_marks: sig .. end
Useful mainly if there has been some Pdg.Top

The project is composed of FctIndex marked with BoolMark to be used by Pdg.Register.F_Proj, and another table to store if a function is visible (usefull for Top PDG).


type proj 
type fct 
val select_useful_things : select_annot:bool ->
select_slice_pragma:bool -> Cil_types.kernel_function -> proj
val get_marks : proj -> Cil_types.kernel_function -> fct option
Raises Not_found when the function is not marked. It might be the case that it is nonetheless visible, but has no marks because of a Top PDG.
val key_visible : fct -> PdgIndex.Key.t -> bool
val kf_visible : proj -> Cil_types.kernel_function -> bool
Useful mainly if there has been some Pdg.Top

Useful only if there has been some Pdg.Top