...
Although the race window is narrow, an assignment or an expression can evaluate improperly because of misinterpreted data resulting in a corrupted running state or unintended information disclosure.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
CON32-C | Medium | Probable | Medium | P8 | L2 |
Automated Detection
| Tool | Version | Checker | Description | ||||
|---|---|---|---|---|---|---|---|
| Astrée |
|
| Supported, but no explicit checker | |||||||||
| CodeSonar |
| CONCURRENCY.DATARACE | Data race | ||||||
| Coverity |
| MISSING_LOCK | Partially implemented | ||||||
| Parasoft C/C++test |
| BD-TRS-BITLOCK | Implemented | ||||||
| Polyspace Bug Finder | R2016a | Data race | Multiple tasks perform unprotected non-atomic operations on shared variables |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Bibliography
| [ISO/IEC 9899:2011] | 3.14, "Memory Location" |
...
...