ThreadSafe: Static Analysis for Java Concurrency

Robert Atkey, Donald Sannella

Abstract


ThreadSafe is a commercial static analysis tool that focuses on detection of Java concurrency defects. ThreadSafe’s bug-finding capabilities and its look and feel are presented through examples of bugs found in the codebases of two widely-used open source projects.


Full Text:

PDF


DOI: http://dx.doi.org/10.14279/tuj.eceasst.72.1025

DOI (PDF): http://dx.doi.org/10.14279/tuj.eceasst.72.1025.995

Hosted By Universitätsbibliothek TU Berlin.