| Tool | Version | Checker | Description |
|---|
| Coverity | 7.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 |
| Klocwork | | SV.SHARED.VAR |
|
| Parasoft Jtest | | CERT.VNA02.SSUG
CERT.VNA02.MRAV | Make the get method for a field synchronized if the set method is synchronized
Access related Atomic variables in a synchronized block |
| PVS-Studio | | V6074 |
|
| ThreadSafe | | CCE_SL_INCONSISTENT
CCE_CC_CALLBACK_ACCESS
CCE_SL_MIXED
CCE_SL_INCONSISTENT_COL
CCE_SL_MIXED_COL
CCE_CC_UNSAFE_CONTENT | Implemented |
