...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Helix QAC |
| ||||||||||||
| 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) | Helix QAC | | Include Page | | Helix QAC_V | Helix QAC_V
Bibliography
...