frama_c_codexversion Documentation on ocaml.org
A modular static analyser of C programs, based on abstract interpretation. The package contains both a standalone frama_c_codex executable, as well as a Frama-C plugin
| Authors | Matthieu Lemerre, Julien Simonnet, Olivier Nicole, Paul Robert, Dorian Lesbre, Iker Canut, Corentin Gendreau, Guillaume Girol, Charles Babu and Jérôme Faucheux |
|---|---|
| License | LGPL-2.1-or-later |
| Published | |
| Homepage | https://codex.top |
| Issue Tracker | https://github.com/codex-semantics-library/codex/issues |
| Maintainer | Matthieu Lemerre <matthieu.lemerre@cea.fr> |
| Dependencies | |
| Source [http] | https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-rc4.tar.gz md5=bc7266a140c6886add673ede90e335d3 sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/frama_c_codex/frama_c_codex.1.0-rc4/opam |
No package is dependent
