C source code analysis framework (Frama-C) released

A free software Framework for Modular Analysis of C (Frama-C) has been released. It is written in OCaml and uses the C Intermediate Library (CIL). Much more information can be found on the project's "more information" page. "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." (thanks to David Mentre)

Comments (none posted)