...
Using the value of a pointer to a FILE object after the associated file is closed is undefined behavior.
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
FIO46-C | Medium | Unlikely | Medium | P4 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| CodeSonar |
| IO.UAC | Use after close | ||||||
| Compass/ROSE |
| Coverity |
| USE_AFTER_FREE | Implemented | ||||||
| Klocwork |
|
| LDRA tool suite |
| 48 D | Partially implemented | ||||||
| Parasoft C/C++test |
|
|
| BD-RES-FREE |
| Implemented | ||||||||
| 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 | ||||||
| SonarQube C/C++ Plugin |
| S3588 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
Bibliography
| [IEEE Std 1003.1:2013] | XSH, System Interfaces, open |
| [ISO/IEC 9899:2011] | Subclause 7.21.3, "Files" |
...
...