Grace: safe multithreaded programming for C/C++
Pin: building customized program analysis tools with dynamic instrumentation