...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Parasoft C/C++test |
| CERT_C-MSC39-a | Use macros for variable arguments correctly | ||||||
Polyspace Bug Finder |
| Checks for:
Variable argument list used after invalidation with
Rule fully covered.Variable not initialized before use | |||||||
TrustInSoft Analyzer |
| variadic | Exhaustively verified. |
...