Changelog
- Dic 12, 2016 JaDA tool updated to version 1.1.1 (bug fixing). Found and resolved bugs relative to the spawning and synchronization of threads coming from arrays.
- Nov 18th, 2016: JaDA tool updated to version 1.1.0 (bug fixing). Found and resolved bugs in recursive methods spawning unsynchronized threads.
- Nov 5th, 2016: JaDA tool updated to version 1.0.2 (minor bug fixing in results output)
- Oct 28th, 2016: Demo site creation
Members
Cosimo Laneve
Professor
Elena Giachino
Researcher
Abel García
PhD. Student
Credits
- This research is inspired by the Deadlock Analysis Tool for ABS.
- The implementation of this tool relies on the ASM Library for the bytecode manipulation tasks.
- Special thanks to Martin Hentschel for the fruitful discussions on the implementation of Java analyzers.