package frama-c

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

Callgraph plugin.

module Options : sig ... end
module Cg : module type of Cg

The callgraph itself

module Services : module type of Services

The graph of services built on top of the callgraph

module Uses : module type of Uses

Several useful functions over the callgraph