Расширенные настройки

Постаналитические команды и другие опции

Можно задать расширенные настройки с 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Удалите предположение по умолчанию, что к внешним массивам незаданного размера можно безопасно получить доступ в любом индексе
-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Сделайте замены в директивах препроцессору
-show-similar-overflowsПокажите все переполнение во всеобъемлющем режиме
-submit-job-from-previous-compilation-resultsУкажите, что аналитическое задание должно быть повторно представлено без перекомпиляции
-tmp-dir-in-results-dirСохраните временные файлы в папке результатов
-xml-annotations-descriptionПримените аннотации пользовательского кода к результатам анализа Polyspace

Темы

Подготовьте скрипты к анализу Polyspace

Объедините специфичные для проекта опции, такие как источники с допускающими повторное использование опциями, такими как средства проверки.