...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker | |||||||
CodeSonar |
| LANG.FUNCS.APM | Array parameter mismatch | ||||||
Compass/ROSE | Can detect some violations of this rule. In particular, it ensures that all calls to | ||||||||
Coverity |
| MISRA C 2012 Rule 8.2 MISRA C 2012 Rule 17.3 | Implemented Relies on functions declared with prototypes, allow compiler to check | ||||||
| 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 | ||||||
Parasoft C/C++test |
| MISRA2004-16_3, CODSTA-158, CODSTA-159, MISRA-071_b | Implemented | ||||||
Polyspace Bug Finder |
| Bad file access mode or status Format string specifiers and arguments mismatch Qualifier removed in conversion Standard function call with incorrect arguments | Access mode argument of function in Mismatch between function or variable declarations String specifiers do not match corresponding arguments Variable qualifier is lost during conversion Argument to a standard function does not meet requirements for use in the function Function pointer cast to another function pointer with different argument or return type All declarations of an object or function shall use the same names and type qualifiers Conversions shall not be performed between a pointer to a function and any other type A function shall not be declared implicitly | ||||||
PRQA QA-C++ | 4.1 | 0403 | |||||||
PRQA QA-C |
| 1331, 1332, 1333, 3002, 3320, 3335 | Partially implemented | ||||||
PVS-Studio |
| V540, V541, V549, V575, V632, V639, V666, V671, V742, V743, V764, V1004 | |||||||
SonarQube C/C++ Plugin |
| S930 | Detects incorrect argument count |
...