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