Указать дополнительные флаги для анализа
Этот параметр полезен только при выполнении анализа в интерфейсе пользователя продуктов Polyspace ® для настольных ПК.
Введите флаги стиля командной строки, такие как -max-processes.
В конфигурации проекта этот параметр находится в узле «Дополнительные параметры». В это поле можно ввести несколько параметров. Если один и тот же параметр вводится несколько раз с разными аргументами, в анализе используется последний аргумент.
Используйте этот параметр, чтобы добавить в анализатор только неофициальные параметры или параметры командной строки.
Если необходимо добавить несколько опций командной строки, их можно сохранить в текстовом файле и указать файл с помощью опции -options-file. Файл параметров можно повторно использовать в разных проектах.
Неофициальные варианты: в редких случаях для решения конкретных проблем служба технической поддержки MathWorks ® может предоставить вам некоторые варианты без документов. При выполнении проверки из интерфейса пользователя для ввода параметров используется поле Другое (Other) на панели Конфигурация (Configuration). Иногда вариантам и их аргументам должны предшествовать дополнительные флаги. Предоставив вам эту возможность, служба технической поддержки сообщит вам, требуются ли дополнительные флаги.
Возможные флаги: -extra-flags | -c-extra-flags | -cpp-extra-flags | -cfe-extra-flags | -il-extra-flags |
Пример (поиск ошибок): polyspace-bug-finder -extra-flags |
Пример (проверка кода):
polyspace-code-prover -extra-flags |
Пример (сервер поиска ошибок): polyspace-bug-finder-server -extra-flags |
Пример (сервер проверки кода):
polyspace-code-prover-server -extra-flags |