Exponenta Banner

Проверить поведение

Изменение поведения проверок во время выполнения по умолчанию

Чтобы изменить поведение проверки во время выполнения по умолчанию, используйте параметры поведения проверки. Например, по умолчанию проверка переполнения обнаруживает переполнения в вычислениях только со подписанными целыми числами. Можно указать, что проверка должна также обнаруживать переполнения в вычислениях с неподписанными целыми числами.

Параметры анализа

развернуть все

Allow negative operand for left shifts (-allow-negative-operand-in-shift)Разрешить операции левой смены для отрицательного числа
Overflow mode for signed integer (-signed-integer-overflows)Укажите, будет ли результат переполнения окружен или усечен
Overflow mode for unsigned integer (-unsigned-integer-overflows)Укажите, будет ли результат переполнения окружен или усечен
Disable checks for non-initialization (-disable-initialization-checks)Отключить проверки неинициализированных переменных и указателей
Check that global variables are initialized after warm reboot (-check-globals-init)Проверьте, что глобальным переменным присвоены значения в разработанном коде инициализации.
Detect stack pointer dereference outside scope (-detect-pointer-escape)Поиск случаев, когда функция возвращает указатель на одну из своих локальных переменных
Enable pointer arithmetic across fields (-allow-ptr-arith-on-struct)Разрешить арифметику указателя на поле структуры, чтобы оно указывало на другое поле
Allow incomplete or partial allocation of structures (-size-in-bytes)Разрешить указателю с недостаточным буфером памяти указывать на структуру
Permissive function pointer calls (-permissive-function-pointer)Разрешить несоответствие типов указателей функций и функций, на которые они указывают
Detect uncalled functions (-uncalled-function-checks)Обнаружение функций, не вызываемых прямо или косвенно из main или другая функция точки входа
Consider non finite floats (-allow-non-finite-floats)Включить режим анализа, включающий бесконечности и NaNs
Infinities (-check-infinite)Укажите, как обрабатывать операции с плавающей запятой, которые приводят к бесконечности
NaNs (-check-nan)Укажите, как обрабатывать операции с плавающей запятой, которые приводят к NaN
Subnormal detection mode (-check-subnormal)Обнаружение операций, приводящих к субнормальным значениям с плавающей запятой

Темы

Задать параметры анализа в пространстве

Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.

Изменение или отключение проверок времени выполнения программы проверки кода

Деактивизация подмножества проверок во время выполнения в средстве проверки кода

Обнаружение переполнений при вычислении размера буфера

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

Документация по программе проверки кода Polyspace

Поддержка