Exponenta Banner

Входные параметры и блокирование

Укажите диапазоны для глобальных переменных и функций

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

Опции анализа

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

Constraint setup (-data-range-specifications)Ограничьте глобальные переменные, входные параметры функции и возвращаемые значения заблокированных функций
Functions to stub (-functions-to-stub)Задайте функции к заглушке во время анализа
No STL stubs (-no-stl-stubs)Не используйте реализации Polyspace функций в Стандартной библиотеке шаблонов
Libraries used (-library)Задайте библиотеки, которыми вы пользуетесь в своей программе
Generate results for sources and (-generate-results-for)Задайте файлы, на которых вы хотите результаты анализа
Do not generate results for (-do-not-generate-results-for)Задайте файлы, на которых вы не хотите результатов анализа

Темы

Задайте опции анализа Polyspace

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

Задайте внешние ограничения

Ограничьте переменные диапазоны и технические требования указателя для более точного анализа.

Внешние ограничения для анализа Polyspace

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

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

Поддержка