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

Access it by

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

Access it by

Dynamic.get ~plugin:"callgraph" "iter_in_rev_order" (Datatype.func (Datatype.func Kernel_function.ty Datatype.unit) Datatype.unit)