ThreadSafe : static analysis for Java concurrency

Atkey, Robert and Sannella, Donald (2015) ThreadSafe : static analysis for Java concurrency. Electronic Communications of the EASST, 72. ISSN 1863-2122 (https://doi.org/10.14279/tuj.eceasst.72.1025)

[thumbnail of Atkey-Sannella-ECEASST2015-Threadsafe]
Preview
Text. Filename: Atkey_Sannella_ECEASST2015_Threadsafe.pdf
Final Published Version
License: Creative Commons Attribution 4.0 logo

Download (367kB)| Preview

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.