...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
VNA00-J | Medium | Probable | Medium | P8 | L2 |
Automated Detection
Some static analysis tools are capable of detecting violations of this rule.
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Eclipse | 4.2.0 | Not Implemented | |||||||
| FindBugs | 2.0.1 | Not Implemented | |||||||
| PMD | 5.0.0 | Not Implemented | |||||||
| Fortify | Not Implemented | ||||||||
| Coverity | v7.5 | SERVLET_ATOMICITY | Fully Implemented | ||||||
| ThreadSafe |
| CCE_SL_INCONSISTENT CCE_CC_CALLBACK_ACCESS CCE_SL_MIXED CCE_SL_INCONSISTENT_COL CCE_SL_MIXED_COL CCE_CC_UNSAFE_CONTENT CCE_FF_VOLATILE | Implemented |
...
Item 66. Synchronize access to shared mutable data | |
3.4.2, Example: Using Volatile to Publish Immutable Objects | |
[JLS 2005] | |
| §17.4.5, Happens-Before Order |
| §17.4.3, Programs and Program Order |
| §17.4.8, Executions and Causality Requirements |
[JPL 2006] | 14.10.3, The Happens-Before Relationship |
...
07. Rule 08: Visibility and Atomicity (VNA) 07. Rule 08: Visibility and Atomicity (VNA)