package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Compute services from a callgraph.

val frama_c_display : bool -> unit

must be set to false before output the graph in dot format and must be set to true in order to display the graph in the Frama-C GUI.

  • since Oxygen-20120901
type 'a vertex = private {
  1. node : 'a;
  2. mutable is_root : bool;
  3. mutable root : 'a vertex;
}
type edge = private
  1. | Inter_services
  2. | Inter_functions
  3. | Both
module type S = sig ... end

Output signature for services.

module Make (G : sig ... end) : S with type node = G.V.t and type graph = G.t

Generic functor implementing the services algorithm according to a graph implementation.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct