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