Интерпретируйте результаты Code Prover в пользовательском интерфейсе рабочего стола Polyspace
Интерпретируйте сообщение деталей результата, найдите корень результата.
Анализ Code Prover после Красных и оранжевых проверок
Узнать, как операция, содержащая ошибку времени выполнения, влияет на верификацию последующего кода.
Переменные диапазоны в подсказках исходного кода после анализа Code Prover
Изучите, почему Code Prover сообщает об областях значений относительно переменных, и почему определенные диапазоны могут быть более узкими, чем ожидалось.
Оранжевые регистрации Polyspace Code Prover
Изучите, почему верификация не может доказать присутствие или отсутствие ошибки для определенных операций и почему необходимо рассмотреть операции.
Инструментальная панель в пользовательском интерфейсе рабочего стола Polyspace
Панель Инструментальной панели показывает обзор результатов Code Prover в графическом формате, например, распределении проверки на этапе выполнения цветом.
Список результатов в пользовательском интерфейсе рабочего стола Polyspace
Панель Списка Результатов перечисляет результаты Code Prover с атрибутами, такими как файл, функция и состояние анализа.
Исходный код в пользовательском интерфейсе рабочего стола Polyspace
Исходная панель показывает исходный код, наложенный результатами Code Prover.
Детали результата в пользовательском интерфейсе рабочего стола Polyspace
Панель Результата показывает детали определенного результата Code Prover наряду с информацией об анализе.
Вызовите иерархию в пользовательском интерфейсе рабочего стола Polyspace
Панель Иерархии Вызова показывает вызывающим сторонам и вызываемым функции.
Переменный доступ в пользовательском интерфейсе рабочего стола Polyspace
Переменный доступ к панели показывает все глобальные переменные наряду с операциями чтения и операциями записи на них.
Оранжевая Исходная панель показывает неограниченные источники, такие как энергозависимые переменные и заблокированные функции, которые могут вызвать несколько оранжевых проверок.
