-disable-initialization-checks
)Отключите проверки на неинициализированные переменные и указатели
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Укажите, что Polyspace® Code Prover™ не должен проверять на неинициализацию в вашем коде.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Check Behavior.
Командная строка: Используйте опцию -disable-initialization-checks
. Смотрите информацию о командной строке.
Используйте эту опцию, если вы не хотите обнаруживать экземпляры неинициализированных переменных.
Polyspace Code Prover не выполняет следующие проверки:
Non-initialized local variable
: Локальная переменная не инициализируется прежде чем быть считанным.
Non-initialized variable
: Переменная кроме локальной переменной не инициализируется прежде чем быть считанным.
Non-initialized pointer
: Указатель не инициализируется прежде чем быть считанным.
Return value not initialized
: C функция не делает возвращаемого значения, когда ожидается.
Polyspace принимает что в объявлении:
Переменным позволил полный диапазон значений их тип.
Указателями может быть NULL
- оцененный или точка блоку памяти при неизвестном смещении.
Polyspace Code Prover проверяет на неинициализацию в вашем коде. Программное обеспечение отображает красные проверки, если, например, переменная не инициализируется и оранжевые проверки, если переменная инициализируется только на некоторых путях к выполнению.
Если вы выбираете эту опцию, программное обеспечение не сообщает о большинстве нарушений правила 9.1 MISRA C®:2004 и MISRA C:2012 Rule 9.1
.
Если вы выбираете эту опцию, номер и тип оранжевых регистраций вашего кода могут измениться.
Например, следующая таблица показывает дополнительную оранжевую проверку с включенной опцией.
Проверки на Enabled неинициализацию | Проверки на отключенную неинициализацию |
---|---|
void func(int flag) { int var1,var2; if( flag==0) { var1=var2; } else { var1=0; } var2=var1 + 1; } В этом примере программное обеспечение производит:
| void func(int flag) {
int var1,var2;
if( flag==0) {
var1=var2;
}
else {
var1=0;
}
var2=var1 + 1;
} В этом примере, программном обеспечении:
|
Параметр: -disable-initialization-checks |
Значение по умолчанию: Off |
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники |
Пример (Сервер Программы автоматического доказательства Кода):
сервер программы автоматического доказательства полипробела кода - источники |