...
| 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 | ||||||||
| Polyspace Bug Finder |
| Lock (unlock) function is called twice in a task without an intermediate call to unlock (lock) function Unlock (lock) function without lock (unlock) function |
...