Detail produktu

Java Atomicity Violation Detector & Healer

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

Typ produktu

software

Abstrakt

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.

Klíčová slova

Atomicity Violation, Data Races, Detector, Healer, Java

Datum vzniku

01.12.2008

Umístění

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

Možnosti využití

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

Licenční poplatek

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

www

Dokumenty