Просмотр и исправление проверок использования абсолютных адресов

Выполните один или несколько из следующих шагов до тех пор, пока вы не определите исправление для проверки Absolute address usage. Существует несколько способов исправить эту проверку. Для получения описания примеров проверки и кода смотрите Absolute address usage.

Совет

Этот чек по умолчанию зеленый. Чтобы уменьшить количество оранжевых проверок, если вы доверяете, что все абсолютные адреса в вашем коде действительны, можно сохранить это поведение по умолчанию.

Для наилучшего использования этой проверки оставьте этот чек зеленым по умолчанию на начальных этапах разработки. На этапе интегрирования используйте опцию -no-assumption-on-absolute-addresses и обнаружение всех применений абсолютных адресов памяти. Просмотрите их и убедитесь, что адреса действительны.

  1. Выберите проверку на панели Results List.

    На панели Source отображается операция кода, содержащая абсолютный адрес.

  2. Если вы определите, что адрес действителен, добавьте комментарий и обоснование в свой результат или код. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.