diff options
| author | tonio <tonio@pkgsrc.org> | 2009-09-11 15:09:35 +0000 |
|---|---|---|
| committer | tonio <tonio@pkgsrc.org> | 2009-09-11 15:09:35 +0000 |
| commit | df9a5ed6a5aa6396788ecbc6e5b5f9b59c2390a1 (patch) | |
| tree | 37c76daf5023660cfb17670e69b5c19b57fe0a83 /devel/frama-c/distinfo | |
| parent | 3c087dd1d56b5d8447fa42ef7362e6ed2f482a06 (diff) | |
| download | pkgsrc-df9a5ed6a5aa6396788ecbc6e5b5f9b59c2390a1.tar.gz | |
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.
Diffstat (limited to 'devel/frama-c/distinfo')
| -rw-r--r-- | devel/frama-c/distinfo | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/devel/frama-c/distinfo b/devel/frama-c/distinfo new file mode 100644 index 00000000000..5f5a9611468 --- /dev/null +++ b/devel/frama-c/distinfo @@ -0,0 +1,6 @@ +$NetBSD: distinfo,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $ + +SHA1 (frama-c-Beryllium-20090901.tar.gz) = 17b1516e9807a9a34ab20a3413efc372549e6fed +RMD160 (frama-c-Beryllium-20090901.tar.gz) = b29038e948b898196947cae636eef9adbea99ed6 +Size (frama-c-Beryllium-20090901.tar.gz) = 18162700 bytes +SHA1 (patch-aa) = fbeccfdd1b90c1d72d954d4ea06309da5684f6a4 |