Module Dynamic_plugins.Callgraph

module Callgraph: sig .. end

val accept_base : Cil_datatype.Kf.t -> Base.t -> bool

Returns true if the given base is a global, or a formal or local of either kf or one of its callers

val iter_in_rev_order : (Cil_datatype.Kf.t -> unit) -> unit

Iterate over all the functions in the callgraph in reverse order