Проверка предполагает те же возвращаемые значения для функции, что и стандартная функция.

Например, при отображении функции cos32 в стандартную функцию cos, проверка предполагает, что cos32 возвращает значения в [-1,1].

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

Например, при отображении функции acos32 в стандартную функцию acos, Invalid use of standard library routine check определяет, является ли аргумент acos32 в [-1,1].

Стандартные библиотечные функции из math.h.

Функции управления памятью из string.h.

__ps_meminit: Функция Polyspace, инициализирующая область памяти.

Иногда проверка не распознает функцию инициализации памяти и выдает оранжевый Non-initialized local variable проверьте переменную, инициализированную с помощью этой функции. Если известно, что функция инициализации памяти инициализирует переменную по ее адресу, сопоставьте функцию с __ps_meminit. Чек становится зеленым.

__ps_lookup_table_clip: Функция Polyspace, возвращающая значение в диапазоне входного массива.

Иногда проверка учитывает полный диапазон для возвращаемых значений функций, которые просматривают значения в больших массивах (функции таблицы поиска). Если известно, что возвращаемое значение функции таблицы поиска должно находиться в диапазоне значений в ее входном массиве, сопоставьте функцию с __ps_lookup_table_clip.

В коде, сгенерированном из моделей, проверка по умолчанию делает это предположение для функций таблицы поиска. Чтобы определить, использует ли таблица поиска линейную интерполяцию и нет ли экстраполяции, проверка использует имена функций. Отображение используется только для рукописных функций, например, функций в блоке C/C + + S-функции (Simulink). Названия этих функций не соответствуют определенным соглашениям. Необходимо явно указать их.

NUMBER_SIGNIFICANT_CHARACTER_EXTERNAL_IDENTIFIER: Количество символов для сравнения внешних идентификаторов. Внешние идентификаторы объявлены с глобальной областью или классом хранения extern.

NUMBER_SIGNIFICANT_CHARACTER_INTERNAL_IDENTIFIER: Количество символов для сравнения внутренних идентификаторов.

__ps_lookup_table_clip:

Эта функция, относящаяся к Polyspace, принимает в качестве аргумента только массив таблицы подстановки и возвращает значения в диапазоне таблицы подстановки. Функция таблицы подстановки может иметь дополнительные аргументы, помимо самого массива таблицы подстановки. В этом случае используйте переопределение аргументов, чтобы указать, какой аргумент функции является массивом таблицы подстановки.

Например, предположим, что функция my_lookup_table имеет следующее объявление:

double my_lookup_table(double u0, const real_T *table,
                                     const double *bp0);

<function name="my_lookup_table" std="__ps_lookup_table_clip">
    <mapping std_arg="1" arg="2"></mapping>
</function>

При вызове функции:

res = my_lookup_table(u, table10, bp);

res =__ps_lookup_table_clip(table10);

__ps_meminit:

Эта функция, специфичная для Polyspace, принимает адрес памяти в качестве первого аргумента и число байт в качестве второго аргумента. Функция предполагает, что байты в памяти, начиная с адреса памяти, инициализируются с допустимым значением. Функция инициализации памяти может иметь дополнительные аргументы. В этом случае используйте переопределение аргумента, чтобы указать, какой аргумент функции является начальным адресом, а какой - числом байт.

Например, предположим, что функция my_meminit имеет следующее объявление:

     void my_meminit(enum InitKind k, void* dest, int is_aligned, unsigned int size);

<function name="my_meminit" std="__ps_meminit">
    <mapping std_arg="1" arg="2"></mapping>
    <mapping std_arg="2" arg="4"></mapping>
</function>

При вызове функции:

my_meminit(INIT_START_BY_END, &buffer, 0, sizeof(buffer));

__ps_meminit(&buffer, sizeof(buffer));

memset: Переменное число аргументов.

Если функция имеет переменное количество аргументов, ее нельзя сопоставить непосредственно стандартной функции без явного переопределения аргументов. Например, скажем, ваша функция объявлена как:

void* my_memset(void*, int, size_t, ...)

<function name="my_memset" std="memset">
    <mapping std_arg="1" arg="1"></mapping>
    <mapping std_arg="2" arg="2"></mapping>
    <mapping std_arg="3" arg="3"></mapping>
</function>

my_acos → acos:

Если используется сопоставление, User assertion чек становится зеленым. Проверка предполагает, что возвращаемое значение my_acos равно 0.

my_sqrt → sqrt:

Если используется сопоставление, Invalid use of standard library routine чек краснеет. В противном случае проверка не проверяет, является ли аргумент my_sqrt является неотрицательным.

my_lookup_table (аргумент 2) →__ps_lookup_table_clip (аргумент 1):

Если используется сопоставление, User assertion чек становится зеленым. Проверка предполагает, что возвращаемое значение my_lookup_table находится в диапазоне массива таблицы поиска table.

my_meminit →__ps_meminit:

Если используется сопоставление, Non-initialized local variable чек становится зеленым. При проверке предполагается, что все поля структуры x инициализированы с допустимыми значениями.

my_meminit →__ps_meminit:

Если используется сопоставление, Non-initialized local variable чек краснеет. Проверка предполагает, что только поле field1 структуры x инициализирован с допустимыми значениями.