ThreadSafe: Static Analysis for Java Concurrency

Robert Atkey, Donald Sannella

Research output: Contribution to journalArticlepeer-review

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.
Original languageEnglish
Pages (from-to)1-16
Number of pages16
JournalElectronic Communications of the EASST
Volume72
DOIs
Publication statusPublished - 2015

Fingerprint Dive into the research topics of 'ThreadSafe: Static Analysis for Java Concurrency'. Together they form a unique fingerprint.

Cite this