Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

frama-c

Framework for source code analysis of C software

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.

Homepage:
Package version:1.7
Architecture:src
Distribution:Fedora
Filename:frama-c-1.7-3.fc17.src.rpm

Browse inside frama-c-1.7-3.fc17.src.rpm

66 B2014-11-29acsl.el  view
665 B2014-11-29frama-c-1.6.licensing  view
140 B2014-11-29frama-c-gui.desktop  view
11.55 MB2014-11-29frama-c-Nitrogen-20111001.tar.gz  view  51 mirrors
8.82 KB2014-11-29frama-c.spec  view
1.05 KB2014-11-29HEADER  view  120 mirrors

Download frama-c-1.7-3.fc17.src.rpm

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2017 FileWatcher.com