ATDetector: improving the accuracy of a commercial data race detector by identifying address transfer
a few billion lines of code later : using static analysis to find bugs in the real world .