...
Recommendation | Severity | Likelihood | Detectable | RepairableRemediation Cost | Priority | Level |
|---|---|---|---|---|---|---|
PRE01-C | Medium | Probable | Yes | YesLow | 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 |
| 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- | Clint Plus |
| PRQA QA
| C
| v
| PRQA QA
| C
| v
| 3410 | Fully implemented9022 | 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) |
...