package goblint-cil

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type callnode = {
  1. cnid : int;
  2. cnInfo : nodeinfo;
  3. cnCallees : callnode Inthash.t;
  4. cnCallers : callnode Inthash.t;
}
and nodeinfo =
  1. | NIVar of Cil.varinfo * bool ref
  2. | NIIndirect of string * Cil.varinfo list ref
val nodeName : nodeinfo -> string
type callgraph = (string, callnode) Hashtbl.t
val computeGraph : Cil.file -> callgraph
val printGraph : out_channel -> callgraph -> unit
val feature : Feature.t
OCaml

Innovation. Community. Security.