Product detail

Java Atomicity Violation Detector & Healer

LETKO, Z. VOJNAR, T. KŘENA, B.

Product type

software

Abstract

The Java Race Detector & Healer (http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/) is a prototype for a runtime detection and healing of atomicity violations and data races in concurrent Java programs. The tool uses static analyser FindBugs (http://findbugs.sourceforge.net/) to detect common atomicity patterns in the code. Then, the IBM ConTest (http://www.haifa.il.ibm.com/projects/verification/contest/index.html) listeners architecture for tracking the program behaviour is used to find violations and heal them at runtime.

Keywords

Atomicity Violation, Data Races, Detector, Healer, Java

Create date

01.12.2008

Location

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/

www