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