Effective static race detection for Java

We present a novel technique for static race detection in Java programs, comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses potentially involved in a race. We have implemented our technique and applied it to a suite of multi-threaded Java programs. Our experiments show that it is precise, scalable, and useful, reporting tens to hundreds of serious and previously unknown concurrency bugs in large, widely-used programs with few false alarms. Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification — Reliability; D.2.5 [Software Engineering]: Testing and Debugging — Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concurrency, multi-threading

• Type: Conference
• Year: 2006
• Where: PLDI
• Authors: Mayur Naik, Alex Aiken, John Whaley
• Keywords: Java Programs, Multi-threaded Java Programs, PLDI 2006, Programming Languages, Static Race Detection