...
Failing to parenthesize the parameter names in a macro can result in unintended program behavior.
Recommendation | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
PRE01-C | Medium | Probable | Low | P12 | L1 |
Automated Detection
| Tool | Version | Checker | Description | ||||
|---|---|---|---|---|---|---|---|
| Astrée |
|
| macro-parameter-parentheses | Fully checked | ||||||||
| Axivion Bauhaus Suite |
| CertC-PRE01 | Fully implemented | ||||||
| ECLAIR |
| CC2.PRE01 | Fully implemented | ||||||
| Helix QAC |
| C3410 | |||||||
| Klocwork |
| MISRA.DEFINE.NOPARS |
| LDRA tool suite |
| 78 S | Enhanced Enforcement | ||||||
| Parasoft C/C++test |
| CERT_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) |
Bibliography
...
...