--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on May 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Introducing Frama-C



Greetings.
The Frama-C development team is proud to announce the availability
of Frama-C, the framework for the development of collaborating
static analyzers for the C language. Many analyzers are provided in the
distribution, including a value analysis plug-in that provides variation
domains for the variables of the program, and Jessie, a plug-in
for computing Hoare style weakest preconditions.

Frama-C is Open Source software. It is written in Ocaml and relies
on the CIL (C Intermediate Language) library.

Additional information, source code and documentation for Frama-C
are available now at http://frama-c.cea.fr/. Binary distributions for
various popular environments will be forthcoming.

For the Frama-C development team

-- 
Pascal Cuoq and Virgile Prevosto