Detail produktu
Java Atomicity Violation Detector & Healer
LETKO, Z. VOJNAR, T. KŘENA, B.
Typ produktu
software
Abstrakt
The Java Race Detector & Healer 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 to detect common atomicity patterns in the code. Then, the IBM ConTest 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
1. 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