RSS 1 project tagged "CIL"

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 99.40
Vit 5.06

Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach allows static analyzers to build upon the results already computed by other analyzers in the framework. It provides sophisticated tools, such as a slicer and dependency analysis.

Screenshot

Project Spotlight

CLOGS

A library for sorting and scanning on top of the OpenCL C++ API.

Screenshot

Project Spotlight

Ctalk

A language that adds classes, methods, and other object oriented features to C.