...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE | |||||||||
LDRA tool suite |
| 590 S | Partially implemented | ||||||
Polyspace Bug Finder |
| CERT C: Rec. FIO11-C | Checks for bad file access mode or status (rec. partially fully covered) |
Related Vulnerabilities
...
...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE | |||||||||
LDRA tool suite |
| 590 S | Partially implemented | ||||||
Polyspace Bug Finder |
| CERT C: Rec. FIO11-C | Checks for bad file access mode or status (rec. partially fully covered) |
...