C source code analysis framework (Frama-C) released

0

http://frama-c.cea.fr –

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.

Full story »
serdar's picture
Created by serdar 15 years 46 weeks ago
Category: High End   Tags:

Similar stories

Collecting and analyzing Linux kernel crashes - LKCD 15 years 5 days ago
GNU C Library 2.12 released 13 years 50 weeks ago
Tulip - Graph visualization software 14 years 6 weeks ago
Study: Open source software is improving 14 years 29 weeks ago

Best karma users

  1. andolasoft's picture
    andolasoft
  2. fred's picture
    fred
  3. nilarimogard's picture
    nilarimogard