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