Эти дефекты являются ошибками, связанными с перемещением информации по всему коду. Дефекты включают в себя:
Мертвый или недостижимый код
Неиспользуемый код
Неинициализированная информация
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 | Код не выполнен из-за предыдущих инструкций control-flow |
Useless if | Ненужный, если условный |
Variable shadowing | Переменная скрывает другую переменную с тем же именем с вложенной областью |
Write without a further read | Переменная не читается после назначения |
Группы дефектов для поиска ошибок
Проверки дефектов Bug Finder подразделяются на такие группы, как поток данных, параллелизм, числовые и т. д.