Results 1 -
1 of
1
Detecting Race Conditions in Large Programs
- PASTE'01
, 2001
"... The race condition checker rccjava statically identifies potential races in concurrent Java programs. This paper describes improvements to rccjava that enable it to be used on large, realistic programs. These improvements include not only extensions to the underlying analysis, but also an annotation ..."
Abstract
-
Cited by 41 (5 self)
- Add to MetaCart
The race condition checker rccjava statically identifies potential races in concurrent Java programs. This paper describes improvements to rccjava 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.

