Module Db.Semantic_Callgraph

module Semantic_Callgraph: sig .. end
Callgraph computed by value analysis. It contains function pointers!

val dump : (unit -> unit) Pervasives.ref
Dump the semantic callgraph in stdout or in a file.
val topologically_iter_on_functions : ((Cil_types.kernel_function -> unit) -> unit) Pervasives.ref
Compute values if required.
val iter_on_callers : ((Cil_types.kernel_function -> unit) -> Cil_types.kernel_function -> unit)
Pervasives.ref
Compute values if required.
val accept_base : (with_formals:bool ->
with_locals:bool -> Cil_types.kernel_function -> Base.t -> bool)
Pervasives.ref