Командная строка только опции

Командная строка только опции, расширенные настройки

Эти аналитические опции используются в DOS или командной строке UNIX® с функциональным polyspace-bug-finder. Если вы хотите использовать некоторых расширенные настройки с проектом в пользовательском интерфейсе, используйте параметр конфигурации Other.

Аналитические опции

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

-authorЗадайте автора проекта
-dateЗадайте дату анализа
-doc | -documentationОтобразите документацию Polyspace в справке brwoser
-generate-launching-script-forИзвлеките информацию из файла проекта
-h | -helpДисплейный список возможных вариантов
-IЗадайте включают папку для компиляции
-import-commentsИмпортируйте комментарии и выравнивания от предыдущего анализа
-options-fileЗапустите Polyspace с помощью списка опций
-progЗадайте имя проекта
-report-output-nameЗадайте имя отчета
-results-dirЗадайте папку результатов
-schedulerЗадайте планировщик задания или кластер
-sourcesЗадайте исходные файлы
-sources-list-fileЗадайте файл, содержащий список источников
-v | -versionОтобразите номер версии Polyspace
-asm-begin -asm-endИсключите специфичные для компилятора функции asm из анализа
-custom-targetСоздайте пользовательский целевой процессор с определенными размерами типа данных
-function-behavior-specificationsКарта неточно анализируемая функция к стандартной функции для точного анализа
-max-processesЗадайте максимальное количество процессоров для анализа
-non-preemptable-tasksЗадайте функции, которые представляют nonpreemptable задачи
-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