...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| macro-parameter-parentheses | Fully checked | ||||||
ECLAIR |
| CC2.PRE01 | Fully implemented | ||||||
Klocwork |
| MISRA.DEFINE.NOPARS | |||||||
LDRA tool suite |
| 78 S | Enhanced Enforcement | ||||||
Parasoft C/C++test |
| MISRA2004-19_10 | Fully implemented | ||||||
PRQA QA-C |
| 3410 | Fully implemented | ||||||
PVS-Studio | 6.22 | V733 | |||||||
RuleChecker |
| macro-parameter-parentheses | Fully checked |
...