...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
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 | ||||||
| callfmt | Partially implemented | |||||||
GCC |
|
| Warns about inconsistently typed arguments to formatted output functions when the | ||||||
| 41 S | Partially implemented | |||||||
| PRQA QA-C |
| 0179 (U) | Partially implemented |
...