./devel/frama-c, Extensible platform dedicated to source-code analysis of C software

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: pkgsrc-2012Q2, Version: 20111001nb7, Package name: frama-c-20111001nb7, Maintainer: tonio

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.


Required to build:
[devel/gmake]

Package options: gui

Master sites:

SHA1: 5b5b8cd0b21e007012c899ab74bb33cbe23582ed
RMD160: 4401666bdca00c9f8fe9882309116633e5d68984
Filesize: 11826.939 KB

Version history: (Expand)