...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar | 4.2 | FB.MT_CORRECTNESS.IS2_INCONSISTENT_SYNC FB.MT_CORRECTNESS.IS_FIELD_NOT_GUARDED | Inconsistent synchronization Field not guarded against concurrent access | ||||||
| Coverity | 7.5 | GUARDED_BY_VIOLATION | Implemented | ||||||
| Parasoft Jtest | 9.5 | TRS.SSUG, TRS.MRAV | Implemented | ||||||
| ThreadSafe |
| CCE_SL_INCONSISTENT | Implemented |
...