LogoopenSUSE Build Service > Projects
Sign Up | Log In

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.

Source Files

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

Comments for home:bayrepo (0)

Login required, please login or signup in order to comment