...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | |||||||
| 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 | ||||||
| Polyspace Bug Finder |
| String specifiers do not match corresponding arguments The features of <stdarg.h> shall not be used | |||||||
| PRQA QA-C |
| 0185, 0184 | Partially implemented |
...