frama-c

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.

Refresh
Refresh
Source Files
Filename Size Changed Actions
acsl-implementation-Aluminium-20160501.pdf 0001326936 1.27 MB over 3 years
acsl.el 0000000066 66 Bytes about 7 years
aorai-manual-Aluminium-20160501.pdf 0000333865 326 KB over 3 years
frama-c-1.6.licensing 0000000665 665 Bytes over 3 years
frama-c-Aluminium-20160501.tar.gz 0007733400 7.38 MB over 3 years
frama-c-Aluminium-20160501_api.tar.gz 0005073108 4.84 MB over 3 years
frama-c-gui.appdata.xml 0000001697 1.66 KB over 3 years
frama-c-gui.desktop 0000000184 184 Bytes over 3 years
frama-c-icons.tar.xz 0000033748 33 KB over 3 years
frama-c.spec 0000016649 16.3 KB over 3 years
metrics-manual-Aluminium-20160501.pdf 0000792425 774 KB over 3 years
plugin-development-guide-Aluminium-20160501.pdf 0001373404 1.31 MB over 3 years
rte-manual-Aluminium-20160501.pdf 0000671696 656 KB over 3 years
user-manual-Aluminium-20160501.pdf 0001334183 1.27 MB over 3 years
value-analysis-Aluminium-20160501.pdf 0000951097 929 KB over 3 years
wp-manual-Aluminium-20160501.pdf 0000982369 959 KB over 3 years
Comments for frama-c 0