...
The severity is medium because improperly accessing shared data could lead to data integrity violation. Likelihood is probable because in such an implementation, an error code would not be returned, and remediation cost is high because detection and correction of this problem are both manual.
Rule | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
POS53-C | Medium | Probable | Yes | HighNo | P4P8 | L3L2 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| C1769 C++1769 | |||||||
| Parasoft C/C++test |
| CERT_C-POS53-a | Do not use more than one mutex for concurrent waiting operations on a condition variable | ||||||
| Polyspace Bug Finder |
| CERT C: Rule POS53-C | Checks for multiple mutexes used with same conditional variable (rule fully covered) |
Bibliography
...