ESC/Java2

ESC/Java2 2.0 Beta 5

ESC/Java2 is an Extended Static Checker for Java. It automatically, statically, and modularly detects common programming errors. ESC/Java2 reasons about Java programs that have (optional) annotations written in JML.What is new in this release:There are no...

Flyspray

Flyspray 0.9.9.6

Flyspray is an uncomplicated, web-based bug tracking system for assisting with software development. The project was originally conceived when the Psi Jabber client project couldn't find a bugtracker that suited their needs, and has been made available...

SLAMD

SLAMD 1.8.2

The SLAMD Distributed Load Generation Engine (SLAMD) is a Java-based application designed for stress testing and performance analysis of network-based applications. It was originally developed by Sun Microsystems, Inc., but it has been released as an open...

JSCPP

JSCPP 1.10

JSCPP is an ANSI C preprocessor and language parser that can analyze and instrument C code.Currently, its most prominent application is to add tracing to existing C programs simply by recompiling and linking it with the "jscc" compiler frontend.The...

Acovea

Acovea 1.0.1

Acovea implements a genetic algorithm for finding the "best" options for compiling programs with the GCC C and C++ compilers.ACOVEA (Analysis of Compiler Options via Evolutionary Algorithm) implements a genetic algorithm to find the "best" options for...