...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Axivion Bauhaus Suite |
| CertC-DCL11 | |||||||
| Compass/ROSE | Does not currently detect violations of this recommendation. Although the recommendation in general cannot be automated, because of the difficulty in enforcing contracts between a variadic function and its invokers, it would be fairly easy to enforce type correctness on arguments to the | ||||||||
| CC2.DCL11 | Partially implemented | |||||||
| GCC |
| Warns about inconsistently typed arguments to formatted output functions when the | |||||||
| Klocwork |
| MISRA.FUNC.VARARG | |||||||
| LDRA tool suite |
| 41 S, 589 S | Partially implemented | ||||||
| Parasoft C/C++test |
| CERT_C-DCL11-a | There should be no mismatch between the '%s' or '%c' tag from format string and its corresponding argument in 'printf' function invocation | ||||||
| Parasoft Insure++ | Runtime analysis | ||||||||
| Polyspace Bug Finder |
| Format string specifiers and arguments mismatch | String specifiers do not match corresponding arguments The features of <stdarg.h> shall not be used | ||||||
| PRQA QA-C |
| 0179 (U) 0191 (U) 0196 (U) 0201 (U) | Partially implemented | ||||||
| PRQA QA-C++ |
| 2070, 2071, 2072, 2073, 2074, 2081, 2082, 2090, 2097 | |||||||
| PVS-Studio |
| V576 |
...