ports

devel/frama-c

frama-c-1.11p0 – an extensible platform for analysis of C software

Description

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.

WWW: http://www.frama-c.com/

Broken
on alpha: Error while linking /usr/local/lib/ocaml/vmthreads/stdlib.cma
Categories:
devel

Library dependencies

Build dependencies

Run dependencies