...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
VNA02-J | medium | probable | medium | P8 | L2 |
Automated Detection
Some available static analysis tools can detect the instances of nonatomic update of a concurrently shared value. The result of the update is determined by the interleaving of thread execution. These tools can detect the instances where thread-shared data is accessed without holding an appropriate lock, possibly causing a race condition.
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity | v7.5 | GUARDED_BY_VIOLATION INDIRECT_GUARDED_BY_VIOLATION NON_STATIC_GUARDING_STATIC NON_STATIC_GUARDING_STATIC SERVLET_ATOMICITY FB.IS2_INCONSISTENT_SYNC FB.IS_FIELD_NOT_GUARDED FB.IS_INCONSISTENT_SYNC FB.STCAL_INVOKE_ON_STATIC_ CALENDAR_INSTANCE FB.STCAL_INVOKE_ON_STATIC_ DATE_FORMAT_INSTANCE FB.STCAL_STATIC_CALENDAR_ INSTANCE FB.STCAL_STATIC_SIMPLE_DATE_ FORMAT_INSTANCE | Implemented | ||||||
| ThreadSafe |
| CCE_SL_INCONSISTENT CCE_CC_CALLBACK_ACCESS CCE_SL_MIXED CCE_SL_INCONSISTENT_COL CCE_SL_MIXED_COL CCE_CC_UNSAFE_CONTENT | Implemented |
...