ThreadSafe
This article may contain excessive or inappropriate references to self-published sources. (December 2018) |
| ThreadSafe | |
|---|---|
| File:ThreadSafe for Eclipse screenshot.png ThreadSafe for Eclipse | |
| Developer | Contemplate |
| Stable release | 1.3
/ March 28, 2014 |
| Repository |
|
| Engine | |
| Operating system | Cross-platform: Linux, OS X, Windows |
| Type | Static code analysis |
| License | Proprietary software |
| Website | www |
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 to identify and avoid software failures in concurrent applications running in complex environments.[1][2][5][6]
Features
[edit | edit source]ThreadSafe detects Java concurrency defects:[2][3][4]
- Race conditions – which lead to incorrect or unpredictable behaviour that is difficult to reproduce in a debugger.
- Deadlocks[7] – 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 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
[edit | edit source]ThreadSafe detects violations of the concurrency-related rules in the CERT Oracle Secure Coding Standard for Java.[8]
See also
[edit | edit source]References
[edit | edit source]- ^ a b Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c d Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ a b c Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
- ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
External links
[edit | edit source]
