...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Include Page | LDRA_V | LDRA_V | 51 D | Fully implemented. | |||||
Fortify SCA | 5.0 |
|
| ||||||
Splint | |||||||||
| Include Page | Splint_V | Splint_V |
|
| Compass/ROSE |
|
|
| |
| USE_AFTER_FREE | Can detect the specific instances where memory is deallocated more than once or read/written to the target of a freed pointer. | |||||||
Fortify SCA | 5.0 |
|
| ||||||
| UFM.DEREF.MIGHT |
| |||||||
| 51 D | Fully implemented. | |||||||
Splint |
|
|
|
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...