...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| CodeSonar |
| CONCURRENCY.LOCK.NOLOCK CONCURRENCY.LOCK.NOUNLOCK | Missing Lock Acquisition Missing Lock Release | ||||||
| Coverity | 6.5 | LOCK | Fully implemented | ||||||
| Parasoft C/C++test |
| CERT_C-CON01-a | Do not abandon unreleased locks | ||||||
| PC-lint Plus |
| 454, 455, 456 | Partially supported: acquire and release synchronization primitives within the same scope | ||||||
| Polyspace Bug Finder |
| Checks for:
Rec. fully covered. |
...