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

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

Branch: pkgsrc-2016Q3, Version: 20120901nb32, Package name: frama-c-20120901nb32, 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:
[x11/gtksourceview2] [x11/ocaml-lablgtk]

Required to build:
[pkgtools/x11-links] [x11/renderproto] [x11/compositeproto] [x11/dri2proto] [x11/fixesproto4] [x11/xcb-proto] [x11/xextproto] [x11/xf86driproto] [x11/xproto] [x11/inputproto] [x11/randrproto] [x11/xf86vidmodeproto] [x11/glproto] [x11/damageproto]

Package options: gui

Master sites:

SHA1: 65aef0a88b788d11a6b5061dc08741492859de40
RMD160: 76daf11770a52b1b1bc59ca9c576208ac08755a8
Filesize: 10561.534 KB

Version history: (Expand)