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.
A modern task tracking application that follows open standards and supports tags, subtasks, and more.
Web server and phone client applications for periodically tracking android, iOS, Windows Phone, and Jave ME cellphones.