Discrete Event Gnu Advanced Scheduling for plug-in replacement of pthread compatible applications. Generates deterministic execution runs suitable for discrete event simulations and formal verification.
SafeBox is intended to be a next-generation debugger/profiler/analyzer for programs running in user space. It will include arquitecture simulation to allow advanced features like monitoring or restricting API use. Extensible using plug-ins.
gcov-eclipse is an Eclipse plug-in that will extend CDT to provide code-coverage testing to C/C++ projects by using the gcov program. It will integrate into the CDT's launch and managed build system.