package frama-c

You can search for identifiers within the package.

in-package search v0.2.0

Platform dedicated to the analysis of source code written in C

Install

Dune Dependency

frama-c.com Readme Edit opam file Versions (25)

Authors

Maintainers

F

frama-ci-bot@frama-c.com

Sources

frama-c-31.0-beta-Gallium.tar.gz

sha256=095ffbb3086a6cd963a03e3defab4f0dc32e9a43f026e552ec9ae346a6e20522

doc/frama-c-callgraph.core/Callgraph/Cg/index.html

Module `Callgraph.Cg`Source

The callgraph itself

Source

module G : 
  Graph.Sig.G
    with type V.t = Frama_c_kernel.Kernel_function.t
    with type E.label = Frama_c_kernel.Cil_types.stmt

The underlying graph datastructure

Sourceval compute : unit -> unit

Compute the graph

Sourceval get : unit -> G.t

Get the graph from the AST.

Sourcemodule Subgraph : sig ... end

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

Sourceval dump : unit -> unit

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

Sourceval is_computed : unit -> bool

Is the graph already built?

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

Call registered hook each time the graph is computed

Sourceval self : Frama_c_kernel.State.t