Detecting Race Conditions in Large Programs

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

Abstract

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

Topics

  • Presentations referencing similar topics