ThreadSafe: Static Analysis for Java Concurrency
Published in Edinburgh Research Explorer • Mar 25, 2024
NobleIDNI2P98W43R50S84
Authors:,
Robert Atkey
Donald Sannella
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.
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!