Suvarna Garge (Editor)

ThreadSafe

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit
Developer(s)
  
Contemplate

License
  
Proprietary software

Type
  
Static code analysis

ThreadSafe

Stable release
  
1.3 / March 28, 2014; 2 years ago (2014-03-28)

Operating system
  
Cross-platform: Linux, OS X, Windows

Website
  
www.contemplateltd.com/threadsafe

ThreadSafe is a source code analysis tool that identifies application risks and security vulnerabilities associated with concurrency in Java code bases, using whole-program interprocedural analysis. ThreadSafe is used by major investment banks and other companies to identify and avoid software failures in concurrent applications running in complex environments. These are among the most insidious of software defects because they can't be reliably detected by testing.

Contents

Features

ThreadSafe detects serious Java concurrency defects and helps to improve code and remove risk:

  • Race conditions – which lead to incorrect or unpredictable behaviour that is difficult to reproduce in a debugger.
  • Deadlocks – caused by circular waits between threads waiting for shared resources.
  • Unpredictable results – caused by incorrect handling of concurrent collections, bad error handling, or mixed object synchronization.
  • Performance bottlenecks – caused by incorrect API usage, redundant synchronization, and unnecessary use of shared mutable state.

    • ThreadSafe is tightly integrated with the Eclipse software development environment and with the SonarQube software quality management platform. Contextual information is provided within the development environment to assist the developer with the investigation and resolution of concurrency issues, directly in the code. A command-line version is available for users of IDEs other than Eclipse and for build process integration.

    Checking adherence to standards

    ThreadSafe detects violations of many of the concurrency-related rules in the CERT Oracle Secure Coding Standard for Java.

    Jointly marketed products

    ThreadSafe is available as a fully integrated plug-in to GrammaTech's CodeSonar suite of program analysis tools.

    References

    ThreadSafe Wikipedia
    (Text) CC BY-SA