ThreadSafe: Static Analysis for Java Concurrency

Authors

  • Robert Atkey University of Strathclyde and Contemplate Ltd
  • Donald Sannella University of Edinburgh and Contemplate Ltd

DOI:

https://doi.org/10.14279/tuj.eceasst.72.1025

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.

Downloads

Published

2015-11-25

How to Cite

[1]
R. Atkey and D. Sannella, “ThreadSafe: Static Analysis for Java Concurrency”, eceasst, vol. 72, Nov. 2015.