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

1. 12. 2008

Location

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

Possibilities of use

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licence fee

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www