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