...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| macro-argument-hash | Fully checked | ||||||
Axivion Bauhaus Suite |
| CertC-PRE32 | Fully implemented | ||||||
CodeSonar |
| LANG.PREPROC.MACROARG | Preprocessing directives in macro argument | ||||||
Cppcheck | 2.15.0 | preprocessorErrorDirective | |||||||
CppCheck Premium | 24.9.0 | preprocessorErrorDirective | |||||||
| CC2.PRE32 | Fully implemented | |||||||
Helix QAC |
| C0853 C++1072 | Fully implemented | ||||||
Klocwork |
| MISRA.EXPANSION.DIRECTIVE | Fully implemented | ||||||
LDRA tool suite |
| 341 S | Fully implemented | ||||||
Parasoft C/C++test |
| CERT_C-PRE32-a | Arguments to a function-like macro shall not contain tokens that look like preprocessing directives | ||||||
PC-lint Plus |
| 436, 9501 | Fully supported | ||||||
| CERT C: Rule PRE32-C | Checks for preprocessor directive in macro argument (rule fully covered) | |||||||
RuleChecker |
| macro-argument-hash | Fully checked |
...