frama-c
Framework for analysis of source codes written in C
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. It gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| guru gitweb ↗ | 25.0-r2 | 1 | 2 d | details › |
Versions & arches
Use flags of 25.0-r2
- gtk Add support for x11-libs/gtk+ (The GIMP Toolkit)
- +ocamlopt Enable ocamlopt support (ocaml native code compiler) -- Produces faster programs (Warning: you have to disable/enable it at a global scale)