...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Can detect violations of the rule. However, it is unable to handle cases involving | ||||||
| Coverity | 6.5 | STRING_OVERFLOW | Fully Implemented | ||||||
| Coverity | 6.5 | STRING_SIZE | Fully Implemented | ||||||
Fortify SCA | 5.0 |
|
| ||||||
|
|
| |||||||
|
|
| |||||||
|
|
| |||||||
Splint |
|
|
|
...