Frama-C

Basic Information
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C 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.

Tool first release date
2008-03-01
Version release date
2018-11-29
Software cost
Free
Software license
GNU LGPL, Proprietary
Hosting
Self-Hosted
Supported operating systems
macOS, Linux, Windows
Process Integration
Analysis inputs
Source code
Coverage
Supported programming languages
C
Claimed Weakness Coverage
Claimed Weakness Coverage information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Checker Customization
Checker Customization information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Speed & Scalability
Speed & Scalability information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Results Quality
Results Quality information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Reporting
Reporting information hasn't been collected yet for this analyzer.
Really want it? Let us know.
Support
See https://frama-c.com/support.html for support. See https://frama-c.com/download.html for download links and documentation.

Installation guide or documentation
User/operator guide or documentation
Integration guide or API documentation
Loading...