OStatic

FindBugs is an open source program which looks for bugs in Java code. It uses static analysis to identify hundreds of different potential types of err...

The Introspector enables the programming tools that deal with source code such as the compiler to communicate in a standard and neutral manner reducin...

Cinege is aimed to be the ultimate library (management) system - one day. Currently, it it a very nice tool to make regexp based filtering of bibliogr...

This is a software library for measuring acoustic property with your sound card. It allows users to measure acoustic property without any expensive de...

Crimild Engine is an open source scene graph based engine which purpose is to fulfil the high-performance requirements of typical multi-platform two a...

A Python environment for large and sparse linear and nonlinear optimization using intuitive interfaces to linear algebra tools and subproblem solvers ...

COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE. It uses adaptive monitoring to automatically adjust the t...

SecurityCoach is an extensible software security auditing system that integrates with Eclipse, seamlessly performs static analysis of the source code ...

Our aim is to develop a library for geometrical tolerance analysis, that is OS and CAD platform indenpendent. Toleraning is widely used in engineering...

Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global fra...