...
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) |
...