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® опции анализа в пользовательском интерфейсе Polyspace, других IDE-s или скриптах.

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

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

Внешние ограничения для анализа Polyspace

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

Документация Polyspace Bug Finder

Поддержка