Exponenta Banner
exponenta event banner

Входы и упрямство

Определение диапазонов для глобальных переменных и функций

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

Параметры анализа

развернуть все

Constraint setup (-data-range-specifications)Ограничение глобальных переменных, входов функций и возвращаемых значений упорных функций
Functions to stub (-functions-to-stub)Укажите функции для заглушки во время анализа
No STL stubs (-no-stl-stubs)Не использовать реализации функций Polyspace в библиотеке стандартных шаблонов
Libraries used (-library)Укажите библиотеки, используемые в программе
Generate results for sources and (-generate-results-for)Укажите файлы, для которых требуется получить результаты анализа
Do not generate results for (-do-not-generate-results-for)Укажите файлы, для которых не требуются результаты анализа

Темы

Задать параметры анализа в пространстве

Задайте параметры анализа Polyspace ® в интерфейсе пользователя Polyspace, других среде IDE или сценариях.

Задать внешние ограничения

Ограничение диапазонов переменных и спецификаций указателей для более точного анализа.

Внешние ограничения для анализа в пространстве

Найдите ограничения, которые можно применить к глобальным переменным, входам функций и упрямым функциям.

Документация для поиска ошибок Polyspace

Поддержка