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
Dynamic.get ~plugin:"callgraph" "accept_base" (Datatype.func Kernel_function.ty (Datatype.func Base.ty Datatype.bool))
val iter_in_rev_order : (Cil_datatype.Kf.t -> unit) -> unit
Iterate over all the functions in the callgraph in reverse order
Dynamic.get ~plugin:"callgraph" "iter_in_rev_order" (Datatype.func (Datatype.func Kernel_function.ty Datatype.unit) Datatype.unit)