The devel/frama-c port
frama-c-19.0p7 – extensible platform for analysis of C software
Description
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.
WWW: https://frama-c.com/
- Broken
-
on i386:
ld: error: undefined symbol: ml_as_z_mul, etc
- Categories:
-
devel
Library dependencies
Build dependencies
Run dependencies