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

[thumbnail of Atkey-Sannella-ECEASST2015-Threadsafe]
Text (Atkey-Sannella-ECEASST2015-Threadsafe)
Final Published Version
License: Creative Commons Attribution 4.0 logo

Download (367kB)| Preview


    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.

    ORCID iDs

    Atkey, Robert ORCID logoORCID: and Sannella, Donald;