Fedora Packages


Framework for source code analysis of C software

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.

Releases Overview

Release Stable Testing
Fedora Rawhide 27.1-7.fc40 -
Fedora 39 27.1-5.fc39 -
Fedora 38 26.1-2.fc38 -
File a new bug report »
Package Info
  • Upstream: https://frama-c.com/
  • License(s): LGPL-2.1-only AND LGPL-2.1-or-later AND LGPL-2.0-only WITH OCaml-LGPL-linking-exception AND GPL-2.0-or-later AND CC0-1.0 AND CC-BY-SA-4.0 AND BSD-3-Clause AND QPL-1.0-INRIA-2004 WITH QPL-1.0-INRIA-2004-exception
  • Maintainer: jjames

Related Packages

You can contact the maintainers of this package via email at frama-c dash maintainers at fedoraproject dot org.

Sources on Pagure