Exponenta Banner
exponenta event banner

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

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

Чтобы задать локальные допущения, используйте входные данные и опции stubbing. Например, можно ограничить диапазоны некоторых переменных из внешних источников, заглушить некоторые неточно проанализированные функции для более точного анализа или подавить нарушения правил кодирования из некоторых файлов. Допущения помогают сузить фокус вашего обзора до более значимых результатов анализа. Для глобальных предположений, применимых к определенной конструкции кода во всех файлах и функциях, используйте опции «Предположения проверки».

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

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

Constraint setup (-data-range-specifications)Ограничение глобальных переменных, входов функций и возвращаемых значений упорных функций
Ignore default initialization of global variables (-no-def-init-glob)Считать глобальные переменные неинициализированными, если они явно не инициализированы в коде
No STL stubs (-no-stl-stubs)Не использовать реализации функций Polyspace в библиотеке стандартных шаблонов
Functions to stub (-functions-to-stub)Укажите функции для заглушки во время анализа
Generate stubs for Embedded Coder lookup tables (-stub-embedded-coder-lookup-table-functions)Заглушка автоматически созданных функций, использующих таблицы подстановки и моделирующих их более точно
Libraries used (-library)Укажите библиотеки, используемые в программе
Generate results for sources and (-generate-results-for)Укажите файлы, для которых требуется получить результаты анализа
Do not generate results for (-do-not-generate-results-for)Укажите файлы, для которых не требуются результаты анализа

Темы

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

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

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

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

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

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

Предоставление контекста для проверки кода C

Узнайте, какой внешний контекст можно предоставить, чтобы сузить предположения проверки по умолчанию.

Предоставить контекст для проверки кода C++

Узнайте, какой внешний контекст можно предоставить, чтобы сузить предположения проверки по умолчанию.

Документация по программе проверки кода Polyspace

Поддержка