...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Coverity |
| MISRA C 2004 17.2 MISRA C 2004 17.3 MISRA C 2012 18.2 MISRA C 2012 18.3 | Implemented | ||||||
| LDRA tool suite |
| 437 S, 438 S | Fully implemented | ||||||
| Parasoft C/C++test | 9.5 | MISRA2008-5_0_17 | Fully implemented | ||||||
| PRQA QA-C |
| 0487, 0513, 2771, 2772, | Fully implemented |
...