exponenta event banner

Недостатки управления ресурсами

Дефекты, связанные с обработкой ресурсов, такие как незакрытый поток файлов или использование закрытого потока файлов

Эти дефекты связаны с обработкой файлов. Дефекты включают в себя:

  • Незакрытый поток файлов

  • Операции с потоком файлов после его закрытия

Результаты Polyspace

Closing a previously closed resourceФункция закрывает ранее закрытый поток
Opening previously opened resourceОткрытие уже открытого файла
Resource leakПоток файлов не закрыт до FILE область действия указателя заканчивается или указатель переназначен
Use of previously closed resourceФункция работает с ранее закрытым потоком
Writing to read-only resourceФайл, первоначально открытый только для чтения, изменен

Темы

Группы дефектов для поиска ошибок

Проверки дефектов Bug Finder подразделяются на такие группы, как поток данных, параллелизм, числовые и т. д.