DeathStarBench modified with X-Trace tracing
Practical verification of numerical kernels
Simplistic dependency analysis tool for C