Выполните один или несколько из этих шагов, пока вы не определите фиксацию для проверки Absolute address usage. Существует несколько способов зафиксировать эту проверку. Для описания проверки и примеров кода, смотрите Absolute address usage
.
Эта проверка является зеленой по умолчанию. Чтобы сократить количество оранжевых проверок, если вы полагаете, что все абсолютные адреса в вашем коде допустимы, можно сохранить это поведение по умолчанию.
Для лучшего использования этой проверки оставьте эту проверку зеленой по умолчанию во время начальных стадий разработки. Во время этапа интегрирования используйте опцию -no-assumption-on-absolute-addresses
и обнаружьте все использование абсолютных адресов памяти. Просмотрите их и убедитесь, что адреса допустимы.
Выберите проверку на панели Results List.
Панель Source отображает операцию кода, содержащую абсолютный адрес.
Если вы решаете, что адрес допустим, добавьте комментарий и выравнивание в вашем результате или коде. Смотрите Результаты Polyspace Адреса Через Исправления ошибок или Комментарии.