Опции в командной строке только

Описания опций, доступных только в командной строке

Опция на командной строке соответствует непосредственно опции на панели Configuration в пользовательском интерфейсе. Опции ниже являются исключениями к этому правилу. Основные опции соответствуют пунктам меню и полям в другом месте в пользовательском интерфейсе. Расширенные настройки не появляются в пользовательском интерфейсе. На панели Configuration необходимо задать форму командной строки этих опций в поле Other.

Опции анализа

развернуть все

-authorЗадайте автора проекта
-dateЗадайте дату анализа
-doc | -documentationОтобразите документацию Polyspace в браузере документации
-generate-launching-script-forИзвлеките информацию из файла проекта
-h | -helpДисплейный список возможных вариантов
-IЗадайте включают папку для компиляции
-import-commentsИмпортируйте информацию об анализе из предыдущего анализа
-list-all-valuesОтобразите допустимые аргументы опции для данного параметра командной строки
-options-fileЗапустите Polyspace с помощью списка опций
-progЗадайте имя проекта
-report-output-nameЗадайте имя отчета
-results-dirЗадайте папку результатов
-schedulerЗадайте планировщик задания или кластер
-sourcesЗадайте исходные файлы
-sources-list-fileЗадайте файл, содержащий список источников
-verif-versionПрисвойте идентификатор версии
-v | -versionОтобразите номер версии Polyspace
-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Задайте функции, которые представляют nonpreemptable задачи
-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