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...

UPPAAL

UPPAAL 4.0.6

UPPAAL is an integrated tool environment for modeling, validation and verification of real-time systems modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).UPPAAL CORA is a branch of UPPAAL for Cost Optimal...

iogen

iogen 3.1p0

iogen is an I/O generator. iogen forks child processes that each run a mix of reads and writes. The idea is to generate heavily fragmented files to make the hardware suffer as much as possible.This tool has been used to test filesystems, drivers,...