...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE |
|
| Can detect violations of the recommendation but cannot distinguish between incomplete array declarations and pointer declarations | ||||||
| Klocwork |
| CWARN.MEMSET.SIZEOF.PTR | Fully implemented | ||||||
| LDRA tool suite |
| 401 S | Fully implemented | ||||||
| Parasoft C/C++test | 9.5 | PB-32 | Fully implemented | ||||||
| Polyspace Bug Finder | R2016a | Possible misuse of sizeof | Use of | ||||||
| Splint |
|
|
|
...