主要内容

资源管理缺陷

与资源处理相关的缺陷,例如,未关闭的文件流或使用已关闭的文件流

这些缺陷与文件处理相关。这些缺陷包括:

  • 未关闭的文件流

  • 在文件流关闭后对其执行的操作

Polyspace 结果

关闭之前已关闭的资源函数关闭先前关闭的流
打开之前已打开的资源Opening an already opened file
资源泄漏File stream not closed before FILE pointer scope ends or pointer is reassigned
使用之前已关闭的资源Function operates on a previously closed stream
写入只读资源文件最初以只读方式打开后被修改。

主题