Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

[Caml-list] Introducing Frama-C

5 views
Skip to first unread message

Virgile Prevosto

unread,
May 26, 2008, 12:27:56 PM5/26/08
to Caml list, coq-...@pauillac.inria.fr, why-d...@lists.gforge.inria.fr, frama-c...@lists.gforge.inria.fr, espass-adm...@lists.gforge.enseeiht.fr, Focal
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

_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

0 new messages