Можно задать расширенные настройки с polyspace-code-prover-server команда, такая как команды или скрипты, которые могут выполняться после анализа.
Command/script to apply after the end of the code verification (-post-analysis-command) | Задайте команду или скрипт, который будет выполняться после анализа |
-asm-begin -asm-end | Исключите специфичный для компилятора asm функции от анализа |
-code-behavior-specifications | Карта неточно анализируемая функция к стандартной функции для точного анализа |
-consider-external-array-access-unsafe | (Только C++), Удаляют предположение по умолчанию, что к внешним массивам незаданного размера можно безопасно получить доступ в любом индексе |
-custom-target | Создайте пользовательский целевой процессор с определенными размерами типа данных |
-dump-preprocessing-info | Покажите все макросы, неявно заданные во время конкретного анализа |
-max-processes | Задайте максимальное количество процессоров для анализа |
-no-assumption-on-absolute-addresses | Удалите предположение, что абсолютное использование адреса допустимо |
-non-preemptable-tasks | Задайте функции, которые представляют nonpreemptable задачи |
-options-for-sources | Задайте аналитические опции, характерные для исходного файла |
-preemptable-interrupts | Задайте функции, которые представляют выгружаемые прерывания |
-regex-replace-rgx -regex-replace-fmt | Сделайте замены в директивах препроцессору |
-submit-job-from-previous-compilation-results | Укажите, что аналитическое задание должно быть повторно представлено без перекомпиляции |
-tmp-dir-in-results-dir | Сохраните временные файлы в папке результатов |
-xml-annotations-description | Примените аннотации пользовательского кода к результатам анализа Polyspace |
Подготовьте скрипты к анализу Polyspace
Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.
