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

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


Branch: CURRENT, Version: 20170501nb5, Package name: frama-c-20170501nb5, 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/compositeproto] [x11/glproto] [x11/renderproto] [x11/xproto] [x11/xf86vidmodeproto] [x11/recordproto] [x11/xf86driproto] [x11/damageproto] [x11/inputproto] [x11/xextproto] [x11/randrproto] [x11/dri2proto] [x11/xcb-proto] [x11/fixesproto4] [pkgtools/cwrappers]

Package options: coq, gui

Master sites:

SHA1: d9372127ba80636cc1c692a141a7a02dee8325da
RMD160: 24a5b8578491d3c15aa539da69062803d0c6d137
Filesize: 7256.964 KB

Version history: (Expand)


CVS history: (Expand)


   2018-01-10 17:53:15 by Jaap Boender | Files touched by this commit (107) | Package updated
Log message:
Recursive revbump associated with the update to OCaml 4.06.
   2017-12-19 09:17:21 by Mark Davies | Files touched by this commit (5)
Log message:
frama-c: allow coq 8.7
   2017-11-30 17:45:43 by Adam Ciarcinski | Files touched by this commit (654) | Package updated
Log message:
Revbump after textproc/icu update
   2017-11-23 18:20:22 by Thomas Klausner | Files touched by this commit (556)
Log message:
recursive bump for libxkbcommon removal from at-spi2-core
   2017-09-18 11:53:40 by Maya Rashish | Files touched by this commit (676)
Log message:
revbump for requiring ICU 59.x
   2017-09-08 11:51:27 by Jaap Boender | Files touched by this commit (113) | Package updated
Log message:
Recursive revbump associated with update of ocaml to 4.05
   2017-09-05 09:42:00 by David A. Holland | Files touched by this commit (3)
Log message:
Need to patch Makefile.in, not Makefile. Oops.
   2017-09-05 09:41:35 by David A. Holland | Files touched by this commit (1) | Package updated
Log message:
Tag missed gui-only files. Ride update.