Path to this page:
./
devel/frama-c,
Extensible platform dedicated to source-code analysis of C software
Branch: CURRENT,
Version: 25.0nb16,
Package name: frama-c-25.0nb16,
Maintainer: tonioFrama-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.
Required to run:[
lang/ocaml] [
lang/coq] [
devel/ocaml-findlib] [
x11/ocaml-lablgtk] [
devel/ocamlgraph] [
math/ocaml-zarith]
Required to build:[
pkgtools/x11-links] [
x11/xcb-proto] [
x11/fixesproto4] [
pkgtools/cwrappers] [
x11/xorgproto]
Package options: coq, gui
Master sites:
Filesize: 7491.076 KB
Version history: (Expand)
- (2024-11-01) Updated to version: frama-c-25.0nb16
- (2024-11-01) Updated to version: frama-c-25.0nb15
- (2024-10-20) Updated to version: frama-c-25.0nb14
- (2024-05-29) Updated to version: frama-c-25.0nb13
- (2024-04-07) Updated to version: frama-c-25.0nb12
- (2024-04-06) Updated to version: frama-c-25.0nb11
CVS history: (Expand)