...
| Tool | Version | Checker | Description | |||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported, but no explicit checker | ||||||||
| Parasoft C/C++test |
| MISRA2004-19_8 | CERT_C-MSC38-a | A function-like macro shall not be invoked without all of its arguments Partially implemented | ||||||
| Predefined macro used as object | You use standard library macros such as assert and errno as objects | ||||||||
| RuleChecker |
| Supported, but no explicit checker |
...