...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
CodeSonar |
| LANG.FUNCS.APM | Array parameter mismatch | ||||||
Compass/ROSE | Can detect some violations of this rule. In particular, it ensures that all calls to | ||||||||
| CC2.EXP37 | Partially implemented | |||||||
EDG | |||||||||
GCC |
| Can detect violation of this rule when the | |||||||
Klocwork |
| MISRA.FUNC.UNMATCHED.PARAMS | |||||||
LDRA tool suite |
| 41 D, 21 S, 98 S, 170 S, 496 S, 576 S | Partially implemented | ||||||
Polyspace Bug Finder | R2016a | Mismatch between function or variable declarations Variable qualifier is lost during conversion
Argument to a standard function does not meet requirements for use in the function
String specifiers do not match corresponding arguments Function pointer cast to another function pointer with different argument or return type | |||||||
PRQA QA-C |
| 1331, 1332, 1333, 3002, 3320, 3335 | Partially implemented | ||||||
SonarQube C/C++ Plugin |
| S930 | Detects incorrect argument count |
...