Show global variable sharing and usage only (-shared-variables-mode)

Вычислите совместное использование глобальной переменной и использование, не запуская полный анализ

Описание

Эта опция влияет на анализ Программы автоматического доказательства Кода только.

Задайте эту опцию, чтобы запустить менее обширный анализ, который вычисляет совместное использование глобальной переменной и использование в вашем целом приложении. Анализ не проверяет ваш код для ошибок времени выполнения. Результаты анализа также включают нарушения стандартов кодирования, если вы позволяете кодировать проверку стандартов и метрики кода, если вы включаете метрический расчет кода.

Установите опцию

Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Code Prover Verification.

Командная строка: Используйте опцию -shared-variables-mode. Смотрите информацию о командной строке.

Почему использование эта опция

Вы видите, что глобальная переменная совместно использует и использование, не запуская полный анализ вашего целого приложения, которое включает обнаружение ошибки времени выполнения. Обнаружение ошибки времени выполнения на целом приложении может занять много времени.

Настройки

На

Polyspace® вычисляет совместное использование глобальной переменной и использование, но не проверяет ваш код для ошибок времени выполнения.

От (значения по умолчанию)

Polyspace запускает полный анализ вашего кода, включая обнаружение ошибки времени выполнения.

Зависимости

Советы

  • После того, как вы анализируете свое законченное приложение, чтобы видеть, что глобальная переменная совместно использует и использование, запускает анализ Программы автоматического доказательства компонента компонентом Кода, чтобы обнаружить ошибки времени выполнения.

  • В десктопном решении вы видите все операции чтения и операции записи на глобальных переменных в Переменном доступе к панели.

  • В этом менее обширном аналитическом режиме анализ проверяет на большинство, но не все нарушения стандартов кодирования, и вычисляет больше всего, но не все метрики кода.

Информация о командной строке

Параметр: -shared-variables-mode
Значение по умолчанию: 'off'
Пример (Программа автоматического доказательства Кода): Polyspace Code Prover - источники file_name - режим совместно используемых переменных "включает обнаружение параллелизма"
Пример (Сервер Программы автоматического доказательства Кода): сервер программы автоматического доказательства полипробела кода - источники file_name - режим совместно используемых переменных "включает обнаружение параллелизма"

Введенный в R2019b