News

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:

Detection of locking policy violations at runtime (Eraser+).
Detection of data races at runtime (AtomRace and Eraser+).
Detection violations of predefined atomic sections at runtime (AtomRace).
Healing (decreasing the probability of a problem manifestation) at runtime. (AtomRace and Eraser+).
The tool is also available as Eclipse plug-in.

Authors:

Zdenek Letko, xletko00 at stud.fit.vutbr.cz (developer)
Tomas Vojnar, vojnar at fit.vutbr.cz
Bohuslav Krena, krena at fit.vutbr.cz

Acknowledgement

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.