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

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

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

  • Открытый поток файла

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

Результаты Polyspace

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

Темы

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

Средства проверки дефекта Средства поиска Ошибки классифицируются в группы, такие как поток данных, параллелизм, числовой, и так далее.