-context-sensitivity)Сохраните контекстную информацию вызова, чтобы идентифицировать вызов функции, который вызвал ошибки
Эта опция влияет на анализ Программы автоматического доказательства Кода только.
Задайте функции, для которых верификация должна сохранить контекстную информацию вызова. Если функция вызвана многократно, использование этой опции помогает вам различать различные вызовы.
Пользовательский интерфейс (только десктопные решения): В вашей настройке проекта опция доступна на узле Precision.
Командная строка: Используйте опцию -context-sensitivity. Смотрите информацию о Командной строке.
Предположим, что функция вызвана дважды в вашем коде. Цвет проверки на каждой операции в теле функции является объединенным результатом обоих вызовов. Если вы хотите различать цвета в двух вызовах, используйте эту опцию.
Например, если функция содержит красную или оранжевую проверку и зеленую проверку на той же операции для двух различных вызовов, программное обеспечение комбинирует контексты и отображает оранжевую проверку на операции. Если вы используете эту опцию, можно идентифицировать цвет проверки на каждый вызов.
Для примера при использовании этой опции смотрите, Идентифицируют Вызов функции с Ошибкой времени выполнения.
Значение по умолчанию: none
none Программное обеспечение не хранит контекстную информацию вызова для функций.
auto Хранилища программного обеспечения вызывают контекстную информацию для регистраций:
Функции, которые формируют листы дерева вызова. Эти функции вызваны другими функциями, но не вызывают сами функции.
Небольшие функции. Программное обеспечение использует внутренний порог, чтобы определить, является ли функция небольшой.
customХранилища программного обеспечения вызывают контекстную информацию для функций, которые вы задаете. Чтобы ввести имя функции, щелкнуть
.
Параметр: -context-sensitivity |
Значение: |
Значение по умолчанию: none |
Пример (программа автоматического доказательства кода): |
Пример (сервер программы автоматического доказательства кода):
|
Чтобы позволить программному обеспечению определять, какие функции получают устройство хранения данных контекста вызова, используйте опцию -context-sensitivity-auto.