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.gui/Frama_c_gui/index.html

Module `Frama_c_gui`Source

Sourcemodule Analyses_manager : sig ... end

Nothing exported. Automatic registration.

Sourcemodule Book_manager : sig ... end

Undocumented. Do not use this module if you don't know what you are doing.

Sourcemodule Design : sig ... end

The extensible GUI.

Sourcemodule File_manager : sig ... end

Nothing exported. Automatic registration.

Sourcemodule Filetree : sig ... end

The tree containing the list of modules and functions together with dynamic columns

Sourcemodule GSourceView : sig ... end

Sourcemodule Gtk_form : sig ... end

DEPRECATED. Helpers around Gtk_helper to create side-panel widgets.

Sourcemodule Gtk_helper : sig ... end

Generic Gtk helpers.

Sourcemodule Gui_parameters : sig ... end

GUI as a plug-in.

Sourcemodule Gui_printers : sig ... end

Special pretty-printers for the GUI. Some sub-elements are annotated by format tags, in order to make them reactive.

Sourcemodule Help_manager : sig ... end

Nothing exported. Automatic registration.

Sourcemodule History : sig ... end

Sourcemodule Launcher : sig ... end

The Frama-C launcher. That is the dialog box for configuring and running Frama-C with new parameter values.

Sourcemodule Menu_manager : sig ... end

Handle the menubar and the toolbar.

Sourcemodule Pretty_source : sig ... end

Utilities to pretty print source with located elements in a Gtk TextBuffer.

Sourcemodule Project_manager : sig ... end

No function is exported. Extension of the GUI in order to support project switching.

Sourcemodule Property_navigator : sig ... end

Extension of the GUI in order to navigate in ACSL properties.

Sourcemodule Source_manager : sig ... end

The source viewer multi-tabs widget window.

Sourcemodule Source_viewer : sig ... end

The Frama-C source viewer. That is the buffer where Frama-C puts its pretty-printed AST.

Sourcemodule Warning_manager : sig ... end

Handle Frama-C warnings in the GUI.

Sourcemodule Wbox : sig ... end

Box Layouts.

Sourcemodule Wfile : sig ... end

Sourcemodule Widget : sig ... end

Sourcemodule Wpalette : sig ... end

A side-bar palette of tools.

Sourcemodule Wpane : sig ... end

Panels

Sourcemodule Wtable : sig ... end

Sourcemodule Wtext : sig ... end

Sourcemodule Wutil : sig ... end

Sourcemodule Wutil_once : sig ... end

package frama-c

Install

Dune Dependency

Authors

Maintainers

Sources

doc/frama-c.gui/Frama_c_gui/index.html

Module Frama_c_guiSource

Module `Frama_c_gui`Source