Detecting race conditions in large programs

摘要

The race condition checker cc{} statically identifies potential races in concurrent Java programs. This paper describes improvements to cc{} that enable it to be used on large, realistic programs. These improvements include not only extensions to the underlying analysis, but also an annotation inference algorithm and a user interface to help programmers understand warnings generated by the tool. Experience with programs containing up to 500,000 lines of code indicate that it is an effective tool for identifying races in large-scale software systems.