...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE |
|
| Can detect some violations of this recommendation when checking EXP36-C. Do not cast pointers into more strictly aligned pointer types | ||||||
| ECLAIR |
| CC2.MEM02 | Fully implemented | ||||||
| Fortify SCA | 5.0 |
| Can detect violations of this rule with CERT C Rule Pack | ||||||
| Polyspace Bug Finder | R2016a | Allocated memory does not match destination pointer
| |||||||
| PRQA QA-C |
| 0695 | Fully implemented |
...