--- layout: fc_discuss_archives title: Message 1 from Frama-C-discuss on May 2008 ---
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