Аналитические предположения средства поиска ошибки

Предположения используются во время анализа кода

Чтобы упростить процесс настройки, если ваши исходные файлы являются неполными и не содержат функцию main, Средство поиска Ошибки делает определенные предположения при анализе кода. Можно узнать об этих предположениях здесь.

Темы

Глобальные переменные в Polyspace Bug Finder

Узнать, как Bug Finder™ обрабатывает глобальные переменные во время анализа кода.

Входные параметры в Polyspace Bug Finder

Узнать, как Средство поиска Ошибки обрабатывает входные параметры во время анализа кода.