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

[ CVSweb ] [ Homepage ] [ RSS feed ]

Version: 18.0, Package name: frama-c-18.0
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: 5233.359 KB
Version History (View Complete History)
  • (2019-03-04) Updated to version: frama-c-18.0
  • (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:

   2019-03-13 03:34:42 by Stuart Henderson | Files touched by this commit (1)
Log message:
mark BROKEN-i386
Packing      /usr/obj/ports/frama-c-18.0/frama-c-18.0-Argon/lib/plugins/gui/Eva.cmxs
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/infer_annotations.o:(camlInfer_annotations__make_range_1982)
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_services/analysis/logic_interp.o:(camlLogic_interp__aux_2613)
ld: error: undefined symbol: ml_as_z_pred
>>> referenced by integer.ml:66 (src/libraries/stdlib/integer.ml:66)
>>>               src/kernel_internals/typing/asm_contracts.o:(camlAsm_contracts__access_elts_5367)
ld: error: undefined symbol: ml_as_z_neg
(etc.etc.)
   2019-03-04 21:29:47 by Jeremie Courreges-Anglas | Files touched by this commit (68)
Log message:
Those files should have been removed in the ocaml-4.07.1+friends update
Noticed by krw@ and Adam Steen
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   2019-03-04 05:51:17 by Christopher Zimmermann | Files touched by this commit (133)
Log message:
Upgrade OCaml and dependent ports
testing and OKs by avsm@, jca@, krw@ Thanks a lot !
   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.