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