ThreadSafe: Static Analysis for Java Concurrency

Publication Information

Robert Atkey and Donald Sannella. ThreadSafe: Static Analysis for Java Concurrency. Proc. 15th Intl. Workshop on Automated Verification of Critical Systems (AVoCS 2015). Electronic Communications of the EASST 72. 2015.
DOI: 10.14279/tuj.eceasst.72.1025


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.