Function not called | Функция определяется, но не вызывается |
Function not reachable | Функция вызывается из недоступной части кода |
Global variable not assigned a value in initialization code | Глобальной переменной не присваивается значение в разделе инициализации программы |
Non-initialized local variable | Локальная переменная не инициализирована перед чтением |
Non-initialized pointer | Указатель не инициализирован перед чтением |
Non-initialized variable | Переменная, отличная от локальной, не инициализируется перед чтением |
Return value not initialized | Функция C не возвращает значение, когда ожидалось |
Unreachable code | Код не может быть достигнут во время выполнения |
Смотрите и исправьте функции, не вызываемые проверки
Исследуйте, почему функция не появляется в графике вызовов, начиная с main или другой точки входа.
Проверяйте и исправляйте проверки недоступности функции
Идентифицируйте сайты вызовов функции и исследуйте, почему они происходят в недоступном коде.
Просмотр и исправление не инициализированных проверок возвращаемого значения
Идентифицируйте пути через тело функции, которые не заканчиваются return оператор.
Просмотрите и исправьте неинициализированные проверки локальных переменных
Найдите предыдущие инициализации переменной, если таковые имеются, и проверьте, может ли ваша программа обойти их.
Просмотрите и исправьте неинициализированные проверки указателя
Найдите предыдущие инициализации указателя, если они есть, и проверьте, может ли ваша программа обойти их.
Просмотрите и исправьте неинициализированные проверки переменных
Найдите предыдущие инициализации глобальной переменной, если таковые имеются, и проверьте, может ли ваша программа обойти их.
Просмотрите и исправьте недостижимые проверки кода
Исследуйте, почему условный оператор в вашем коде избыточен, например, всегда true или всегда false.
Поиск отношений между переменными в коде
Определите, связаны ли переменные в любой операции с какой-либо предыдущей операцией.
