diff options
Diffstat (limited to 'devel/frama-c/DESCR')
| -rw-r--r-- | devel/frama-c/DESCR | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/devel/frama-c/DESCR b/devel/frama-c/DESCR new file mode 100644 index 00000000000..46ead12eb41 --- /dev/null +++ b/devel/frama-c/DESCR @@ -0,0 +1,8 @@ +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. |