...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| MISC.NEGCHAR | Negative Character Value | ||||||
| Compass/ROSE | Can detect violations of this rule when checking for violations of INT07-C. Use only explicitly signed or unsigned char type for numeric values | ||||||||
| Coverity |
| MISRA C 2012 Rule 10.1 MISRA C 2012 Rule 10.2 MISRA C 2012 Rule 10.3 MISRA C 2012 Rule 10.4 | Implemented Essential type checkers | ||||||
| CC2.STR34 | Fully implemented | |||||||
| GCC | 2.95 and later | Detects objects of type | |||||||
| LDRA tool suite |
| 434 S | Partially implemented | ||||||
| Parasoft C/C++test |
| MISRA2004-10_1_b, MISRA2004-10_2_a, MISRA2004-11_4 | Implemented | ||||||
| PRQA QA-C |
| 4413, 4414 | Fully implemented | ||||||
| PRQA QA-C++ | 4.2 | 3051 |
...