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
Letko Zdeněk, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT)
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
A Self-Healing Approach to Designing Complex Software Systems ()
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
Methods and Tools for Automated Bug Detection in Software (GP102/06/P076)
Security-Oriented Research in Information Technology (MSM0021630528)
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
Methods and Tools for Automated Bug Detection in Software (GP102/06/P076)
Security-Oriented Research in Information Technology (MSM0021630528)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)