Переменная кроме локальной переменной не инициализируется прежде чем быть считанным
Эта проверка происходит, когда вы читаете переменные, которые не локальны (глобальные или статические переменные). Это определяет, инициализируется ли считанная переменная.
По умолчанию Polyspace® полагает, что глобальные переменные инициализируются. Верификация проверяет глобальные переменные, только если вы предотвращаете эту инициализацию по умолчанию.
Смотрите инициализацию глобальных переменных.
Рассмотрите и зафиксируйте неинициализированные переменные проверки
Группа: Поток данных |
Язык: C | C++ |
Акроним: NIV |