...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| Coverity |
| MISRA C 2004 Rule 10.x (needs investigation) | Needs investigation | ||||||
| LDRA tool suite |
| 435 S | Fully implemented | ||||||
| Parasoft C/C++test | 9.5 | MISRA-043_{c,d} | |||||||
| PRQA QA-C | 9.1 | 3804, 4453, 4454 | |||||||
| PRQA QA-C++ | 3011 |
...