Module name: ports
Changes by: ***@cvs.openbsd.org 2014/04/21 10:02:26
Import frama-c. Work done by blambert@, with help from sthen@,
phessler@ and me. ok sthen@ blambert@
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.
Vendor Tag: jca
Release Tags: jca_2014-04-21
No conflicts created by this import