ATDetector: improving the accuracy of a commercial data race detector by identifying address transfer
CTrigger: exposing atomicity violation bugs from their hiding places