-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 |
