주요 콘텐츠

Resource Management Defects

Defects related to resource handling such as unclosed file stream or use of a closed file stream

These defects are related to file handling. The defects include:

  • Unclosed file stream

  • Operations on a file stream after it is closed

Polyspace 결과

Closing a previously closed resourceFunction closes a previously closed stream
Opening previously opened resourceOpening an already opened file
Resource leakFile stream not closed before FILE pointer scope ends or pointer is reassigned
Use of previously closed resourceFunction operates on a previously closed stream
Writing to read-only resourceFile initially opened as read only is modified

도움말 항목

  • Bug Finder Defect Groups

    The Bug Finder defect checkers are classified into groups such as data flow, concurrency, numerical, and so on.