-stop-if-compile-error)Укажите, что ошибка компиляции должна остановить анализ
Укажите, что даже одна ошибка компиляции должна остановить анализ.
Пользовательский интерфейс (только для настольных ПК): На панели Конфигурация (Configuration) этот параметр находится в узле Настройки среды (Environment Settings).
файл командной строки и параметров: Использовать параметр -stop-if-compile-error. См. раздел Сведения о командной строке.
Используйте эту опцию, чтобы сначала устранить все ошибки компиляции, а затем выполнить анализ Polyspace ®. Эта последовательность обеспечивает анализ всех файлов.
В противном случае полностью анализируются только файлы без ошибок компиляции. Анализ может вернуть некоторые результаты для файлов, которые не компилируются. Если файл с ошибками компиляции содержит определение функции, анализ считает функцию неопределенной. Это предположение иногда может сделать анализ менее точным.
Этот параметр более полезен для анализа средства проверки кода, поскольку проверки времени выполнения средства проверки кода в большей степени зависят от распространения диапазона по функциям.
НаАнализ останавливается даже в случае единичной ошибки компиляции.
В пользовательском интерфейсе настольных продуктов Polyspace отображаются ошибки компиляции на панели Сводка вывода (Output Summary).
Сведения об устранении ошибок см. в разделе Устранение ошибок компиляции.
Можно также просмотреть ошибки в журнале анализа - текстовом файле, созданном во время анализа. Журнал имеет имя Polyspace_R20 и содержит строки, начинающиеся с ##n_ProjectName_date-time.logError: указывает на ошибки компиляции. Для просмотра журнала по результатам анализа:
В интерфейсе пользователя настольных продуктов Polyspace выберите «Окно» > «Показать/скрыть вид» > «Запустить журнал».
В веб-интерфейсе Polyspace Access откройте вкладку Проверка. Выберите меню «Макет» > «Показать/скрыть вид» > «Журнал выполнения».
Несмотря на ошибки компиляции, можно увидеть некоторые результаты анализа, например, нарушения правил кодирования.
Выкл. (по умолчанию)Анализ не останавливается из-за ошибок компиляции, но анализируются только файлы без ошибок компиляции. Анализ не учитывает файлы, которые не компилируются. Если файл с ошибками компиляции содержит определение функции, анализ считает функцию неопределенной. Если анализ нуждается в определении такой функции, он делает широкие предположения о функции.
Возвращаемое значение функции может принимать любое значение в диапазоне, разрешенном ее типом данных.
Функция может изменять аргументы, передаваемые по ссылке, чтобы они могли принимать любое значение в диапазоне, разрешенном их типами данных.
Если допущения слишком широки, анализ может быть менее точным. Например, проверка во время выполнения может помечать операцию оранжевым цветом, даже если на практике она не завершается неуспешно.
При возникновении ошибок компиляции в интерфейсе пользователя настольных продуктов Polyspace на панели «Панель мониторинга» имеется ссылка, показывающая, что некоторые файлы не удалось скомпилировать. Можно щелкнуть ссылку и просмотреть ошибки компиляции на панели Сводка вывода (Output Summary).
Можно также просмотреть ошибки в журнале анализа - текстовом файле, созданном во время анализа. Журнал имеет имя Polyspace_R20 и содержит строки, начинающиеся с ##n_ProjectName_date-time.logError: указывает на ошибки компиляции. Для просмотра журнала по результатам анализа:
В интерфейсе пользователя настольных продуктов Polyspace выберите «Окно» > «Показать/скрыть вид» > «Запустить журнал».
В веб-интерфейсе Polyspace Access откройте вкладку Проверка. Выберите меню «Макет» > «Показать/скрыть вид» > «Журнал выполнения».
Параметр:-stop-if-compile-error |
| По умолчанию: Откл. |
Пример (поиск ошибок):
polyspace-bug-finder -sources |
Пример (проверка кода): polyspace-code-prover -sources |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |