frama-c

extensible platform for analysis of C software

WWW CVSWeb GITHub
  1. Package version
    frama-c-19.0p7
  2. Maintainer
    The OpenBSD ports mailing-list

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.

  • x11/lablgtk3
  • devel/ocaml-graph
  • math/graphviz
  • math/ocaml-zarith
  • devel/ocaml-yojson
  • sysutils/findlib
  • lang/ocaml
  • lang/ocaml
  • devel/metaauto
  • devel/autoconf/2.69
  • devel/gmake

  • x11/lablgtk3
  • devel/ocaml-graph
  • math/graphviz
  • math/ocaml-zarith
  • devel/ocaml-yojson
  • sysutils/findlib
  • lang/ocaml