Чтобы упростить процесс настройки, если ваши исходные файлы неполны и не содержат main функция, Polyspace® Bug Finder™ делает определенные предположения при анализе вашего кода. Узнать об этих предположениях можно здесь.
Глобальные переменные в Polyspace Bug Finder
Узнайте, как Bug Finder обрабатывает глобальные переменные во время анализа кода.
Узнайте, как Bug Finder обрабатывает входы во время анализа кода.
Волатильные переменные в Polyspace Bug Finder
Узнайте, как Bug Finder обрабатывает изменчивые переменные во время анализа кода.
