...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
PRE01-C | Medium | Probable | Yes | LowYes | P12 | L1 |
Automated Detection
| Tool | Version | Checker | Description | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| macro-parameter-parentheses | Fully checked | |||||||||||||
| Axivion Bauhaus Suite |
| CertC-PRE01 | Fully implemented | |||||||||||||
| Cppcheck Premium |
| premium-cert-pre01-c | ||||||||||||||
| ECLAIR |
| CC2.PRE01 | Fully implemented | |||||||||||||
| Helix QAC |
| C3410 | ||||||||||||||
| Klocwork |
| MISRA.DEFINE.NOPARS | ||||||||||||||
| LDRA tool suite |
| 78 S | Enhanced Enforcement | |||||||||||||
| Parasoft C/C++test |
| MISRA2004-19_10 | Fully implemented | PRQA QA-C | ||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 3410 | Fully implementedCERT_C-PRE01-a | In the definition of a function-like macro each instance of a parameter shall be enclosed in parentheses unless it is used as the operand of # or ## | |||||||||||
| PC-lint Plus |
| 9022 | Fully supported | |||||||||||||
| Polyspace Bug Finder |
| CERT C: Rec. PRE01-C | Checks for expanded macro parameters not enclosed in parentheses (rule partially supported) | |||||||||||||
| PVS-Studio |
| V733 | ||||||||||||||
| RuleChecker |
| macro-parameter-parentheses | Fully checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Related Guidelines
| SEI CERT C++ Coding Standard | VOID PRE01-CPP. Use parentheses within macros around parameter names |
| ISO/IEC TR 24772:2013 | Operator Precedence/Order of Evaluation [JCW] Pre-processor Directives [NMP] |
| MISRA C:2012 | Rule 20.7 (required) |
...