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.

Issue

Vol. 72 (2015): Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015)

Section

Articles

License

Copyright (c) 2015 Electronic Communications of the EASST

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.