| Tool | Version | Checker | Description |
|---|
| Astrée | | read_write_data_race
write_write_data_race
| Supported |
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC++-CON52 |
|
| CodeSonar | | CONCURRENCY.DATARACE | Data Race |
| Coverity | 6.5 | RACE_CONDITION | Fully implemented |
| Helix QAC | | C++1774, C++1775 |
|
| Parasoft C/C++test | | CERT_CPP-CON52-a | Use locks to prevent race conditions when modifying bit fields |
| Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C++: CON52-CPP | Checks for data races (rule partially covered) |
