...
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 | ||||||||||||||||
| Klocwork |
| MISRA.EXPANSION.DIRECTIVE | ||||||||||||||||
| 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) | PRQA QA-C | |||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 0853 | PRQA QA-C++ | ||||||||||||||
| Include Page | cplusplus:PRQA QA-C++_V | cplusplus:PRQA QA-C++_V | ||||||||||||||||
| 1072 | RuleChecker |
| macro-argument-hash | Fully checked |
...