...
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 |
| CERT_C-ARR01-a | Do not call 'sizeof' on a pointer type | |||||||||
| Polyspace Bug Finder | R2016a |
| Use of
The | |||||||||
| Splint |
| |||||||||||
| PVS-Studio |
| V511, V512, V514, V568, V579, V604, V697 |
...