RSS 1 project tagged "CIL"

No download Website Updated 04 Oct 2012 Frama-C

Screenshot
Pop 98.79
Vit 5.04

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

wacky-tracky

A modern task tracking application that follows open standards and supports tags, subtasks, and more.

Screenshot

Project Spotlight

Google Map GPS Cell Phone Tracker

Web server and phone client applications for periodically tracking android, iOS, Windows Phone, and Jave ME cellphones.