polyspace.ModelLinkOptions Properties

Настройте анализ Polyspace сгенерированного кода со свойствами объекта опции

Чтобы настроить свой Polyspace® анализ сгенерированного кода, измените polyspace.ModelLinkOptions свойства объекта. Каждое свойство соответствует опции анализа на панели Configuration в пользовательском интерфейсе Polyspace.

Свойства сгруппированы с использованием тех же категорий, что и панель Configuration. На этой странице показаны только значения, которые может иметь каждое свойство. Для получения дополнительной информации о:

Каждое описание свойства ниже также подчеркивает, влияет ли опция только на один из Bug Finder или Code Prover.

Примечание

Некоторые опции могут быть недоступны в зависимости от языковой настройки объекта. Можно задать язык исходного кода (Language) к 'C', 'CPP' или 'C-CPP' во время создания объекта, но не может изменить его позже.

Расширенный

расширить все

Дополнительные флаги для анализа, заданные как вектор символов.

Для получения дополнительной информации см. Other.

Пример: opts.Advanced.Additional = '-extra-flags -option -extra-flags value'

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

Для получения дополнительной информации см. Command/script to apply after the end of the code verification (-post-analysis-command).

Пример: opts.Advanced.PostAnalysisCommand = '"C:\Program Files\perl\win32\bin\perl.exe" "C:\My_Scripts\send_email"'

Это свойство влияний только Код анализ Prover.

Это свойство будет удалено в следующем релизе.

Запустите автоматический оранжевый тестер после верификации true или false.

Для получения дополнительной информации см. Automatic Orange Tester (-automatic-orange-tester) (Polyspace Code Prover).

Пример: opts.Advanced.AutomaticOrangeTester = true

Это свойство влияний только Код анализ Prover.

Это свойство будет удалено в следующем релизе.

Количество итераций цикла, после которых Automatic Orange Tester рассматривает тест как бесконечный цикл, заданный как положительное целое число, максимум 1000.

Для получения дополнительной информации см. Maximum loop iterations (-automatic-orange-tester-loop-max-iteration) (Polyspace Code Prover).

Пример: opts.Advanced.AutomaticOrangeTesterLoopMaxIteration = 500

Это свойство влияний только Код анализ Prover.

Это свойство будет удалено в следующем релизе.

Количество тестов, которые должен запустить автоматический оранжевый тестер, заданное в виде положительного целого числа, максимум 100 000.

Для получения дополнительной информации см. Number of automatic tests (-automatic-orange-tester-tests-number) (Polyspace Code Prover).

Пример: opts.Advanced.AutomaticOrangeTesterTestsNumber = 1000

Это свойство влияний только Код анализ Prover.

Это свойство будет удалено в следующем релизе.

Время в секундах, допустимое для одного теста в автоматическом оранжевом тестере, заданное в виде положительного целого числа, максимум 60.

Для получения дополнительной информации см. Maximum test time (-automatic-orange-tester-timeout) (Polyspace Code Prover).

Пример: opts.Advanced.AutomaticOrangeTesterTimeout = 10

BugFinderAnalysis (влияет только на Bug Finder)

расширить все

Это свойство влияет только на анализ Bug Finder.

Список пользовательских шашек для активации, заданный с помощью имени a polyspace.DefectsOptions объект или массив ячеек с аббревиатурами дефектов. Чтобы использовать этот пользовательский список в анализе, задайте CheckersPreset на custom.

Для получения дополнительной информации смотрите polyspace.DefectsOptions.

Пример: defects = polyspace.DefectsOptions; opts.BugFinderAnalysis.CheckersList = defects

Пример: opts.BugFinderAnalysis.CheckersList = {'INT_ZERO_DIV','FLOAT_ZERO_DIV'}

Это свойство влияет только на анализ Bug Finder.

Предустановленный список шашек, заданный как вектор символов одной из предустановленных опций: 'default', 'all', 'CWE', или 'custom'. Как использовать 'custom', задайте значение для свойства BugFinderAnalysis.CheckersList.

Для получения дополнительной информации см. Find defects (-checkers).

Пример: opts.BugFinderAnalysis.CheckersPreset = 'all'

Это свойство влияет только на анализ Bug Finder.

Активируйте более строгие проверки, которые учитывают все возможные значения для:

  • Глобальные переменные.

  • Чтения изменчивых переменных.

  • Возвраты упрямых функций.

  • Входные параметры функций, заданные с помощью SystemInputsFrom.

Анализ рассматривает все возможные значения для подмножества Numerical и Static memory дефектов.

Это свойство эквивалентно флажку Run stricter checks considering all values of system inputs в интерфейсе Polyspace.

Для получения дополнительной информации смотрите Run stricter checks considering all values of system inputs (-checks-using-system-input-values)

Пример: opts.BugFinderAnalysis.ChecksUsingSystemInputValues = true

Это свойство влияет только на анализ Bug Finder.

Активируйте проверку дефекта, заданную как true или false. Установка значения false для этого свойства отключает все дефекты. Если вы хотите отключить проверку дефектов, но все же получите результаты, включите проверку правил кодирования или проверку метрики кода.

Это свойство эквивалентно флажку Find defects в интерфейсе Polyspace.

Пример: opts.BugFinderAnalysis.EnableCheckers = false

Это свойство влияет только на анализ Bug Finder.

Функции, для которых вы хотите запустить более строгие проверки, которые учитывают все возможные значения входных параметров функции. Задайте список функций следующим 'auto', 'uncalled', 'all', или как символьный массив, начинающийся с custom= далее следует список , разделенный запятыми имен функции.

Чтобы включить эту опцию, установите BugFinderAnalysis.ChecksUsingSystemInputValues = true.

Для получения дополнительной информации смотрите Consider inputs to these functions (-system-inputs-from)

Пример: opts.BugFinderAnalysis.SystemInputsFrom = 'custom=foo,bar'

ChecksAssumption (только для Влияний Code Prover)

расширить все

Это свойство влияний только Код анализ Prover.

Разрешить операции сдвига влево для отрицательного числа, заданного как true или false.

Для получения дополнительной информации см. Allow negative operand for left shifts (-allow-negative-operand-in-shift) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.AllowNegativeOperandInShift = true

Это свойство влияний только Код анализ Prover.

Включите бесконечности и/или NaNs, заданные как true или false.

Для получения дополнительной информации см. Consider non finite floats (-allow-non-finite-floats) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.AllowNonFiniteFloats = true

Это свойство влияний только Код анализ Prover.

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

Для получения дополнительной информации см. Enable pointer arithmetic across fields (-allow-ptr-arith-on-struct) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.AllowPtrArithOnStruct = true

Это свойство влияний только Код анализ Prover.

Обнаружение операций с плавающей точкой, которые приводят к бесконечности.

Чтобы активировать эту опцию, задайте ChecksAssumption.AllowNonFiniteFloats.

Для получения дополнительной информации смотрите Infinities (-check-infinite) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.CheckInfinite = 'forbid'

Это свойство влияний только Код анализ Prover.

Обнаружение операций с плавающей точкой, которые приводят к NaN-s.

Чтобы активировать эту опцию, задайте ChecksAssumption.AllowNonFiniteFloats.

Для получения дополнительной информации смотрите NaNs (-check-nan) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.CheckNan = 'forbid'

Это свойство влияний только Код анализ Prover.

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

Для получения дополнительной информации см. Subnormal detection mode (-check-subnormal) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.CheckSubnormal = 'forbid'

Это свойство влияний только Код анализ Prover.

Найдите случаи, когда функция возвращает указатель на одну из своих локальных переменных, заданный как true или false.

Для получения дополнительной информации см. Detect stack pointer dereference outside scope (-detect-pointer-escape) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.DetectPointerEscape = true

Это свойство влияний только Код анализ Prover.

Отключите проверки для неинициализированных переменных и указателей, заданные как true или false.

Для получения дополнительной информации см. Disable checks for non-initialization (-disable-initialization-checks) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.DisableInitializationChecks = true

Это свойство влияний только Код анализ Prover.

Разрешить несоответствие типов между указателями на функцию и функциями, на которые они указывают, заданные как true или false.

Для получения дополнительной информации см. Permissive function pointer calls (-permissive-function-pointer) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.PermissiveFunctionPointer = true

Это свойство влияний только Код анализ Prover.

Включите проверку на наличие целочисленного переполнения со знаком и допущения, следующие за переполнением, заданным как 'forbid', 'allow', или 'warn-with-wrap-around'.

Для получения дополнительной информации смотрите Overflow mode for signed integer (-signed-integer-overflows) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.SignedIntegerOverflows = 'warn-with-wrap-around'

Это свойство влияний только Код анализ Prover.

Разрешить указателю с недостаточным буфером памяти указывать на структуру, заданную как true или false.

Для получения дополнительной информации см. Allow incomplete or partial allocation of structures (-size-in-bytes) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.SizeInBytes = true

Это свойство влияний только Код анализ Prover.

Обнаружите функции, которые не вызываются прямо или косвенно из основной или другой функции точки входа, заданной как 'none', 'never-called', 'called-from-unreachable', или 'all'.

Для получения дополнительной информации см. Detect uncalled functions (-uncalled-function-checks) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.UncalledFunctionCheck = 'all'

Это свойство влияний только Код анализ Prover.

Включите проверку беззнаковых целочисленного переполнения и допущения, которые необходимо сделать после переполнения, заданные как 'forbid', 'allow', или 'warn-with-wrap-around'.

Для получения дополнительной информации смотрите Overflow mode for unsigned integer (-unsigned-integer-overflows) (Polyspace Code Prover).

Пример: opts.ChecksAssumption.UnsignedIntegerOverflows = 'allow'

CodeProverVerification (только Влияния Кода Prover)

расширить все

Это свойство влияний только Код анализ Prover.

Классы, которые вы хотите проверить, заданные как 'all', 'none', или как символьный массив, начинающийся с custom= за которым следует список , разделенный запятыми имен классов.

Для получения дополнительной информации см. Class (-class-analyzer) (Polyspace Code Prover).

Пример: opts.CodeProverVerification.ClassAnalyzer = 'none'

Это свойство влияний только Код анализ Prover.

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

Для получения дополнительной информации см. Termination functions (-functions-called-after-loop).

Пример: opts.CodeProverVerification.FunctionsCalledAfterLoop = {'func1','func2'}

Это свойство влияний только Код анализ Prover.

Моделируйте только ссылку. Функции, которые сгенерированный магистраль должен вызвать перед циклическим циклом кода, заданным как массив ячеек с именами функции.

Для получения дополнительной информации см. Initialization functions (-functions-called-before-loop)).

Пример: opts.CodeProverVerification.FunctionsCalledBeforeLoop = {'func1','func2'}

Это свойство влияний только Код анализ Prover.

Функции, которые сгенерированный магистраль должен вызвать в циклическом цикле кода, заданные как 'none', 'all', или как символьный массив, начинающийся с custom= далее следует разделенный запятыми список имен функции.

Для получения дополнительной информации см. Step functions (-functions-called-in-loop).

Пример: opts.CodeProverVerification.FunctionsCalledInLoop = 'all'

Это свойство влияний только Код анализ Prover.

Сгенерируйте основную функцию, если она не присутствует в исходных файлах, заданных как true или false.

Для получения дополнительной информации см. Verify module or library (-main-generator).

Пример: opts.CodeProverVerification.MainGenerator = false

Это свойство влияний только Код анализ Prover.

Переменные, которые сгенерированный основной код должен инициализировать перед циклическим циклом кода, заданные как 'none', 'all', или как символьный массив, начинающийся с custom= за которым следует список , разделенный запятыми имен переменных.

Для получения дополнительной информации см. Parameters (-variables-written-before-loop).

Пример: opts.CodeProverVerification.VariablesWrittenBeforeLoop = 'all'

Это свойство влияний только Код анализ Prover.

Переменные, которые сгенерированный основной код должен инициализировать в циклическом цикле кода, заданные как 'none', 'all', или как символьный массив, начинающийся с custom= за которым следует список , разделенный запятыми имен переменных.

Для получения дополнительной информации см. Inputs (-variables-written-in-loop).

Пример: opts.CodeProverVerification.VariablesWrittenInLoop = 'all'

CodingRulesCodeMetrics

расширить все

Подмножество правил АРУ переменного тока MISRA для проверки, заданное:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA AC AGC (-misra-ac-agc).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила MISRA AC AGC, также установите EnableAcAgc к true.

Пример: opts.CodingRulesCodeMetrics.AcAgcSubset = 'all-rules'

Типы данных: char

Директивы Pragma, для которых MISRA C:2004 правилом 3.4 или MISRA C++ 16-6-1, не должны применяться, заданные как массив ячеек из векторов символов. Это свойство влияет только на C:2004 MISRA или проверку правил MISRA AC AGC.

Для получения дополнительной информации см. Allowed pragmas (-allowed-pragmas).

Пример: opts.CodingRulesCodeMetrics.AllowedPragmas = {'pragma_01','pragma_02'}

Типы данных: cell

Это свойство влияет только на Bug Finder.

Набор проверяемых правил AUTOSAR C++ 14, заданный:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check AUTOSAR C++ 14 security checks (-autosar-cpp14).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила AUTOSAR C++ 14, также установите EnableAutosarCpp14 к true.

Пример: opts.CodingRulesCodeMetrics.AutosarCpp14 = 'all'

Типы данных: char

Типы данных, которые проверка правил кодирования должна обрабатывать так же эффективно, Boolean, заданный как массив ячеек из векторов символов.

Для получения дополнительной информации см. Effective boolean types (-boolean-types).

Пример: opts.CodingRulesCodeMetrics.BooleanTypes = {'boolean1_t','boolean2_t'}

Типы данных: cell

Это свойство влияет только на Bug Finder.

Набор правил и рекомендаций CERT C для проверки, заданный:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check CERT-C security checks (-cert-c).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование from-file для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила и рекомендации CERT C, также установите EnableCertC к true.

Пример: opts.CodingRulesCodeMetrics.CertC = 'all'

Типы данных: char

Это свойство влияет только на Bug Finder.

Набор проверяемых правил CERT C++, заданный:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check CERT-C++ security checks (-cert-cpp).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила CERT C++, также установите EnableCertCpp к true.

Пример: opts.CodingRulesCodeMetrics.CertCpp = 'all'

Типы данных: char

Файл, в котором вы задаете пользовательский набор проверяемых шашек стандартов кодирования, заданный как .xml файл. Можно в том же файле задать пользовательский набор шашек для каждого из стандартов кодирования, поддерживаемых Polyspace. Чтобы создать файл, который определяет пользовательский выбор стандартных шашек кодирования, в интерфейсе Polyspace выберите стандарт кодирования в Coding Standards & Code Metrics узле панели Configuration и нажмите Edit.

Для получения дополнительной информации см. Set checkers by file (-checkers-selection-file).

Пример: opts.CodingRulesCodeMetrics.CheckersSelectionByFile = 'C:\ps_settings\coding_rules\custom_rules.xml'

Типы данных: char

Активируйте вычисления метрики кода, заданные как true или false. Если это свойство отключено, Polyspace не вычисляет метрики кода, даже если вы загружаете свои результаты в Polyspace Metrics.

Для получения дополнительной информации о метриках кода см. Calculate code metrics (-code-metrics).

Если вы присваиваете опции объекта правил кодирования этому свойству, XML- файл создается автоматически с заданными правилами.

Пример: opts.CodingRulesCodeMetrics.CodeMetrics = true

Проверьте правила MISRA AC AGC, заданные как true или false. Чтобы настроить проверяемые правила, используйте AcAgcSubset.

Для получения дополнительной информации о MISRA AC AGC checker, см. Check MISRA AC AGC (-misra-ac-agc).

Пример: opts.CodingRulesCodeMetrics.EnableAcAgc = true;

Это свойство влияет только на Bug Finder.

Проверьте правила AUTOSAR C++ 14 как true или false. Чтобы настроить проверяемые правила, используйте AutosarCpp14.

Для получения дополнительной информации о шашке AUTOSAR C++ 14, смотрите Check AUTOSAR C++ 14 security checks (-autosar-cpp14).

Пример: opts.CodingRulesCodeMetrics.EnableAutosarCpp14 = true;

Это свойство влияет только на Bug Finder.

Проверьте правила и рекомендации CERT C как true или false. Чтобы настроить проверяемые правила, используйте CertC.

Для получения дополнительной информации о средстве проверки CERT C см. раздел Check CERT-C security checks (-cert-c).

Пример: opts.CodingRulesCodeMetrics.EnableCertC = true;

Это свойство влияет только на Bug Finder.

Проверьте правила CERT C++ как true или false. Чтобы настроить проверяемые правила, используйте CertCpp.

Для получения дополнительной информации о шашке CERT C++ смотрите Check CERT-C++ security checks (-cert-cpp).

Пример: opts.CodingRulesCodeMetrics.EnableCertCpp = true;

Проверяйте пользовательский набор стандартных шашек кодирования как true или false. Использование с CheckersSelectionByFile и эти стандарты кодирования:

  • opts.CodingRulesCodeMetrics.AutosarCpp14='from-file'

  • opts.CodingRulesCodeMetrics.CertC='from-file'

  • opts.CodingRulesCodeMetrics.CertCpp='from-file'

  • opts.CodingRulesCodeMetrics.Iso17961='from-file'

  • opts.CodingRulesCodeMetrics.JsfSubset='from-file'

  • opts.CodingRulesCodeMetrics.MisraC3Subset='from-file'

  • opts.CodingRulesCodeMetrics.MisraCSubset='from-file'

  • opts.CodingRulesCodeMetrics.MisraCppSubset='from-file'

Для получения дополнительной информации см. Check custom rules (-custom-rules).

Пример: opts.CodingRulesCodeMetrics.EnableCheckersSelectionByFile = true;

Проверьте пользовательские правила кодирования как true или false. Файл, с которым вы задаете CheckersSelectionByFile определяет пользовательские правила кодирования.

Использование с EnableCheckersSelectionByFile.

Для получения дополнительной информации см. Check custom rules (-custom-rules).

Пример: opts.CodingRulesCodeMetrics.EnableCustomRules = true;

Это свойство влияет только на Bug Finder.

Проверяйте ISO®/ Правила IEC TS 17961, заданные как true или false. Чтобы настроить проверяемые правила, используйте Iso17961.

Для получения дополнительной информации о средстве проверки ISO-17961 см. Check ISO-17961 security checks (-iso-17961).

Пример: opts.CodingRulesCodeMetrics.EnableIso17961 = true;

Проверяйте правила JSF C++, заданные как true или false. Чтобы настроить проверяемые правила, используйте JsfSubset.

Для получения дополнительной информации см. Check JSF C++ rules (-jsf-coding-rules).

Пример: opts.CodingRulesCodeMetrics.EnableJsf = true;

Проверяйте правила C:2004 MISRA как true или false. Чтобы настроить проверяемые правила, используйте MisraCSubset.

Для получения дополнительной информации см. Check MISRA C:2004 (-misra2).

Пример: opts.CodingRulesCodeMetrics.EnableMisraC = true;

Проверяйте правила C:2012 MISRA как true или false. Чтобы настроить проверяемые правила, используйте MisraC3Subset.

Для получения дополнительной информации о шашке C:2012 MISRA см. Check MISRA C:2012 (-misra3).

Пример: opts.CodingRulesCodeMetrics.EnableMisraC3 = true;

Проверяйте правила MISRA C++: 2008 как true или false. Чтобы настроить проверяемые правила, используйте MisraCppSubset.

Для получения дополнительной информации о MISRA C++: 2008 checker, смотритеCheck MISRA C++ rules (-misra-cpp).

Пример: opts.CodingRulesCodeMetrics.EnableMisraCpp = true;

Это свойство влияет только на Bug Finder.

Набор правил ISO/IEC TS 17961 для проверки, заданный:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check ISO-17961 security checks (-iso-17961).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила ISO/IEC TS 17961, также установите EnableIso17961 к true.

Пример: opts.CodingRulesCodeMetrics.Iso17961 = 'all'

Типы данных: char

Подмножество проверяемых правил JSF C++, заданное как:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check JSF C++ rules (-jsf-coding-rules).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила JSF C++, установите EnableJsf к true.

Пример: opts.CodingRulesCodeMetrics.JsfSubset = 'all-rules'

Типы данных: char

Используйте категории C:2012 MISRA для автоматически сгенерированного кода, заданные как true или false.

Для получения дополнительной информации см. Use generated code requirements (-misra3-agc-mode).

Пример: opts.CodingRulesCodeMetrics.Misra3AgcMode = true;

Подмножество C:2012 правил MISRA для проверки, заданное:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA C:2012 (-misra3).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила C:2012 MISRA, также установите EnableMisraC3 к true.

Пример: opts.CodingRulesCodeMetrics.MisraC3Subset = 'all'

Типы данных: char

Подмножество C:2004 правил MISRA для проверки, заданное:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA C:2004 (-misra2).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила C:2004 MISRA, также установите EnableMisraC к true.

Пример: opts.CodingRulesCodeMetrics.MisraCSubset = 'all-rules'

Типы данных: char

Подмножество правил MISRA C++: 2008 для проверки, заданное:

  • Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA C++ rules (-misra-cpp).

  • Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions.

  • XML- файл, задающий стандартные шашки кодирования. Использование 'from-file' для этого свойства, а затем используйте EnableCheckersSelectionByFile и CheckersSelectionByFile свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.

    Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.

Чтобы проверить правила MISRA C++, установите EnableMisraCpp к true.

Пример: opts.CodingRulesCodeMetrics.MisraCppSubset = 'all-rules'

Типы данных: char

EnvironmentSettings

расширить все

Примите во внимание, что пути к файлам имеют стиль MS-DOS, заданный как true или false.

Для получения дополнительной информации см. Code from DOS or Windows file system (-dos).

Пример: opts.EnvironmentSettings.Dos = true;

Включите папки, необходимые для компиляции, заданные как массив ячеек из путей к папкам включения.

Чтобы задать все подпапки папки, используйте путь к папке с последующим **, для образца, 'C:\includes\**'. Это обозначение соответствует синтаксису dir функция. См. также раздел «Задание нескольких исходных файлов».

Для получения дополнительной информации см. -I.

Пример: opts.EnvironmentSettings.IncludeFolders = {'/includes','/com1/inc'};

Пример: opts.EnvironmentSettings.IncludeFolders = {'C:\project1\common\includes'};

Типы данных: cell

Файлы, которые будут #include-дается каждым исходным файлом C в анализе, задается массивом ячеек из файлов.

Для получения дополнительной информации см. Include (-include).

Пример: opts.EnvironmentSettings.Includes = {'/inc/inc_file.h','/inc/inc_math.h'}

Игнорируйте ошибки связи внутри внешних блоков, заданные как true или false.

Для получения дополнительной информации см. Ignore link errors (-no-extern-c).

Пример: opts.EnvironmentSettings.NoExternC = false;

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

Для получения дополнительной информации см. Command/script to apply to preprocessed files (-post-preprocessing-command).

Пример: Linux - opts.EnvironmentSettings.PostPreProcessingCommand = [pwd,'/replace_keyword.pl']

Пример: Windows - opts.EnvironmentSettings.PostPreProcessingCommand = '"C:\Program Files\MATLAB\R2015b\sys\perl\win32\bin\perl.exe" "C:\My_Scripts\replace_keyword.pl"'

Остановите анализ, если файл не компилируется, заданный как true или false.

Для получения дополнительной информации см. Stop analysis if a file does not compile (-stop-if-compile-error).

Пример: opts.EnvironmentSettings.StopWithCompileError = true;

InputsStubbing

расширить все

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

Для получения дополнительной информации об этой опции см. Constraint setup (-data-range-specifications).

Пример: opts.InputsStubbing.DataRangeSpecifications = 'C:\project\constraint_file.xml'

Файлы, на которых вы не хотите результаты анализа, заданные 'include-folders', 'all-headers', или символьный массив, начинающийся с custom= далее следует разделенный списками , разделенными запятыми имен файлов или папок.

Используйте эту опцию с InputsStubbing.GenerateResultsFor. Для получения дополнительной информации см. Do not generate results for (-do-not-generate-results-for).

Пример: opts.InputsStubbing.DoNotGenerateResultsFor = 'custom=C:\project\file1.c,C:\project\file2.c'

Файлы, на которых вы хотите результаты анализа, заданные 'source-headers', 'all-headers', или символьный массив, начинающийся с custom= далее следует разделенный списками , разделенными запятыми имен файлов или папок.

Используйте эту опцию с InputsStubbing.DoNotGenerateResultsFor. Для получения дополнительной информации см. Generate results for sources and (-generate-results-for).

Пример: opts.InputsStubbing.GenerateResultsFor = 'custom=C:\project\includes_common_1,C:\project\includes_common_2'

Это свойство влияний только Код анализ Prover.

Функции, заглушенные во время анализа, заданные как массив ячеек с именами функции.

Для получения дополнительной информации см. Functions to stub (-functions-to-stub) (Polyspace Code Prover).

Пример: opts.InputsStubbing.FunctionsToStub = {'func1', 'func2'}

Это свойство влияний только Код анализ Prover.

Считайте глобальные переменные неинициализированными, заданными как true или false.

Для получения дополнительной информации см. Ignore default initialization of global variables (-no-def-init-glob) (Polyspace Code Prover).

Пример: opts.InputsStubbing.NoDefInitGlob = true

Это свойство применяется только к анализу кода Code Prover кода С++.

Не используйте реализации функций Polyspace в стандартной библиотеке шаблонов, заданные как true или false.

Для получения дополнительной информации см. No STL stubs (-no-stl-stubs) (Polyspace Code Prover).

Пример: opts.InputsStubbing.NoStlStubs = true

Это свойство применяется только к анализу кода Code Prover, сгенерированного из моделей.

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

Для получения дополнительной информации см. Generate stubs for Embedded Coder lookup tables (-stub-embedded-coder-lookup-table-functions) (Polyspace Code Prover).

Пример: opts.InputsStubbing.StubECoderLookupTables = true

Макрос

расширить все

В предварительно обработанном коде макросы заменяются определением, заданным в массиве ячеек из макросов и определений. Задайте макрос следующим Macro=Value. Если вы хотите, чтобы Polyspace игнорировал макрос, оставьте Value пусто. Макрос без знака равенства заменяет все образцы этого макроса на 1.

Для получения дополнительной информации см. Preprocessor definitions (-D).

Пример: opts.Macros.DefinedMacros = {'uint32=int','name3=','var'}

В предварительно обработанном коде макросы не определены, заданы массивом ячеек макросов, которые не определяются.

Для получения дополнительной информации см. Disabled preprocessor definitions (-U).

Пример: opts.Macros.DefinedMacros = {'name1','name2'}

MergedComputingSettings

расширить все

Это свойство влияет только на анализ Bug Finder.

Загрузите результаты анализа Bug Finder на веб-панель инструментов Polyspace Metrics, заданную как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.

Для получения дополнительной информации см. Upload results to Polyspace Metrics (-add-to-results-repository).

Пример: opts.MergedComputingSettings.AddToResultsRepositoryBugFinder = true;

Это свойство влияний только Код анализ Prover.

Загрузите результаты анализа Code Prover на веб-панель инструментов Polyspace Metrics, заданную как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.

Для получения дополнительной информации см. Upload results to Polyspace Metrics (-add-to-results-repository) (Polyspace Code Prover).

Пример: opts.MergedComputingSettings.AddToResultsRepositoryCodeProver = true;

Это свойство влияет только на анализ Bug Finder.

Отправьте анализ Bug Finder на удаленный сервер, заданный как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.

Для получения дополнительной информации см. Run Bug Finder or Code Prover analysis on a remote cluster (-batch).

Пример: opts.MergedComputingSettings.BatchBugFinder = true;

Это свойство влияний только Код анализ Prover.

Отправьте анализ Code Prover на удаленный сервер, заданный как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.

Для получения дополнительной информации см. Run Bug Finder or Code Prover analysis on a remote cluster (-batch) (Polyspace Code Prover).

Пример: opts.MergedComputingSettings.BatchCodeProver = true;

Это свойство влияет только на анализ Bug Finder.

Используйте быстрый режим анализа для анализа Bug Finder, заданный как true или false.

Для получения дополнительной информации см. Use fast analysis mode for Bug Finder (-fast-analysis).

Пример: opts.MergedComputingSettings.FastAnalysis = true;

MergedReporting

расширить все

После анализа сгенерируйте отчет, заданный как true или false.

Для получения дополнительной информации см. Generate report.

Пример: opts.MergedReporting.EnableReportGeneration = true

Выход сгенерированного отчета, заданный как один из форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration.

Для получения дополнительной информации о различных значениях см. Output format (-report-output-format).

Пример: opts.MergedReporting.ReportOutputFormat = 'PDF'

Это свойство влияет только на анализ Bug Finder.

Шаблон для генерации отчета анализа, заданный как один из форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration.

Для получения дополнительной информации о различных значениях см. Bug Finder and Code Prover report (-report-template).

Пример: opts.MergedReporting.BugFinderReportTemplate = 'CodeMetrics'

Это свойство влияет только на анализ Code Prover.

Шаблон для генерации отчета анализа, заданный как один из предопределенных форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration.

Для получения дополнительной информации о различных значениях см. Bug Finder and Code Prover report (-report-template) (Polyspace Code Prover).

Пример: opts.MergedReporting.CodeProverReportTemplate = 'CodeMetrics'

Многозадачность

расширить все

Укажите путь к файлам ARXML, которые анализирует программное обеспечение, чтобы настроить строение многозадачности.

Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking и установите Multitasking.ExternalMultitaskingType на autosar.

Для получения дополнительной информации смотрите ARXML files selection (-autosar-multitasking)

Пример: opts.Multitasking.ArxmlMultitasking={'C:\Polyspace_Workspace\AUTOSAR\myFile.arxml'}

Функции, которые начинают критические сечения, заданные как массив ячеек критических имен функции сечения. Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking и Multitasking.CriticalSectionEnd.

Для получения дополнительной информации смотрите Critical section details (-critical-section-begin -critical-section-end).

Пример: opts.Multitasking.CriticalSectionBegin = {'function1:cs1','function2:cs2'}

Функции, которые заканчивают критические сечения, заданные как массив ячеек критических имен функции сечения. Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking и Multitasking.CriticalSectionBegin.

Для получения дополнительной информации смотрите Critical section details (-critical-section-begin -critical-section-end).

Пример: opts.Multitasking.CriticalSectionEnd = {'function1:cs1','function2:cs2'}

Задайте функции, которые представляют циклические задачи.

Чтобы активировать эту опцию, также задайте Multitasking.EnableMultitasking.

Для получения дополнительной информации смотрите Cyclic tasks (-cyclic-tasks).

Пример: opts.Multitasking.CyclicTasks = {'function1','function2'}

Это свойство влияний только Код анализ Prover.

Включите автоматическое обнаружение определенных семейств функций многопоточности, заданных как true или false.

Для получения дополнительной информации смотрите Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) (Polyspace Code Prover).

Пример: opts.Multitasking.EnableConcurrencyDetection = true

Включите многозадачное строение проектов из предоставленных вами внешних файлов. Настройте многозадачность из файлов ARXML для проекта AUTOSAR или из файлов OIL для проекта OSEK.

Активируйте эту опцию, чтобы включить Multitasking.ArxmlMultitasking или Multitasking.OsekMultitasking.

Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking) и ARXML files selection (-autosar-multitasking).

Пример: opts.Multitasking.EnableExternalMultitasking = 1

Сконфигурируйте многозадачность вручную путем определения true. Это свойство активирует другие ручные многозадачные свойства.

Для получения дополнительной информации смотрите Configure multitasking manually.

Пример: opts.Multitasking.EnableMultitasking = 1

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

Для получения дополнительной информации смотрите Tasks (-entry-points).

Пример: opts.Multitasking.EntryPoints = {'function1','function2'}

Укажите тип файла, который анализирует программное обеспечение, чтобы настроить строение многозадачности:

  • Для osek введите, анализ ищет файлы OIL в указанном файле или путях папки.

  • Для autosar введите, анализ ищет файлы ARXML в заданных вами путях файлов.

Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking.

Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking) и ARXML files selection (-autosar-multitasking).

Пример: opts.Multitasking.ExternalMultitaskingType = 'autosar'

Задайте функции, которые представляют непередаваемые прерывания.

Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking.

Для получения дополнительной информации смотрите Interrupts (-interrupts).

Пример: opts.Multitasking.Interrupts = {'function1','function2'}

Это свойство влияет только на анализ Bug Finder.

Задайте функцию, которая отключает все прерывания.

Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking.

Для получения дополнительной информации смотрите Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts).

Пример: opts.Multitasking.InterruptsDisableAll = {'function'}

Это свойство влияет только на анализ Bug Finder.

Задайте функцию, которая снова включает все прерывания.

Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking.

Для получения дополнительной информации смотрите Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts).

Пример: opts.Multitasking.InterruptsEnableAll = {'function'}

Укажите путь к файлам OIL, которые анализирует программное обеспечение, чтобы настроить строение многозадачности:

  • В режиме, заданном как 'auto', анализ использует файлы OIL в источнике вашего проекта и включает папки, но не их подпапки.

  • В режиме, заданном как 'custom = folder1[,folder2,...]'анализ использует файлы OIL в заданном пути и подпапки пути.

Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking и установите Multitasking.ExternalMultitaskingType на osek.

Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking)

Пример: opts.Multitasking.OsekMultitasking = 'custom=file_path, dir_path'

Функции точки входа, которые не могут выполняться одновременно, заданные как массив ячеек с именами функции точки входа. Каждый набор эксклюзивных задач является одной записью массива ячеек с функциями, разделенными пространствами. Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking.

Для получения дополнительной информации смотрите Temporally exclusive tasks (-temporal-exclusions-file).

Пример: opts.Multitasking.TemporalExclusion = {'function1 function2', 'function3 function4 function5'} где функция 1 и функция 2 являются временными исключительными, а функция 3, функция 4 и функция 5 являются временными исключительными.

Точность (только Влияния Кода Prover)

расширить все

Это свойство влияний только Код анализ Prover.

Сохраните информацию о контексте вызова, чтобы идентифицировать вызов функции, который вызвал ошибки, заданный как none, auto, или как символьный массив, начинающийся с custom= далее следует список имен функции, разделенных запятыми.

Для получения дополнительной информации см. Sensitivity context (-context-sensitivity) (Polyspace Code Prover).

Пример: opts.Precision.ContextSensitivity = 'auto'

Пример: opts.Precision.ContextSensitivity = 'custom=func1'

Это свойство влияний только Код анализ Prover.

Исходные файлы, которые вы хотите проверить с более высокой точностью, заданные как массив ячеек с именами файлов без расширения и уровней точности с использованием этого синтаксиса: filename: O level

Для получения дополнительной информации см. Specific precision (-modules-precision) (Polyspace Code Prover).

Пример: opts.Precision.ModulesPrecision = {'file1:O0', 'file2:O3'}

Это свойство влияний только Код анализ Prover.

Уровень точности для верификации, заданный как 0, 1, 2 или 3.

Для получения дополнительной информации см. Precision level (-O) (Polyspace Code Prover).

Пример: opts.Precision.OLevel = 3

Это свойство влияний только Код анализ Prover.

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

Для получения дополнительной информации см. Improve precision of interprocedural analysis (-path-sensitivity-delta) (Polyspace Code Prover).

Пример: opts.Precision.PathSensitivityDelta = 2

Это свойство влияний только Код анализ Prover.

Время, предел на вашей верификации, задается как вектор символов времени в часах.

Для получения дополнительной информации см. Verification time limit (-timeout) (Polyspace Code Prover).

Пример: opts.Precision.Timeout = '5.75'

Это свойство влияний только Код анализ Prover.

Количество запусков процесса верификации, заданное как один из предустановленных уровней анализа.

Для получения дополнительной информации см. Verification level (-to) (Polyspace Code Prover).

Пример: opts.Precision.To = 'Software Safety Analysis level 3'

Масштабирование (только Влияния Кода Prover)

расширить все

Это свойство влияний только Код анализ Prover.

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

Для получения дополнительной информации см. Inline (-inline) (Polyspace Code Prover).

Пример: opts.Scaling.Inline = {'func1','func2'}

Это свойство влияний только Код анализ Prover.

Предельная глубина анализа для вложенных структур, заданная как положительное целое число, указывающее, сколько уровней во вложенную структуру нужно проверить.

Для получения дополнительной информации см. Depth of verification inside structures (-k-limiting) (Polyspace Code Prover).

Пример: opts.Scaling.KLimiting = 3

TargetCompiler

расширить все

Компилятор, который создает ваш исходный код.

Для получения дополнительной информации см. Compiler (-compiler).

Пример: opts.TargetCompiler.Compiler = 'Visual11.0'

Задайте стандартную версию C++, следующую в коде, заданную как вектор символов.

Для получения дополнительной информации смотрите C++ standard version (-cpp-version).

Пример: opts.TargetCompiler.CppVersion = 'cpp11';

Задайте стандартную версию C, следующую в коде, заданную как вектор символов.

Для получения дополнительной информации смотрите C standard version (-c-version).

Пример: opts.TargetCompiler.CVersion = 'c90';

Округлить частные от деления или модуля отрицательных чисел, заданные как true или false.

Для получения дополнительной информации см. Division round down (-div-round-down).

Пример: opts.TargetCompiler.DivRoundDown = true

Представление перечисления базового типа, заданное разрешенным набором базового типа. Для получения дополнительной информации о различных значениях см. Enum type definition (-enum-type-definition).

Пример: opts.TargetCompiler.EnumTypeDefinition = 'auto-unsigned-first'

Игнорируйте директивы # pragma pack, заданные как true или false.

Для получения дополнительной информации см. Ignore pragma pack directives (-ignore-pragma-pack).

Пример: opts.TargetCompiler.IgnorePragmaPack = true

Это свойство доступно только для чтения.

Язык анализа, заданный во время конструкции объекта. Это значение изменяет свойства, которые появляются.

Для получения дополнительной информации см. Source code language (-lang).

Обработка подписанных бит от подписанных переменных, заданная как Arithmetical или Logical. Для получения дополнительной информации см. Signed right shift (-logical-signed-right-shift).

Пример: opts.TargetCompiler.LogicalSignedRightShift = 'Logical'

Не используйте предопределенные шрифты для char16_t или char32_t, заданные как true или false. Для получения дополнительной информации см. Block char16/32_t types (-no-uliterals).

Пример: opts.TargetCompiler.NoUliterals = true

Выравнивание упаковки структуры по умолчанию, заданное как 'defined-by-compiler', '1', '2', '4', '8', или '16'. Это свойство доступно только для кода Visual C++.

Для получения дополнительной информации см. Pack alignment value (-pack-alignment-value).

Пример: opts.TargetCompiler.PackAlignmentValue = '4'

sfr типы, заданные как массив ячеек sfr ключевые слова, использующие синтаксис sfr_name= size_in_bits. Для получения дополнительной информации см. Sfr type support (-sfr-types).

Эта опция применяется только при установке TargetCompiler.Compiler на keil или iar.

Пример: opts.TargetCompiler.SfrTypes = {'sfr32=32'}

Базовый тип size_t, заданный как 'defined-by-compiler', 'unsigned-int', 'unsigned-long', или 'unsigned-long-long'. Посмотрите Management of size_t (-size-t-type-is).

Пример: opts.TargetCompiler.SizeTTypeIs = 'unsigned-long'

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

Для получения дополнительной информации о предопределенных процессорах см. Target processor type (-target).

Для получения дополнительной информации о создании типового целевого объекта смотрите polyspace.GenericTargetOptions.

Пример: opts.TargetCompiler.Target = 'hc12'

Базовый тип wchar_t, заданный как 'defined-by-compiler', 'signed-short', 'unsigned-short', 'signed-int', 'unsigned-int', 'signed-long', или 'unsigned-long'. Посмотрите Management of wchar_t (-wchar-t-type-is).

Пример: opts.TargetCompiler.WcharTTypeIs = 'unsigned-int'

VerificationAssumption (только Влияния Кода Prover)

расширить все

Это свойство влияний только Код анализ Prover.

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

Для получения дополнительной информации см. Consider volatile qualifier on fields (-consider-volatile-qualifier-on-fields) (Polyspace Code Prover).

Пример: opts.VerificationAssumption.ConsiderVolatileQualifierOnFields = true

Это свойство влияний только Код анализ Prover.

Укажите, что указатели окружения могут иметь значение NULL, если иное не ограничено.

Для получения дополнительной информации см. Consider environment pointers as unsafe (-stubbed-pointers-are-unsafe) (Polyspace Code Prover).

Пример: opts.VerificationAssumption.ConstraintPointersMayBeNull = true

Это свойство влияний только Код анализ Prover.

Режимы округления, которые следует учитывать при определении результатов арифметики с плавающей точкой, заданные как to-nearest или all.

Для получения дополнительной информации см. Float rounding mode (-float-rounding-mode) (Polyspace Code Prover).

Пример: opts.VerificationAssumption.FloatRoundingMode = 'all'

Это свойство влияний только Код анализ Prover.

Не приводите неуказательные поля структуры к указателям, заданным как true или false.

Для получения дополнительной информации см. Respect types in fields (-respect-types-in-fields) (Polyspace Code Prover).

Пример: opts.VerificationAssumption.RespectTypesInFields = true

Это свойство влияний только Код анализ Prover.

Не приводите глобальные переменные без указателя к указателям, заданным как true или false.

Для получения дополнительной информации см. Respect types in global variables (-respect-types-in-globals) (Polyspace Code Prover).

Пример: opts.VerificationAssumption.RespectTypesInGlobals = true

Другие свойства

расширить все

Имя автора проекта, заданное как вектор символов.

Для получения дополнительной информации смотрите -author.

Пример: opts.Author = 'JaneDoe'

Чтобы импортировать комментарии и обоснования из предыдущего анализа, укажите путь к папке результатов предыдущего анализа.

Можно также указать на предыдущую папку результатов, чтобы увидеть только новые результаты по сравнению с предыдущим запуском. Смотрите Сравнение результатов различных запусков Polyspace при помощи скриптов MATLAB.

Для получения дополнительной информации смотрите -import-comments

Пример: opts.ImportComments = fullfile(polyspaceroot,'polyspace','examples','cxx','Bug_Finder_Example','Module_1','BF_Result')

Имя проекта, заданное как вектор символов.

Для получения дополнительной информации см. -prog.

Пример: opts.Prog = 'myProject'

Расположение для хранения результатов, заданное как путь к папке. По умолчанию результаты хранятся в текущей папке.

Для получения дополнительной информации см. -results-dir.

Можно также создать отдельную папку результатов для каждого нового запуска. Смотрите Сравнение результатов различных запусков Polyspace при помощи скриптов MATLAB.

Пример: opts.ResultsDir = 'C:\project\myproject\results\'

Исходные файлы для анализа, заданные как массив ячеек файлов.

Чтобы задать все файлы в папке, используйте путь к папке с последующим *, для образца, 'C:\src\*'. Чтобы задать все файлы в папке и ее подпапках, используйте путь к папке с последующим **, для образца, 'C:\src\**'. Это обозначение соответствует синтаксису dir функция. См. также раздел «Задание нескольких исходных файлов».

Для получения дополнительной информации см. -sources.

Пример: opts.Sources = {'file1.c', 'file2.c', 'file3.c'}

Пример: opts.Sources = {'project/src1/file1.c', 'project/src2/file2.c', 'project/src3/file3.c'}

Номер версии проекта, заданный как символьный массив числа. Эта опция полезна, если вы загружаете результаты в Polyspace Metrics. Если вы увеличиваете номера версий каждый раз, когда вы повторяете анализ вашего объекта, можно сравнить результаты из двух версий в Polyspace Metrics.

Для получения дополнительной информации см. -v[ersion].

Пример: opts.Version = '2.3'

Введенный в R2017a