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