Java Atomicity Violation Detector & Healer

Nástroj pro detekci a opravu chyb v atomicitě programů

software

In order to use the result by another entity, it is always necessary to acquire a license

The licensor does not require a license fee for the result

Letko Zdeněk, Ing., Ph.D. (CM-SFE)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
Křena Bohuslav, Ing., Ph.D. (DITS)

Atomicity Violation, Data Races, Detector, Healer, Java

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.

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

Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Methods and Tools for Automated Bug Detection in Software, GACR, Postdoktorandské granty, GP102/06/P076, start: 2006-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)