CTrigger: exposing atomicity violation bugs from their hiding places
Pin: building customized program analysis tools with dynamic instrumentation