frama-c.com - Frama-C - Framework for Modular Analysis of C programs

Description: Frama-C - An open-source extensible and collaborative platform dedicated to source-code analysis of C software.

Example domain paragraphs

Frama-C is an open-source extensible and collaborative platform dedicated to source-code analysis of C software. The Frama-C analyzers assist you in various source-code-related activities, from the navigation through unfamiliar projects up to the certification of critical software. Read More

When invoked with the command-line:

frama-c -eva -eva-precision 1 first.c Frama-C creates an analysis project for the file first.c.

Links to frama-c.com (23)

coreinfrastructure.org Open Source Security Foundation – Linux Foundation Projects
ocamlpro.com Expert Solutions for Complex Challenges | OCamlPro
alhassy.github.io ‎
key-project.org The KeY Project
ocaml.pro Expert Solutions for Complex Challenges | OCamlPro
open-do.org open-DO | Toward a cooperative and open framework for the development of certifiable software
allan-blanchard.fr Allan Blanchard's webpage –
alhassy.com ‎
julien-signoles.fr Bot Verification
ocamljobs.com OCaml jobs in open-source, research, blockchain, fintech, cybersecurity and more
nikolai-kosmatov.eu Nikolai Kosmatov's homepage
thibautbenjamin.github.io Thibaut Benjamin
harvester.fr Personal page
ocaml-pro.com Expert Solutions for Complex Challenges | OCamlPro
open-do.com
do178c.info
willardthor.com Willard Rafnsson
camlpro.com Site en construction
do-178b.info open-DO | Toward a cooperative and open framework for the development of certifiable software
do178b.info open-DO | Toward a cooperative and open framework for the development of certifiable software
ocalmpro.com Welcome to nginx!
fme-industry.github.io Formal Methods & Industry
tspi.at Home