Product Details

Java Atomicity Violation Detector & Healer

Created: 2008

Czech title
Nástroj pro detekci a opravu chyb v atomicitě programů
Type
software
License
required - free
Authors
Keywords

Atomicity Violation, Data Races, Detector, Healer, Java

Description

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.

Projects
Research groups
Departments
Back to top