...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
|
| 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 | ||||||
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 |
...