...
| Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| macro-function-like | Fully checked | |||||||
| CC2.PRE00 | Fully implemented | ||||||||
| Klocwork |
| MISRA.DEFINE.FUNC | ||||||||
| LDRA tool suite |
| 340 S | Enhanced enforcement | |||||||
| Parasoft C/C++test |
| MISRA2004-19_7 | CERT_C-PRE00-a | A function should be used in preference to a function-like macro Fully implemented | ||||||
| PRQA QA-C |
| 3453 | Fully implemented | |||||||
| RuleChecker |
| macro-function-like | Fully checked | |||||||
| SonarQube C/C++ Plugin |
| S960 |
...