./devel/frama-c, Extensible platform dedicated to source-code analysis of C software

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]


Branch: CURRENT, Version: 20170501nb19, Package name: frama-c-20170501nb19, Maintainer: tonio

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.


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:

SHA1: d9372127ba80636cc1c692a141a7a02dee8325da
RMD160: 24a5b8578491d3c15aa539da69062803d0c6d137
Filesize: 7256.964 KB

Version history: (Expand)


CVS history: (Expand)


   2018-12-09 19:52:52 by Adam Ciarcinski | Files touched by this commit (724)
Log message:
revbump after updating textproc/icu
   2018-11-29 12:22:00 by Patrick Welche | Files touched by this commit (173)
Log message:
Revbump for libcanberra gstreamer change.
   2018-11-14 23:22:54 by Klaus Klein | Files touched by this commit (1332) | Package updated
Log message:
Revbump after cairo 1.16.0 update.
   2018-11-12 17:10:29 by Jaap Boender | Files touched by this commit (141) | Package updated
Log message:
Revbumps associated with update of lang/ocaml.
   2018-11-12 04:53:16 by Ryo ONODERA | Files touched by this commit (1532)
Log message:
Recursive revbump from hardbuzz-2.1.1
   2018-10-24 23:11:57 by Leonardo Taccari | Files touched by this commit (173) | Package updated
Log message:
*: (belatedly) revbump for net/libsoup update

Thanks to <wiz>!
   2018-07-20 05:34:33 by Ryo ONODERA | Files touched by this commit (705)
Log message:
Recursive revbump from textproc/icu-62.1
   2018-07-19 17:15:31 by Jaap Boender | Files touched by this commit (190) | Package updated
Log message:
Recursive revbump associated with the update of lang/ocaml to 4.07.