Эти дефекты являются ошибками, связанными с тем, как информация перемещается по всему коду. Дефекты включают:
Мертвый или недоступный код
Неиспользованный код
Неинициализированная информация
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 классифицируются в такие группы, как поток данных, параллелизм, численный и так далее.