...
| Tool | Version | Checker | Description | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| read_write_data_race write_write_data_race | Supported | ||||||||||||||||
| Axivion Bauhaus Suite |
| 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 |
| CERT C++: CON52-CPP | Checks for data races (rule partially covered) | PRQA QA-C++ | |||||||||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | 1774, 1775 | Enforced by MTA | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...