frama-c

API

Library Pdg_types

• Pdg_types

Library frama-c-alias.core

• Alias Interface for the Alias plug-in.

Library frama-c-aorai.core

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

Library frama-c-api-generator.core

• Api_generator

Library frama-c-callgraph.core

• Callgraph Callgraph plugin.

Library frama-c-constant_propagation.core

• Constant_Propagation Constant propagation analysis.

Library frama-c-dive.core

• Dive

Library frama-c-e-acsl.core

• E_ACSL

Library frama-c-eva.core

• Eva Eva public API.

Library frama-c-eva.gui

• Eva_gui

Library frama-c-eva.mthread

No module.

Library frama-c-from.core

• From

Library frama-c-from.gui

• From_gui

Library frama-c-impact.core

• Impact

Library frama-c-impact.gui

• Impact_gui

Library frama-c-inout.core

• Inout

Library frama-c-instantiate.core

• Instantiate

Library frama-c-loop-analysis.core

• LoopAnalysis Loop Analysis plugin.

Library frama-c-markdown-report.core

• Markdown_report

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

No module.

Library frama-c-metrics.core

• Metrics Metrics plugin.

Library frama-c-metrics.gui

• Metrics_gui

Library frama-c-nonterm.core

• Nonterm

Library frama-c-obfuscator.core

• Obfuscator Obfuscator plug-in.

Library frama-c-occurrence.core

• Occurrence

Library frama-c-occurrence.gui

• Occurrence_gui

Library frama-c-pdg.core

• Pdg Program Dependences Graph.

Library frama-c-pdg.types

No module.

Library frama-c-reduc.core

• Reduc

Library frama-c-region.core

• Region

Library frama-c-report.core

• Report

Library frama-c-rtegen.core

• RteGen Consult internal plug-in documentation for more details

Library frama-c-rtegen.gui

• Rtegen_gui

Library frama-c-scope.core

• Scope Scope analysis.

Library frama-c-scope.gui

• Scope_gui

Library frama-c-security_slicing.core

• Security_slicing Security slicing.

Library frama-c-security_slicing.gui

• Security_slicing_gui

Library frama-c-server.core

• Server

Library frama-c-slicing.core

• Slicing

Library frama-c-slicing.gui

• Slicing_gui

Library frama-c-sparecode.core

• Sparecode Sparecode analysis.

Library frama-c-studia.core

• Studia

Library frama-c-studia.gui

• Studia_gui

Library frama-c-users.core

• Users

Library frama-c-variadic.core

• Variadic

Library frama-c-wp.core

• Wp This the API of the WP plug-in

Library frama-c-wp.gui

• Wp_gui

Library frama-c.analysis-scripts

• Analysis_scripts

Library frama-c.boot

• Frama_c_boot

Library frama-c.gui

• Frama_c_gui

Library frama-c.init

No module.

Library frama-c.kernel

• Frama_c_kernel

Library frama_c_very_first_cmdline

No module.

Library frama_c_very_first_gui

No module.

Library markdown_report_eva_info

• Markdown_report_eva_info

Library mthread

• Mthread

Library mthread_gui

• Mthread_gui

Library qed

• Qed