SECCO - Sustaining Entire Code-Coverage on Code Optimization

Tools:

Formal Analysis of Coverage Preservation: An automatic coverage preservation calculation has been implemented in the Mathematica scripting environment.
SCCP Compiler: The structural coce coverage preservation (SCCP) compiler uses the derived coverage profiles to preserve selected structural code-coverage preservation criteria. Evaluation of the approach has shown that the preservation of structural code-coverage preservation provides almost the same performance as GCC with optimization level -O3. The prototype implementation of the SCCP compiler is based on the sources of the GNU GCC 4.5.2 compiler.

SCCP compiler, release 0.1 (21.5.2011): gcc-4.5.2-secco_rel_0.1.tgz