./devel/frama-c [an extensible platform for analysis of C software]
[+] Add this package to your ports tracker

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 1.11, Package name: frama-c-1.11
Maintained by: The OpenBSD ports mailing-list
Master sites:
Description
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.


Filesize: 6011.237 KB
Version History (View Complete History)
  • (2015-08-31) Updated to version: frama-c-1.11
  • (2014-04-25) Package added to openports.se, version frama-c-1.10 (created)
[show/hide] View available PLISTS (Can be a lot of data)

CVS Commit History:

   2016-05-31 05:39:20 by Nigel Taylor | Files touched by this commit (1)
Log message:
Bump added graphviz dependency.
Ok krw@
   2016-05-30 19:18:35 by Kenneth R Westerback | Files touched by this commit (1)
Log message:
Add explicit dependencies on devel/ocaml-graph and math/graphviz. This
should eliminate the TOCTOU race between config and build stages
that can result in neither the internal or the port versions being
available.
Found while preparing for Ocaml 4.3.0.
ok sthen@
   2015-08-30 10:22:15 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
   2015-08-30 10:22:15 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
   2015-08-30 10:22:15 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
   2015-08-30 10:22:15 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
   2015-08-30 10:22:15 by Anil Madhavapeddy | Files touched by this commit (5)
Log message:
update to framac-1.11 (the "Sodium" release upstream)
ok jca@, tested by krw@ daniel@ jsg@
   2015-08-12 00:20:45 by Antoine Jacoutot | Files touched by this commit (2)
Log message:
Fix intermitent build failures by making sure we do not use the in-tree
ocaml-graph but the bundled one.
   2015-08-12 00:20:45 by Antoine Jacoutot | Files touched by this commit (2)
Log message:
Fix intermitent build failures by making sure we do not use the in-tree
ocaml-graph but the bundled one.