LogoopenSUSE Build Service > Projects
Sign Up | Log In


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.

Source Files

Filename Size Changed Actions
acsl-implementation-Aluminium-20160501.pdf 1.27 MB Download File
acsl.el 66 Bytes Download File
aorai-manual-Aluminium-20160501.pdf 326 KB Download File
frama-c-1.6.licensing 665 Bytes Download File
frama-c-Aluminium-20160501.tar.gz 7.38 MB
frama-c-Aluminium-20160501_api.tar.gz 4.84 MB
frama-c-gui.appdata.xml 1.66 KB Download File
frama-c-gui.desktop 184 Bytes Download File
frama-c-icons.tar.xz 33 KB Download File
frama-c.spec 16.3 KB Download File
metrics-manual-Aluminium-20160501.pdf 774 KB Download File
plugin-development-guide-Aluminium-20160501.pdf 1.31 MB Download File
rte-manual-Aluminium-20160501.pdf 656 KB Download File
user-manual-Aluminium-20160501.pdf 1.27 MB Download File
value-analysis-Aluminium-20160501.pdf 929 KB Download File
wp-manual-Aluminium-20160501.pdf 959 KB Download File

Comments for home:bayrepo (0)

Login required, please login or signup in order to comment