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