(DOS/UNIX) Создает проект Polyspace из вашей системы сборки в командной строке UNIX или DOS
polyspace-configure прослеживает вашу систему сборки и создает Polyspace® проект с информацией, собранной от вашей системы сборки.buildCommand
polyspace-configure прослеживает вашу систему сборки и использует [OPTIONS] buildCommand -option value изменить операцию по умолчанию polyspace-configure. Задайте модификаторы перед buildCommand, в противном случае они рассматриваются как опции в самой команде сборки.
polyspace-configure создает проект Polyspace с информацией, собранной из файла базы данных компиляции JSON [OPTIONS] -compilation-database jsonFilejsonFile то, что вы обеспечиваете. Вы не должны задавать команду сборки или прослеживать вашу систему сборки. Для больше на базах данных компиляции JSON, см. Базу данных Компиляции JSON.
В этом примере показано, как создать проект Polyspace, если вы используете команду, делают создавать ваш исходный код.targetName
buildOptions
Создайте проект Polyspace, задающий уникальное название проекта. Используйте -B или-W опция с makefileNamemake так, чтобы все необходимые как условие цели в make-файле были переделаны.
polyspace-configure -prog myProject \ make -B targetName buildOptions
Откройте проект Polyspace в пользовательском интерфейсе Polyspace.
В этом примере показано, как создать файл опций Polyspace из базы данных компиляции JSON, которую вы генерируете с генератором системы сборки CMake. CMake генерирует инструкции по сборке для инструмента сборки, который вы задаете, такие как Unix Make-файлы для make или файлы проекта для Microsoft® Visual Studio®. CMake поддерживает генерацию базы данных компиляции JSON только для генераторов Make-файла и генератора Ниндзя. Для получения дополнительной информации смотрите генераторы make-файла.
Сгенерируйте базу данных компиляции JSON для своего проекта CMake. Для примера проекта Cmake смотрите polyspaceroot\help\toolbox\bugfinder\examples\compilation_databasepolyspaceroot
Перейдите к корню вашего исходного дерева проекта. Эта папка содержит файл CMakeLists.txt который CMake использует в качестве входа, чтобы сгенерировать инструкции по сборке. Введите эти команды:
mkdir JSON_cdb cd JSON_cdb cmake -G "Unix Makefiles" -DCMAKE_EXPORT_COMPILE_COMMANDS=1 ../
make создайте инструмент. Команда также выходной файл compile_commands.json. Это списки файлов компилятор призывает к каждому модулю перевода в вашем проекте. Сгенерируйте файл опций Polyspace от базы данных компиляции, которую вы сгенерировали на предыдущем шаге.
polyspace-configure -compilation-database compile_commands.json \ -output-options-file options.txt
polyspace-configure не прослеживает вашу сборку. Polyspace извлекает информацию о вашей системе сборки от базы данных компиляции JSON.Передайте файл опций Polyspace, чтобы запустить анализ, например:
polyspace-code-prover -options-file options.txt
В этом примере показано, как создать различные проекты Polyspace из той же трассировки вашей системы сборки. Можно задать который исходные файлы включать для каждого проекта.
Проследите свою систему сборки, не создавая проект Polyspace путем определения опции -no-project. Чтобы гарантировать, что все необходимые как условие цели в вашем make-файле переделаны, используйте соответствующий make создайте опцию команды, например, -B.
polyspace-configure -no-project make -B
polyspace-configure хранит информацию кэша и трассировку сборки в местоположениях по умолчанию в текущей папке. Чтобы хранить информацию кэша и трассировку сборки в другом месте, задайте опции -cache-path и -build-trace.
Сгенерируйте проекты Polyspace при помощи трассировочной информации сборки от предыдущего шага. Задайте название проекта и используйте -include-sources или -exclude-sources опция, чтобы выбрать, который файлы включать для каждого проекта.
polyspace-configure -no-build -prog myProject \ -include-sources "glob_pattern"
glob_pattern шаблон шарика, который соответствует папкам или файлам, вы просачиваетесь или из вашего проекта. Гарантировать интерпретатор не расширяет шаблоны шарика, которые вы передаете polyspace-configure, заключите их в двойные кавычки. Для получения дополнительной информации о поддерживаемом синтаксисе для шаблонов шарика смотрите, что полипробел - конфигурирует Синтаксис Выбора Исходных файлов.
Если вы задали опции -build-trace и -cache-path на предыдущем шаге задайте их снова.
Удалите папка кэша и файл трассировки.
rm -r polyspace_configure_cache polyspace_configure_built_trace
-build-trace и -cache-path, используйте пути и имена файлов из тех опций.В этом примере показано, как запустить анализ Polyspace, если вы используете команду, делают создавать ваш исходный код. В этом примере вы используете targetName
buildOptionspolyspace-configure прослеживать вашу систему сборки, но не создавать проект Polyspace. Вместо этого вы создаете файл опций, который можно использовать, чтобы запустить анализ Polyspace от командной строки.
Создайте файл опций Polyspace, задающий -output-options-file команда. Используйте -B или-W опция с makefileNamemake так, чтобы были переделаны все необходимые как условие цели в make-файле.
polyspace-configure -output-options-file\ myOptions make -B targetName buildOptions
Используйте файл опций, который вы создали, чтобы запустить анализ Polyspace в командной строке:
polyspace-code-prover -options-file myOptions
buildCommand — Команда для создания исходного кодаСоздайте команду, заданную точно так же, как вы используете, чтобы создать ваш исходный код.
Пример: make -B, сделайте-W makefileName
[OPTIONS] — Опции для изменения операции по умолчанию polyspace-configure-, сопровождаемый аргументом | несколько разделенных пробелом пар аргумента опцииОсновные опции
| Опция | Аргумент | Описание |
|---|---|---|
-prog | Название проекта | Название проекта, которое появляется в пользовательском интерфейсе Polyspace. Значением по умолчанию является Если вы не используете опцию Пример:
|
-author | Имя автора | Имя автора проекта. Пример:
|
-output-project | Path | Имя файла проекта и местоположение для сохранения проекта. Значением по умолчанию является файл Пример:
|
-output-options-file | FileName | Опция, чтобы создать файл опций анализа Polyspace. Используйте этот файл для анализа командной строки с помощью одной из этих команд:
|
-allow-build-error | 'none' | Опция, чтобы создать проект Polyspace, даже если ошибка происходит в процессе сборки. Если ошибка происходит, журнал трассировки сборки показывает следующее сообщение: polyspace-configure (polyspaceConfigure) ERROR: build command command_name fail [status=status_value] command_name название команды сборки, которое вы используете и status_value ненулевой статус выхода или ошибочный уровень, который указывает, какая ошибка произошла в вашем процессе сборки.Эта опция проигнорирована, когда вы используете |
-allow-overwrite | 'none' | Опция, чтобы перезаписать проект с тем же именем, если это существует. По умолчанию, |
| 'none' | Опция, чтобы подавить или отобразить дополнительные сообщения от выполнения
Если вы задаете больше чем одну из этих опций, самая многословная опция применяется. Эти опции проигнорированы, если они используются в сочетании с |
-help | 'none' | Опция, чтобы отобразить полный список |
-debug | 'none' | Опция, чтобы сохранить отладочную информацию для использования MathWorks® техническая поддержка. Эта опция была заменена опцией |
-easy-debug | Path | Опция, чтобы сохранить отладочную информацию для использования технической поддержкой MathWorks. После |
Опции, чтобы создать несколько модулей
Эти опции не совместимы с -compilation-database.
| Опция | Аргумент | Описание |
|---|---|---|
-module | 'none' | Опция, чтобы создать отдельный файл опций для каждого двоичного файла, созданного в системе сборки. Можно только создать отдельные файлы опций для различных двоичных файлов. Вы не можете создать несколько модулей в проекте Polyspace (для выполнения в пользовательском интерфейсе Polyspace). Используйте эту опцию только для систем сборки тот GNU использования® и Visual C++® компиляторы. См. также Строят Анализ Polyspace из модулей при помощи Команды Сборки. |
-output-options-path | Путь | Местоположение, где сгенерированные файлы опций сохранены. Используйте эту опцию вместе с опцией Файлы опций называют после того, как двоичные файлы создали в системе сборки. |
Расширенные настройки
| Опция | Аргумент | Описание |
|---|---|---|
-compilation-database | Путь и имя файла | Местоположение и имя базы данных компиляции JSON (JSON CDB) файл. Вы генерируете этот файл от своей системы сборки, например, при помощи флага Вы не задаете команду сборки, когда вы используете эту опцию. Системы сборки и компиляторы поддерживают генерацию JSON CDB:
Эта опция не совместима с Опции управления кэшем, |
-compiler-config | Путь и имя файла | Местоположение и имя конфигурационного файла компилятора. Файл должен быть в определенном формате. Для руководства смотрите существующие конфигурационные файлы в Пример:
|
-no-project | 'none' | Опция, чтобы проследить вашу систему сборки, не создавая проект Polyspace и сохранить трассировочную информацию сборки. Используйте эту опцию, чтобы сохранить вашу трассировочную информацию сборки для более позднего запуска Эта опция не совместима с |
-no-build | 'none' | Опция, чтобы создать проект Polyspace, использующий ранее сохраненную трассировочную информацию сборки. Чтобы использовать эту опцию, у вас должна быть трассировочная информация сборки, сохраненная от более раннего запуска Если вы используете эту опцию, вы не должны задавать Эта опция проигнорирована, когда вы используете |
-no-sources | 'none' | Опция, чтобы создать файл опций Polyspace, который не содержит технические требования исходного файла. Используйте эту опцию, когда вы будете намереваться задать исходные файлы другими средними значениями. Например, можно использовать эту опцию когда:
|
-extra-project-options | Опции, чтобы использовать для последующего анализа Polyspace. Например, "-stubbed-pointers-are-unsafe". | Опции, которые используются для последующего анализа Polyspace. Если проект Polyspace создается, можно изменить некоторые опции по умолчанию в проекте. В качестве альтернативы можно передать эти опции при трассировке команды сборки. Флаг Укажите, что несколько опций на пробеле разделили список, например Предположим, что необходимо установить опцию Для списка доступных опций см.:
Если вы создаете файл опций вместо проекта Polyspace от вашей команды сборки, не используйте этот флаг. |
-tmp-path | Path | Местоположение папки, где временные файлы хранятся. |
-build-trace | Путь и имя файла | Местоположение и имя файла, где информация о сборке хранится. Значением по умолчанию является Пример:
|
-log | Путь и имя файла | Местоположение и имя файла журнала, где выход polyspace-configure команда хранится. Использование этой опции не подавляет консольный выход. |
| Шаблон шарика | Опция, чтобы задать, который исходные файлы Исходный файл включен, если путь к файлу совпадает с шаблоном шарика, который вы передаете Исходный файл исключен, если путь к файлу совпадает с шаблоном шарика, который вы передаете |
| 'none' | Опция, чтобы распечатать список исходных файлов, что Используйте эту опцию, чтобы диагностировать шаблоны шарика, которые вы передаете |
-compiler-cache-path | Путь к папке | Задайте путь к папке где По умолчанию Polyspace ищет и хранит кэши компилятора под этими путями к папкам:
|
-no-compiler-cache | 'none' | Используйте эту опцию, если вы не хотите, чтобы Polyspace кэшировал вашу конфигурационную информацию компилятора или использовал существующий кэш для вашей настройки компилятора. По умолчанию в первый раз вы запускаете |
-reset-compiler-cache-entry | 'none' | Используйте эту опцию, чтобы запросить компилятор для текущей настройки и обновить запись в файле кэша, который соответствует этой настройке. Другие записи настройки компилятора в кэше не обновляются. |
-clear-compiler-cache | 'none' | Используйте эту опцию, чтобы удалить все настройки компилятора, сохраненные в файле кэша. Если вы также задаете команду сборки или |
-import-macro-definitions |
| Используйте эту опцию, чтобы задать как Можно задать:
|
-options-for-sources-delimiter | Отдельный символ | Задайте диафрагму опции, чтобы использовать, когда несколько опций анализа будут сопоставлены с одним исходным файлом с помощью См. также |
Опции управления кэшем
Эти опции, в основном, полезны для отладки. Используйте опции если polyspace-configure (polyspaceConfigure) сбои и MathWorks Technical Support просят, чтобы вы использовали опцию и обеспечили кэшируемые файлы. Запуская R2020a, опция -easy-debug обеспечивает более легкий способ обеспечить отладочную информацию. Смотрите Техническую поддержку Контакта О Проблемах с Рабочим Polyspace.
Эти опции проигнорированы, когда вы используете -compilation-database.
| Опция | Аргумент | Описание |
|---|---|---|
| 'none' | Опция, чтобы выполнить одно из следующего:
Как правило, вы кэшируете временные файлы, созданные вашей командой сборки, чтобы отладить проблемы в трассировке команды. |
-cache-path | Path | Местоположение папки, где информация о кэше хранится. При трассировке сборки Visual Studio ( path is too long Пример:
|
| 'none' | Опция, чтобы сохранить или очистить информацию о кэше после Если |
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.