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

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

Результаты Polyspace

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

Темы

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

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