Документация

Отображает список переменных и функций в проекте, для которых можно задать диапазоны данных.

В этом столбце отображаются три расширяемых пункта меню:

Отображает информацию о переменной или функции.

Например, отображаются статические переменные static. Отображение несмонтированных функций unused.

Применимо только для пользовательских функций.

Указывает, вызывает ли главный генератор функцию:

Указывает, как программа назначает диапазон переменной:

Поддержка только пользовательских функций INIT режим.

Поддержка только функций заглушки PERMANENT режим.

Для проверок C поддержка глобальных указателей MAIN GENERATOR, IGNORE, или INIT режим.

Указывает минимальное и максимальное значения переменной.

Можно использовать ключевые слова min и max для обозначения минимального и максимального значений типа переменной. Например, для типа long, min и max соответствуют -2 ^ 31 и 2 ^ 31-1 соответственно.

Можно также использовать шестнадцатеричные значения. Например: 0x12..0x100

Для enum переменные, диапазоны нельзя задавать непосредственно с помощью констант перечислителя. Вместо этого используйте значения, представленные константами.

Для enum переменные, также можно использовать ключевые слова enum_min и enum_max для обозначения минимального и максимального значений, которые может принимать переменная. Например, для enum переменная типа, определенного ниже, enum_min равно 0 и enum_max равно 5:

enum week{ sunday, monday=0, tuesday, wednesday, thursday, friday, saturday};

Применимо только к указателям. Включено только при указании режима Init:INIT.

Указывает, должен ли указатель иметь значение NULL:

Применимо только к указателям. Включено только при указании режима Init:INIT.

Указывает способ назначения остроконечного объекта:

Кроме того, для аргументов указателя на упорные функции доступны две другие опции:

Для упорных функций - опции SINGLE и MULTI означает вероятную инициализацию вместо определенной инициализации.

Применимо только к указателям.

Указывает, на какое количество объектов указывает указатель (указанный объект рассматривается как массив).

Параметр Init Allocated указывает, сколько выделенных объектов действительно инициализировано. Например, рассмотрим этот код:

void func(int *ptr) {
    assert(ptr[0]==1);
    assert(ptr[1]==1);
}

оба утверждения зеленые. Однако если заданы следующие ограничения:

второе утверждение оранжевое. Только первый объект, который ptr точки для инициализации в 1. Объекты за пределами первого могут быть потенциально полными по дальности.