-uncalled-function-checks)Обнаружьте функции, которые не вызваны прямо или косвенно от main или другая функция точки входа
Эта опция влияет на анализ Code Prover только.
Обнаружьте функции, которые не вызваны прямо или косвенно от main или другая точка входа функционирует во время времени выполнения.
Функция может быть не востребована из-за нескольких причин включая следующее:
Функция на самом деле не вызвана.
Сайт вызова происходит в мертвом коде.
Сайт вызова следует за красной проверкой. Смотрите, что Анализ Code Prover Следует за Красными и Оранжевыми Проверками.
Вызов происходит через указатель функции, и Polyspace не может определить, на какую функцию это указывает.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция находится на узле Check Behavior.
Командная строка и файл опций: Используйте опцию -uncalled-function-checks. Смотрите информацию о командной строке.
Как правило, после верификации, панель Dashboard в пользовательском интерфейсе Polyspace показывает функции, которые не вызываются во время верификации и поэтому не анализируются. Однако вы не видите их в своих результатах анализа или отчетах. Вы не можете прокомментировать их или выровнять по ширине их.
Если вы хотите видеть эти невостребованные функции в своих результатах анализа и отчетах, используйте эту опцию.
Значение по умолчанию: none
none Анализ Code Prover исключает проверки на невостребованные функции.
never-called Аналитические проверки Code Prover на функции, которые заданы, но не названы.
called-from-unreachable Аналитические проверки Code Prover на функции, которые заданы и названы от недостижимой части кода.
all Анализ Code Prover проверяет на функции, которые являются:
Заданный, но не названный
Заданный и названный от недостижимой части кода.
Параметр: -uncalled-function-checks |
Значение: none | never-called | called-from-unreachable | all |
Значение по умолчанию: none |
Пример (Code Prover): Polyspace Code Prover - источники |
Пример (Сервер Code Prover):
сервер программы автоматического доказательства полипробела кода - источники |