jPredictor: a predictive runtime analysis tool for java

JPREDICTOR is a tool for detecting concurrency errors in JAVA programs. The JAVA program is instrumented to emit property-relevant events at runtime and then executed. The resulting execution trace is collected and analyzed by JPREDICTOR, which extracts a causality relation sliced using static analysis and refined with lock-atomicity information. The resulting abstract model, a hybrid of a partial order and atomic blocks, is then exhaustively analyzed against the property and errors with counter-examples are reported to the user. Thus, JPREDICTOR can "predict" errors that did not happen in the observed execution, but which could have happened under a different thread scheduling. The analysis technique employed in JPREDICTOR is fully automatic, generic (works for any trace property), sound (produces no false alarms) but it is incomplete (may miss errors). Two common types of errors are investigated in this paper: dataraces and atomicity violations. Experiments show that JPRED...

• Type: Conference
• Year: 2008
• Where: ICSE
• Authors: Feng Chen, Traian-Florin Serbanuta, Grigore Rosu
• Keywords: Concurrency Errors, ICSE 2008, Software Engineering, Static Race Detectors, Unknown Errors