frama-c-19.0p8
extensible platform for analysis of C software
Back to search · Project homepage
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.
Package information
- Ports path
- devel/frama-c
- Package architecture
- amd64
- Maintainer
- The OpenBSD ports mailing-list <ports@openbsd.org>
- Categories
- devel
- Available flavors
- None listed
These are ports metadata. Binary availability depends on the release, architecture and mirror. Build and test dependencies are not an installation checklist.
Direct dependencies
Runtime
- x11/lablgtk3
- devel/ocaml-graph
- math/graphviz
- math/ocaml-zarith
- devel/ocaml-yojson
- sysutils/findlib
- lang/ocaml