ThreadSafe: static analysis for Java concurrency

Robert Atkey, Donald Sannella

Research output: Contribution to journalConference Contribution

195 Downloads (Pure)

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
Number of pages15
JournalElectronic Communications of the EASST
Volume72
DOIs
Publication statusPublished - 30 Nov 2015
Event15th International Workshop on Automated Verification of Critical Systems - International Centre for Mathematical Sciences, Edinburgh, United Kingdom
Duration: 1 Sep 20154 Sep 2015
https://sites.google.com/site/avocs15/

Keywords

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

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

  • Cite this