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