Дефекты управления ресурсами

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

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

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

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

Результаты 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

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