start.md

layout: clean_page
title: Documentation

Documentation

Modification for this documentation, as for all this site, can be proposed by submitting a merge requests at the corresponding https://git.frama-c.com/frama-c/frama-c.frama-c.com.

For plug-ins documentation, some pages can be found here but all of them are otherwise available on the dedicated page.

Is on-topic anything that may be of help to others users of Frama-C and related tools: tips, changes that you have noticed, workarounds, etc.

---

Compilation and Installation

Current and old releases of Frama-C are available on this page. It contains the official installation instructions for supported systems.

Otherwise, each releases contains extra instructions for compiling from source.

---

Manuals and tutorials

ACSL

• Description
• Manual
• Online and PDF tutorial

Frama-C

• Description
• Manual
• ACSL implementation

Plugins

• Eva Description - Manual and tutorial
• WP Description - Manual
• E-ACSL Description - Manual
• RTE Description - Manual
• Aoraï Description - Manual
• Metrics Description
• Occurrences analysis Description
• Scope analysis Description
• Slicing Description
• Semantic constant folding Description
• Spare code elimination Description
• Impact analysis Description

Plugin development

• Manual

External plug-ins

External plug-ins that you may find useful are available. The plug-ins currently described are Jessie, Celia and Werror.

---

Contributing

Frama-C is an open-source project which could be contrinuted through merge requests at this Gitlab repository. The modalities are described in this document

Known issues

• The BTS has a list of known issues.
• See bug reporting guidelines to report a bug.

Works about Frama-C

• List of publications
• Exercises
• Teaching
• Tutorials