Main Content

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 Results

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

Topics

  • Bug Finder Defect Groups

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