| Tool | Version | Checker | Description |
|---|
| Astrée | | read_data_race write_data_race | Supported by sound analysis (data race alarm) |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-CON32 |
|
| CodeSonar | | CONCURRENCY.DATARACE | Data race |
| Coverity | | MISSING_LOCK | Partially implemented |
| Helix QAC | | C1774, C1775 |
|
| Parasoft C/C++test | | CERT_C-CON32-a
| Use locks to prevent race conditions when modifying bit fields |
| PC-lint Plus | | Include Page |
|---|
| PC-lint Plus_V |
|---|
| PC-lint Plus_V |
|---|
|
| 457 | Partially supported: access is detected at the object level (not at the field level) |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule CON32-C | Checks for data race (rule fully covered) |
| PRQA QA-C | | 1774, 1775 | Enforced by MTA |
