package frama-c
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
Platform dedicated to the static analysis of source code written in C
Install
Dune Dependency
Authors
-
PPatrick Baudin
-
FFrançois Bobot
-
RRichard Bonichon
-
LLoïc Correnson
-
PPascal Cuoq
-
ZZaynah Dargaye
-
JJean-Christophe Filliâtre
-
PPhilippe Herrmann
-
FFlorent Kirchner
-
MMatthieu Lemerre
-
CClaude Marché
-
BBenjamin Monate
-
YYannick Moy
-
AAnne Pacalet
-
VVirgile Prévosto
-
JJulien Signoles
-
BBoris Yakobowski
Maintainers
Sources
frama-c-Neon-20140301.tar.gz
sha256=c5a0606f5c2d56280fd90f979c07ff398acb1e6a661323438b8d0cbd8f9f4731
md5=c050eaf6f3acff2edf8edb44bf64976d
Description
Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Neon version.
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.
On This Page