...
| Tool | Version | Checker | Description | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée | |||||||||||||||
| Include Page | Astrée_V | Astrée_V | Supported, but no explicit checker | CodeSonar |
| CONCURRENCY.LOCK.ORDER | Conflicting lock order | ||||||||
| Klocwork |
| CONC.DL | |||||||||||||
| Polyspace Bug Finder | R2016a | Deadlock | Call sequence to lock functions cause two tasks to block each other |
...