资源管理缺陷
与资源处理相关的缺陷,例如,未关闭的文件流或使用已关闭的文件流
这些缺陷与文件处理相关。这些缺陷包括:
- 未关闭的文件流 
- 在文件流关闭后对其执行的操作 
Polyspace 结果
| 关闭之前已关闭的资源 | 函数关闭先前关闭的流 | 
| 打开之前已打开的资源 | Opening an already opened file | 
| 资源泄漏 | File stream not closed before FILEpointer
scope ends or pointer is reassigned | 
| 使用之前已关闭的资源 | Function operates on a previously closed stream | 
| 写入只读资源 | 文件最初以只读方式打开后被修改。 | 
主题
- Bug Finder 缺陷组Bug Finder 的缺陷检查项分为数据流、并发、数值等分组。