...
Tool | Version | Checker | Description | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | ||||||||||||||
| Helix QAC |
| C0185, C0184 | ||||||||||||||
| Klocwork |
| SV.FMT_STR.PRINT_PARAMS_WRONGNUM.FEW SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY | ||||||||||||||
| LDRA tool suite |
| 41 S | Enhanced Enforcement | |||||||||||||
| Parasoft C/C++test |
| CERT_C-DCL10-a | There should be no difference between the The number of tags from format specifiers in the format string and the number of corresponding argument in 'printf' function invocationarguments in the invocation of a string formatting function should be equal | |||||||||||||
| PC-lint Plus |
| 558, 719 | Assistance provided: reports issues involving format strings | |||||||||||||
| Polyspace Bug Finder |
| Format string specifiers and arguments mismatch MISRA CERT C: 2012 Rule 17.1 | String specifiers do not match corresponding arguments The features of <stdarg.h> shall not be used | PRQA QA-C | ||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0185 | Checks for format string specifiers and arguments mismatch (rec. partially covered) Partially implemented |
Related Guidelines
| ISO/IEC TR 24772:2013 | Subprogram Signature Mismatch [OTR] |
| MISRA C:2012 | Rule 17.1 (required) |
| MITRE CWE | CWE-628, Function call with incorrectly specified arguments |
...