{"schema_version":1,"metadata":{"branch":"current","release":"7.9","architecture":"amd64","generated_at":"2026-09-09T04:04:41.004595+00:00","source_url":"https://cdn.openbsd.org/pub/OpenBSD/snapshots/packages/amd64/sqlports-7.55.tgz","source_sha256":"fcdbba1b9df747882aa9bab4af20ebec8dac10655069c90f1cd4145c06e1235e","package_count":12031,"source_kind":"sqlports"},"package":{"name":"frama-c-19.0p8","path":"devel/frama-c","url":"/packages/current/devel/frama-c/","comment":"extensible platform for analysis of C software","homepage":"https://frama-c.com/","maintainer":"The OpenBSD ports mailing-list <ports@openbsd.org>","description":"Frama-C is a suite of tools dedicated to the analysis of the source code\nof software written in C.\n\nFrama-C gathers several static analysis techniques in a single collaborative\nframework. The collaborative approach of Frama-C allows static analyzers to\nbuild upon the results already computed by other analyzers in the framework.\nThanks to this approach, Frama-C provides sophisticated tools, such as a\nslicer and dependency analysis.\n","package_architecture":"amd64","stem":"frama-c","readme":null,"dependencies":[{"path":"x11/lablgtk3","type":"runtime","package_spec":"","url":"/packages/current/x11/lablgtk3/"},{"path":"devel/ocaml-graph","type":"runtime","package_spec":"","url":"/packages/current/devel/ocaml-graph/"},{"path":"math/graphviz","type":"runtime","package_spec":"","url":"/packages/current/math/graphviz/"},{"path":"math/ocaml-zarith","type":"runtime","package_spec":"","url":"/packages/current/math/ocaml-zarith/"},{"path":"devel/ocaml-yojson","type":"runtime","package_spec":"","url":"/packages/current/devel/ocaml-yojson/"},{"path":"sysutils/findlib","type":"runtime","package_spec":"","url":"/packages/current/sysutils/findlib/"},{"path":"lang/ocaml","type":"runtime","package_spec":"","url":"/packages/current/lang/ocaml/"},{"path":"x11/lablgtk3","type":"build","package_spec":"","url":"/packages/current/x11/lablgtk3/"},{"path":"devel/ocaml-graph","type":"build","package_spec":"","url":"/packages/current/devel/ocaml-graph/"},{"path":"math/graphviz","type":"build","package_spec":"","url":"/packages/current/math/graphviz/"},{"path":"math/ocaml-zarith","type":"build","package_spec":"","url":"/packages/current/math/ocaml-zarith/"},{"path":"devel/ocaml-yojson","type":"build","package_spec":"","url":"/packages/current/devel/ocaml-yojson/"},{"path":"sysutils/findlib","type":"build","package_spec":"","url":"/packages/current/sysutils/findlib/"},{"path":"lang/ocaml","type":"build","package_spec":"","url":"/packages/current/lang/ocaml/"},{"path":"devel/metaauto","type":"build","package_spec":"","url":"/packages/current/devel/metaauto/"},{"path":"devel/autoconf/2.69","type":"build","package_spec":"","url":"/packages/current/devel/autoconf/2.69/"},{"path":"devel/gmake","type":"build","package_spec":"","url":"/packages/current/devel/gmake/"}],"reverse_dependencies":{"count":0,"url":null},"categories":["devel"],"flavors":[],"only_for_architectures":[],"not_for_architectures":[]}}