devel/frama-c/DESCR

   1 Frama-C is a suite of tools dedicated to the analysis of the source code of
   2 software written in C.
   3
   4 Frama-C gathers several static analysis techniques in a single collaborative
   5 framework. The collaborative approach of Frama-C allows static analyzers to
   6 build upon the results already computed by other analyzers in the framework.
   7 Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer
   8 and dependency analysis.