Дефекты потока данных

Дефекты для ошибок кодирования потока данных, недостижимого кода, неинициализации, пропуская операторы возврата, бесполезные записи

Результаты Polyspace

Code deactivated by constant false conditionСегмент кода, деактивированный #if 0 директив или если (0) условие
Dead codeКод не выполняется
Missing return statementФункция не делает возвращаемого значения, хотя возвращаются, тип не является пустым
Non-initialized variableПеременная, не инициализированная перед использованием
Non-initialized pointerУказатель, не инициализированный прежде, разыменовывает
Partially accessed arrayМассив частично чтение или записанный перед концом осциллографа
Pointer to non-initialized value converted to const pointerУказатель на постоянный присвоенный адрес, который не содержит значение
Static uncalled functionФункция со статическим контекстом, не названным в файле
Unreachable codeКод, не выполненный из-за предыдущих операторов управления
Useless ifНенужный, если условное выражение
Variable shadowingПеременная скрывает другую переменную того же имени с вложенным осциллографом
Write without a further readПеременная никогда не читала после присвоения

Темы

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

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