-shared-variables-mode)Вычислять общий доступ к глобальным переменным и их использование без выполнения полного анализа
Этот параметр влияет только на анализ программы проверки кода.
Эта опция недоступна для кода, сгенерированного в моделях MATLAB ® или Simulink ®.
Укажите этот параметр, чтобы выполнить менее обширный анализ, который вычисляет общий доступ к глобальным переменным и их использование во всем приложении. Анализ не проверяет код на наличие ошибок во время выполнения. Результаты анализа также включают нарушения стандартов кодирования, если включена проверка стандартов кодирования, и метрики кода, если включено вычисление метрик кода.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Проверка проверочного кода (Code Prover Verification).
файл командной строки и параметров: Использовать параметр -shared-variables-mode. См. раздел Сведения о командной строке.
Можно просматривать общий доступ к глобальным переменным и их использование без выполнения полного анализа всего приложения, включающего обнаружение ошибок во время выполнения. Обнаружение ошибок во время выполнения для всего приложения может занять много времени.
НаPolyspace ® вычисляет общий доступ к глобальным переменным и их использование, но не проверяет код на наличие ошибок во время выполнения.
Выкл. (по умолчанию)Polyspace выполняет полный анализ кода, включая обнаружение ошибок во время выполнения.
Этот параметр можно использовать только в том случае, если программа содержит main функция и включение опции Verify whole application (неявно устанавливается по умолчанию в командной строке).
При включении этого параметра необходимо также включить хотя бы один из этих параметров.
После анализа всего приложения, чтобы увидеть общий доступ к глобальным переменным и их использование, выполните покомпонентный анализ проверки кода для обнаружения ошибок во время выполнения.
В настольном продукте можно просмотреть все операции чтения и записи для глобальных переменных на панели «Доступ к переменным».
В этом менее широком режиме анализа анализ проверяет большинство, но не все нарушения стандартов кодирования и вычисляет большинство, но не все метрики кода.
Параметр:
-shared-variables-mode |
| По умолчанию: Откл. |
Пример (проверка кода):
polyspace-code-prover -sources |
Пример (сервер проверки кода):
polyspace-code-prover-server -sources |