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

[img]
Preview
Text (Atkey-Sannella-ECEASST2015-Threadsafe)
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.