...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE | |||||||||
LDRA tool suite |
| 590 S | Partially implemented | ||||||
PC-lint Plus |
| 2472, 2473 | Fully supported | ||||||
Polyspace Bug Finder |
| CERT C: Rec. FIO11-C | Checks for bad file access mode or status (rec. fully covered) |
...
...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE | |||||||||
LDRA tool suite |
| 590 S | Partially implemented | ||||||
PC-lint Plus |
| 2472, 2473 | Fully supported | ||||||
Polyspace Bug Finder |
| CERT C: Rec. FIO11-C | Checks for bad file access mode or status (rec. fully covered) |
...