-shared-variables-mode)Вычислите совместное использование глобальной переменной и использование, не запуская полный анализ
Эта опция влияет на анализ Code Prover только.
Эта опция не доступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Задайте эту опцию, чтобы запустить менее обширный анализ, который вычисляет совместное использование глобальной переменной и использование в вашем целом приложении. Анализ не проверяет ваш код для ошибок времени выполнения. Результаты анализа также включают нарушения стандартов кодирования, если вы позволяете кодировать проверку стандартов и метрики кода, если вы включаете метрический расчет кода.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification.
Командная строка и файл опций: Используйте опцию -shared-variables-mode. Смотрите информацию о командной строке.
Вы видите, что глобальная переменная совместно использует и использование, не запуская полный анализ вашего целого приложения, которое включает обнаружение ошибки времени выполнения. Обнаружение ошибки времени выполнения на целом приложении может занять много времени.
OnPolyspace® вычисляет совместное использование глобальной переменной и использование, но не проверяет ваш код для ошибок времени выполнения.
От (значения по умолчанию)Polyspace запускает полный анализ вашего кода, включая обнаружение ошибки времени выполнения.
Можно использовать эту опцию, только если программа содержит main функционируйте и вы включаете опции Verify whole application (неявно установите по умолчанию в командной строке).
Когда вы включаете эту опцию, необходимо также включить по крайней мере одну из этих опций.
Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) (Polyspace Code Prover)
Tasks (-entry-points) (Polyspace Code Prover)
Cyclic tasks (-cyclic-tasks) (Polyspace Code Prover)
Interrupts (-interrupts) (Polyspace Code Prover)
ARXML files selection (-autosar-multitasking) (Polyspace Code Prover)
OIL files selection (-osek-multitasking) (Polyspace Code Prover)
После того, как вы анализируете свое законченное приложение, чтобы видеть, что глобальная переменная совместно использует и использование, запускает компонент компонентом анализ Code Prover, чтобы обнаружить ошибки времени выполнения.
В десктопном решении вы видите все операции чтения и операции записи на глобальных переменных в Переменном доступе в Пользовательском интерфейсе Рабочего стола Polyspace (Polyspace Code Prover) панель.
В этом менее обширном аналитическом режиме анализ проверяет на большинство, но не все нарушения стандартов кодирования, и вычисляет больше всего, но не все метрики кода.
Параметр:
-shared-variables-mode |
| Значение по умолчанию: Off |
Пример (Code Prover):
Polyspace Code Prover - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |