Укажите имя проекта
-prog projectName
-prog задает имя для проекта Polyspace ®. В этом имени должны использоваться только буквы, цифры, знаки подчеркивания (_), тире (-) или точки (.).projectName
Имя появляется в журнале анализа и в нескольких других местах.
Присвойте имя проекту Polyspace:
Поиск ошибок:
polyspace-bug-finder -prog MyApp
Проверка кода:
polyspace-code-prover -prog MyApp
Сервер поиска ошибок:
polyspace-bug-finder-server -prog MyApp
Сервер проверки кода:
polyspace-code-prover-server -prog MyApp
Этот параметр не требуется для анализа Polyspace as You Code.