package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

The graph of services built on top of the callgraph

val compute : unit -> unit

Compute the graph

val get : unit -> G.t

Get the graph from the AST.

module Subgraph : sig ... end

Subgraph of get () wrt Options.Roots.get ()

val dump : unit -> unit

Dump the (possibly sub-)graph in the file of the corresponding command line argument.

val is_computed : unit -> bool

Is the graph already built?

val add_hook : (G.t -> unit) -> unit

Call registered hook each time the graph is computed

val entry_point : unit -> G.V.t option
val is_root : Frama_c_kernel.Kernel_function.t -> bool