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