ThreadSafe: static analysis for Java concurrency

Robert Atkey, Donald Sannella

Research output: Contribution to journalConference Contributionpeer-review

375 Downloads (Pure)


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
Number of pages15
JournalElectronic Communications of the EASST
Publication statusPublished - 30 Nov 2015
Event15th International Workshop on Automated Verification of Critical Systems - International Centre for Mathematical Sciences, Edinburgh, United Kingdom
Duration: 1 Sept 20154 Sept 2015


  • static analysis
  • concurrency
  • Java
  • concurrency defects
  • codebases
  • static analysis tool


Dive into the research topics of 'ThreadSafe: static analysis for Java concurrency'. Together they form a unique fingerprint.

Cite this