ThreadSafe: Static Analysis for Java Concurrency
DOI:
https://doi.org/10.14279/tuj.eceasst.72.1025Abstract
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
Section
Articles
License
Copyright (c) 2015 Electronic Communications of the EASST
This work is licensed under a Creative Commons Attribution 4.0 International License.