...
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 | ||||||
| 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 |
...