module Semantic_Callgraph:Callgraph computed by value analysis. It contains function pointers!sig
..end
val dump : (unit -> unit) Pervasives.ref
val topologically_iter_on_functions : ((Cil_types.kernel_function -> unit) -> unit) Pervasives.ref
val iter_on_callers : ((Cil_types.kernel_function -> unit) -> Cil_types.kernel_function -> unit)
Pervasives.ref