Module Dynamic_plugins.Semantic_callgraph

module Semantic_callgraph: sig .. end

val iter_on_callers : (Cil_datatype.Kf.t -> unit) -> Cil_datatype.Kf.t -> unit
Access it by Dynamic.get ~plugin:"Semantic_callgraph" "iter_on_callers" (Datatype.func (Datatype.func Kernel_function.ty Datatype.unit) (Datatype.func Kernel_function.ty Datatype.unit))