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