Detecting Race Conditions in Large Programs

  • Cormac Flanagan Stephen N. Freund Compaq, Lytton Ave. Palo Alto
  • Published 2007


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… (More)

6 Figures and Tables


  • Presentations referencing similar topics