ThreadSafe

ThreadSafe

ThreadSafe for Eclipse
Developer(s) Contemplate
Stable release 1.3 / March 28, 2014 (2014-03-28)
Operating system Cross-platform: Linux, OS X, Windows
Type Static code analysis
License Proprietary software
Website ThreadSafe at contemplateltd.com

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.[1][2][3][4] ThreadSafe is used by major investment banks and other companies to identify and avoid software failures in concurrent applications running in complex environments.[1][2][5] These are among the most insidious of software defects because they can't be reliably detected by testing.[6]

Features

ThreadSafe detects serious Java concurrency defects and helps to improve code and remove risk:[2][3][4]

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.[2][3][4] 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.[8]

Jointly marketed products

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

See also

References

  1. 1 2 Grazi, Victor (August 28, 2013). "ThreadSafe Concurrency Static Analysis Tool Announces First Public Release". InfoQ.com.
  2. 1 2 3 4 Taft, Darryl (September 4, 2013). "Contemplate Delivers ThreadSafe Java Concurrency Static Analysis Tool". DevX.com.
  3. 1 2 3 Atkey, Robert (January 14, 2014). "Discover and Diagnose Java Concurrency Problems Using Contemplate's ThreadSafe". InfoQ.com.
  4. 1 2 3 Atkey, Robert; Sannella, Donald (2015). "ThreadSafe: Static Analysis for Java Concurrency". Electronic Communications of the EASST (European Association of Software Science and Technology) 72. doi:10.14279/tuj.eceasst.72.1025.995. Retrieved March 18, 2016.
  5. Roy, Ritobaan (May 1, 2013). "Software Errors: New Technology Briefing For CFOs". CFO Insight. Archived from the original on October 14, 2013. It claims to have developed technology [refers to ThreadSafe, as explained in caption of image, missing from archived version] that can identify errors in software code that don't pop up regularly enough to be detected by conventional tools.
  6. Rubens, Paul (March 12, 2014). "Why Software Testing Can't Save You From IT Disasters". Reference to ThreadSafe on page 2. CIO.com.
  7. Raible, Matt (June 26, 2014). "Contemplate ThreadSafe Introduces Deadlock Detection". InfoQ.com.
  8. "SEI CERT Oracle Coding Standard for Java". Software Engineering Institute, Carnegie Mellon University. Retrieved March 18, 2016.
  9. "Conquering Complex Java Concurrency Bugs with CodeSonar". GrammaTech White Paper. April 2014. (registration required (help)).

External links


This article is issued from Wikipedia - version of the Friday, March 18, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.