Effective static race detection for Java

9 years 7 months ago
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
Mayur Naik, Alex Aiken, John Whaley
Added 14 Jun 2010
Updated 14 Jun 2010
Type Conference
Year 2006
Where PLDI
Authors Mayur Naik, Alex Aiken, John Whaley
Comments (0)