Можно задать расширенные настройки с polyspace-bug-finder-server команда, такая как команды или скрипты, которые могут выполняться после анализа.
Command/script to apply after the end of the code verification (-post-analysis-command) | Задайте команду или скрипт, который будет выполняться после анализа |
-asm-begin -asm-end | Исключите специфичный для компилятора asm функции от анализа |
-code-behavior-specifications | Карта неточно анализируемая функция к стандартной функции для точного анализа |
-consider-analysis-perimeter-as-trust-boundary | Рассмотрите аналитический периметр как доверительный контур так, чтобы данные, приходящие не из текущего аналитического периметра, были рассмотрены испорченными |
-custom-target | Создайте пользовательский целевой процессор с определенными размерами типа данных |
-dump-preprocessing-info | Покажите все макросы, неявно заданные во время конкретного анализа |
-force-data-races | Обнаружьте гонки данных, включающие только атомарные операции, даже когда никакие критические разделы не заданы |
-max-processes | Задайте максимальное количество процессоров для анализа |
-non-preemptable-tasks | Задайте функции, которые представляют nonpreemptable задачи |
-options-for-sources | Задайте аналитические опции, характерные для исходного файла |
-preemptable-interrupts | Задайте функции, которые представляют выгружаемые прерывания |
-regex-replace-rgx -regex-replace-fmt | Сделайте замены в директивах препроцессору |
-termination-functions | Задайте функции завершения процесса |
-tmp-dir-in-results-dir | Сохраните временные файлы в папке результатов |
-xml-annotations-description | Примените аннотации пользовательского кода к результатам анализа Polyspace |
Источники заражения в анализе Polyspace
Подтвердите испорченные данные, полученные из внешних источников, чтобы избежать угроз безопасности.
