[Lunar-commits] <moonbase> frama-c: New Module. Static code analyzer for C programming language

[Auke Kok]

commit b4dd4497f34963b5467d613124d7bcf6fefe743f
Author: Giorgos Chadjipavlis <lazyape at gmail.com>
Date:   Mon Oct 31 19:47:56 2011 +0100

    frama-c: New Module. Static code analyzer for C programming language
---
 zbeta/frama-c/DEPENDS |    1 +
 zbeta/frama-c/DETAILS |   22 ++++++++++++++++++++++
 2 files changed, 23 insertions(+), 0 deletions(-)

diff --git a/zbeta/frama-c/DEPENDS b/zbeta/frama-c/DEPENDS
new file mode 100644
index 0000000..6cf488a
--- /dev/null
+++ b/zbeta/frama-c/DEPENDS
@@ -0,0 +1 @@
+depends lablgtk
diff --git a/zbeta/frama-c/DETAILS b/zbeta/frama-c/DETAILS
new file mode 100644
index 0000000..4c7051e
--- /dev/null
+++ b/zbeta/frama-c/DETAILS
@@ -0,0 +1,22 @@
+          MODULE=frama-c
+         MIDNAME=Carbon
+         VERSION=20110201
+          SOURCE=$MODULE-$MIDNAME-$VERSION.tar.gz
+SOURCE_DIRECTORY=$BUILD_DIRECTORY/$MODULE-$MIDNAME-$VERSION
+      SOURCE_URL=http://frama-c.com/download/
+      SOURCE_VFY=sha1:a3d4647a3a4cbf5b9008d40cbc0a6dcefbd15c42
+        WEB_SITE=http://www.frama-c.com
+         ENTERED=20110930
+         UPDATED=20110930
+           SHORT="Static software analyzer for C programing language"
+
+cat << EOF
+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.
+EOF