Page History

GCC

Warns about inconsistently typed arguments to formatted output functions when the -Wall is used.

Compass/ROSE

Does NOT currently detect violations of this recommendation. While Although the recommendation in general cannot be automated, due to 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 printf() family of functions.

LDRA tool suite

41 S

Partially implemented.

0179 (U)
0184 (U)
0185 (U)
0186 (U)
0190 (U)
0191 (U)
0192 (U)
0193 (U)
0194 (U)
0195 (U)
0196 (U)
0197 (U)
0198 (U)
0199 (U)
0200 (U)
0201 (U)
0206 (U)