...
Rule | Severity | Likelihood | Detectable | Repairable | Priority | Level |
|---|---|---|---|---|---|---|
POS53-C | Medium | Probable | Yes | No | P8 | L2 |
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) |
...