-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 | Задайте функции, которые представляют незапускаемые задачи |
-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 |
