CVS commit: pkgsrc/devel/frama-c

[Antoine Reilles <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Fri Sep 11 15:09:36 UTC 2009

Update of /cvsroot/pkgsrc/devel/frama-c
In directory ivanova.netbsd.org:/tmp/cvs-serv25228

Log Message:
import the frama-c source code analysis tool

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.

Status:

Vendor Tag:     TNF
Release Tags:   pkgsrc-base
                
N pkgsrc/devel/frama-c/Makefile
N pkgsrc/devel/frama-c/PLIST
N pkgsrc/devel/frama-c/distinfo
N pkgsrc/devel/frama-c/DESCR
N pkgsrc/devel/frama-c/patches/patch-aa

No conflicts created by this import