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 »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 »
