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

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

Эти дефекты являются ошибками, относящимися, как информация перемещается в вашем коде. Дефекты включают:

  • Мертвый или недостижимый код

  • Неиспользованный код

  • Неинициализированная информация

Результаты Polyspace

Code deactivated by constant false conditionСегмент кода деактивирован #if 0 директива или if(0) условие
Dead codeКод не выполняется
Missing return statementФункция не делает возвращаемого значения, хотя возвращаются, типом не является void
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Переменная никогда не читала после присвоения

Темы

Группы дефекта Bug Finder

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