package frama-c

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

frama-c 28.1

Libraries

This package provides the following libraries (via ocamlobjinfo):

qed

Documentation:

frama-c.analysis-scripts

Documentation:

frama-c.boot

Documentation:

frama-c.gui

Documentation:

frama-c.init.cmdline

Documentation:

frama-c.init.gui

Documentation:

frama-c.kernel

Documentation:

frama-c-wp.core

Documentation:

  • Wp This the API of the WP plug-in

frama-c-wp.gui

Documentation:

frama-c-variadic.core

Documentation:

frama-c-users.core

Documentation:

frama-c-studia.core

Documentation:

frama-c-studia.gui

Documentation:

frama-c-sparecode.core

Documentation:

frama-c-slicing.core

Documentation:

frama-c-slicing.gui

Documentation:

frama-c-server.core

Documentation:

frama-c-security_slicing.core

Documentation:

frama-c-security_slicing.gui

Documentation:

frama-c-scope.core

Documentation:

frama-c-scope.gui

Documentation:

frama-c-rtegen.core

Documentation:

  • RteGen Consult internal plug-in documentation for more details

frama-c-rtegen.gui

Documentation:

frama-c-report.core

Documentation:

frama-c-reduc.core

Documentation:

frama-c-postdominators.core

Documentation:

frama-c-pdg.core

Documentation:

  • Pdg Program Dependences Graph.

frama-c-pdg.types.core

Documentation:

frama-c-occurrence.core

Documentation:

frama-c-occurrence.gui

Documentation:

frama-c-obfuscator.core

Documentation:

frama-c-nonterm.core

Documentation:

frama-c-metrics.core

Documentation:

frama-c-metrics.gui

Documentation:

frama-c-markdown-report.core

Documentation:

frama-c-markdown-report.eva-info.core

Documentation:

frama-c-loop-analysis.core

Documentation:

frama-c-instantiate.core

Documentation:

frama-c-inout.core

Documentation:

frama-c-impact.core

Documentation:

frama-c-impact.gui

Documentation:

frama-c-from.core

Documentation:

frama-c-from.gui

Documentation:

frama-c-eva.core

Documentation:

  • Eva Eva public API.

frama-c-eva.gui

Documentation:

frama-c-e-acsl.core

Documentation:

frama-c-dive.core

Documentation:

frama-c-constant_propagation.core

Documentation:

frama-c-callgraph.core

Documentation:

frama-c-api-generator.core

Documentation:

frama-c-aorai.core

Documentation:

  • Aorai Aorai plugin (AKA Ltl_to_acsl). No function is directly exported: they are registered in Db.Aorai.

frama-c-alias.core

Documentation:

  • Alias Interface for the Alias plug-in.