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