software

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.

Atomicity Violation, Data Races, Detector, Healer, Java

1. 12. 2008

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

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

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

https://www.fit.vut.cz/research/product/90/