Path to this page:
./
devel/frama-c,
Extensible platform dedicated to source-code analysis of C software
Branch: pkgsrc-2011Q1,
Version: 20090901nb6,
Package name: frama-c-20090901nb6,
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:[
x11/gtksourceview] [
x11/lablgtk]
Required to build:[
pkgtools/x11-links] [
x11/renderproto] [
x11/xcb-proto] [
x11/randrproto] [
x11/compositeproto] [
x11/xproto] [
x11/fixesproto4] [
x11/xextproto] [
x11/inputproto] [
lang/ocaml]
Package options: gnomecanvas
Master sites:
SHA1: 17b1516e9807a9a34ab20a3413efc372549e6fed
RMD160: b29038e948b898196947cae636eef9adbea99ed6
Filesize: 17737.012 KB
Version history: (Expand)
- (2011-04-04) Package added to pkgsrc.se, version frama-c-20090901nb6 (created)