...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| IO.INJ.FMT | Format string injection | ||||||
| Coverity |
| PW.PRINTF_ARG_MISMATCH | Reports when the number of arguments differs from the number of required arguments according to the format string | ||||||
| GCC |
|
| Can detect violations of this recommendation when the | ||||||
| Klocwork |
| SV.FMT_STR.PRINT_PARAMS_WRONGNUM.MANY SV.FMT_STR.SCAN_FORMAT_MISMATCH.BAD SV.FMT_STR.SCAN_FORMAT_MISMATCH.UNDESIRED SV.FMT_STR.SCAN_IMPROP_LENGTH SV.FMT_STR.SCAN_PARAMS_WRONGNUM.FEW SV.FMT_STR.SCAN_PARAMS_WRONGNUM.MANY SV.FMT_STR.UNKWN_FORMAT |
| ||||||
| LDRA tool suite |
| 486 S | Fully implemented | ||||||
| Parasoft C/C++test | 9.5 | PB-45,PB-46,PB-47,PB-48,PB-49,PB-50 | Fully implemented | ||||||
| PRQA QA-C |
| 0179 (U) | Partially implemented |
...