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

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

Branch: CURRENT, Version: 25.0nb18, Package name: frama-c-25.0nb18, 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:

Filesize: 7491.076 KB

Version history: (Expand)

CVS history: (Expand)


   2024-11-17 08:17:06 by Thomas Klausner | Files touched by this commit (944) 
Log message:
*: recursive bump for default-on option of at-spi2-core
   2024-11-14 23:22:33 by Thomas Klausner | Files touched by this commit (2429) 
Log message:
*: recursive bump for icu 76 shlib major version bump
   2024-11-01 13:55:19 by Thomas Klausner | Files touched by this commit (2426) 
Log message:
*: revbump for icu downgrade
   2024-11-01 01:54:33 by Thomas Klausner | Files touched by this commit (2427) 
Log message:
*: recursive bump for icu 76.1 shlib bump
   2024-05-29 18:35:19 by Adam Ciarcinski | Files touched by this commit (1929) | Package updated
Log message:
revbump after icu and protobuf updates
   2024-04-07 09:35:33 by Thomas Klausner | Files touched by this commit (1138) 
Log message:
*: bump for cairo buildlink3.mk change

lzo was made an option
   2024-04-06 10:07:18 by Thomas Klausner | Files touched by this commit (1490) 
Log message:
* recursive bump for libxkbcommon 1.7.0

Marc Baudoin reported problems with using old binary packages
with the new libkxbcommon, so force everything to 1.7.0
   2023-11-14 15:03:25 by Thomas Klausner | Files touched by this commit (1145) 
Log message:
*: recursive bump for cairo dependency changes