...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| IO.UAC | Use after close | ||||||
| Compass/ROSE | |||||||||
| Fortify SCA | 5.0 | Can detect violations of this rule with CERT C Rule Pack | |||||||
| Klocwork |
| RH.LEAK | |||||||
| LDRA tool suite |
| 48 D | Partially implemented | ||||||
| Parasoft C/C++test | 9.5 | BD-RES-FREE | |||||||
| Polyspace Bug Finder | R2016a | Function closes a previously closed stream Argument to a standard function does not meet requirements for use in the function Function operates on a previously closed stream |
...