Result Details
Java Atomicity Violation Detector & Healer
Created: 2008
Type
software
Language
English
Authors
Letko Zdeněk, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Křena Bohuslav, Ing., Ph.D., DITS (FIT)
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.
Keywords
Atomicity Violation, Data Races, Detector, Healer, Java
Location
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/racedetect/
License
In order to use the result by another entity, it is always necessary to acquire a license
License Fee
The licensor does not require a license fee for the result
Projects
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
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
Research groups
Departments