Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs
Pin: building customized program analysis tools with dynamic instrumentation