Race Detector & Healer for Java

Is able to detect and heal data races and atomicity violations.


Detector & Healer based on AtomRace algorithm added.

November, 2008

Detector & Healer based on Eraser+ algorithm published.

December, 2007

What Is It About?

The Java Race Detector & Healer is a prototype for a runtime detection and healing of data races and atomicity violations in concurrent Java programs. The tool uses the IBM ConTest listeners architecture for tracking the program behaviour and analysing it. Some additional information concerning tested application is obtained beforehand by simple static analyses implemented in the FindBugs tool.

The main features of the tool:



This work is partially supported by the European Community under the Information Society Technologies (IST) programme of the 6th FP for RTD - project SHADOWS, contract IST-035157. The authors are solely responsible for the content of this work. It does not represent the opinion of the European Community, and the European Community is not responsible for any use that might be made of data appearing therein. This work is partially supported by the Czech Ministry of Education, Youth, and Sport under the project Security-Oriented Research in Information Technology, contract CEZ MSM 0021630528, and by the Czech Grant Agency within project Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, contract 102/07/0322, and project Methods and Tools for Automated Bug Detection in Software, contract 102/04/0780.