module Callgraph: sig
.. end
type
callnode = {
|
cnid : int ; |
|
cnInfo : nodeinfo ; |
|
cnCallees : callnode Datatype.Int.Hashtbl.t ; |
|
cnCallers : callnode Datatype.Int.Hashtbl.t ; |
}
a call node describes the local calling structure for a
single function: which functions it calls, and which
functions call it
type
nodeinfo =
val nodeName : nodeinfo -> string
type
callgraph = (string, callnode) Hashtbl.t
a call graph is a hashtable, mapping a function name to
the node which describes that function's call structure
val computeGraph : Cil_types.file -> callgraph
given a CIL file, compute its static call graph
val printGraph : Pervasives.out_channel -> callgraph -> unit
print the callgraph in a human-readable format to a channel
val feature : Cil.featureDescr