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 : ((Db_types.kernel_function -> unit) -> unit) Pervasives.ref
Compute values if required.