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