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

Для получения дополнительной информации смотрите 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"'

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Запустите Автоматический Оранжевый Тестер после верификации, заданной как TRUE или FALSE.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Количество итераций цикла, после которых Автоматический Оранжевый Тестер считает тест бесконечным циклом, заданным как положительное целое число, максимум 1 000.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

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

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

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

Задайте список средств проверки, заданный как вектор символов одной из предварительно установленных опций: default, all, CWE или custom. Чтобы использовать custom, задайте BugFinderAnalysis.CheckersList.

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Позвольте операции сдвига влево на отрицательном числе, заданном как TRUE или FALSE.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Позвольте арифметику на указателе на поле структуры так, чтобы это указало на другое поле, заданное как TRUE или FALSE.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Отключите проверки на неинициализированные переменные и указатели, заданные как TRUE или FALSE.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Позвольте проверке на переполнение целого числа со знаком и предположения сделать после переполнения заданный как forbid, allow или warn-with-wrap-around.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Позвольте проверке на переполнение беззнаковых целых чисел и предположения сделать после переполнения, заданного как forbid, allow или warn-with-wrap-around.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Классы, которые вы хотите проверить, заданный как all, none или custom=class1[,class2,...].

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

Пример: opts.CodeProverVerification.ClassAnalyzer = 'custom=myClass1,myClass2'

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Методы класса, которые вы хотите проверить, заданный как один из предопределенных наборов или как custom=method1[,method2,...].

Для получения дополнительной информации смотрите Functions to call within the specified classes (-class-analyzer-calls).

Пример: opts.CodeProverVerification.ClassAnalyzerCalls = 'unused-public'

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Анализируйте только методы класса, заданные как TRUE или FALSE.

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

Пример: opts.CodeProverVerification.ClassOnly = true

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Используйте функцию main, обеспеченную в приложении, заданном как TRUE или FALSE. Если вы устанавливаете это свойство на ложь, анализ генерирует функцию main, если это не присутствует в исходных файлах.

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

Пример: opts.CodeProverVerification.EnableMain = true

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

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

Используйте расширение Microsoft Visual C++ основных, заданных как одно из предопределенных основных расширений.

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

Пример: opts.CodeProverVerification.Main = 'wmain'

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

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

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

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

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

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

Для получения дополнительной информации смотрите Functions to call (-main-generator-calls).

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

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

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

Для получения дополнительной информации смотрите Variables to initialize (-main-generator-writes-variables).

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

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

Не проверяйте, инициализирует ли конструктор класса члены класса, заданные как TRUE или FALSE.

Для получения дополнительной информации смотрите Skip member initialization check (-no-constructors-init-check).

Пример: opts.CodeProverVerification.NoConstructorsInitCheck = true

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Проверьте каждый исходный файл независимо от других исходных файлов, заданных как TRUE или FALSE.

Для получения дополнительной информации смотрите Verify files independently (-unit-by-unit).

Пример: opts.CodeProverVerification.UnitByUnit = true

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

Для получения дополнительной информации смотрите Common source files (-unit-by-unit-common-source).

Пример: opts.CodeProverVerification.UnitByUnitCommonSource = {'/inc/file1.h','/inc/file2.h'}

Подмножество AGC AC MISRA управляет, чтобы проверять, заданный:

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

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

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

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

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

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

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

Это свойство влияет на Средство поиска Ошибки только.

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

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

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

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

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

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

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

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

Это свойство влияет на Средство поиска Ошибки только.

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

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

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

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

Это свойство влияет на Средство поиска Ошибки только.

Набор CERT C++ управляет, чтобы проверять, заданный:

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

Пример: 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.

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

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

Настраиваемые правила именования, чтобы проверять по, заданный как пользовательское кодирование управляют файлом. Создать пользовательское кодирование постановляет, что файл, в интерфейсе Polyspace, выбирает Check custom rules на узле Coding Standards & Code Metrics Configuration, разделяют на области и нажимают Edit

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

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

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

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

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

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

Это свойство влияет на Средство поиска Ошибки только.

Проверяйте C++ AUTOSAR 14 правил, заданных как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте AutosarCpp14.

Для получения дополнительной информации о C++ AUTOSAR 14 средств проверки, смотрите.

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

Это свойство влияет на Средство поиска Ошибки только.

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

Для получения дополнительной информации о CERT C средство проверки, смотрите.

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

Это свойство влияет на Средство поиска Ошибки только.

Проверяйте CERT правила C++, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте CertCpp.

Для получения дополнительной информации о CERT средство проверки C++, смотрите.

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

Проверяйте пользовательский набор кодирования стандартных средств проверки, заданных как TRUE или FALSE. Используйте с CheckersSelectionByFile и этими стандартами кодирования:

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

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

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

Используйте с EnableCheckersSelectionByFile.

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

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

Это свойство влияет на Средство поиска Ошибки только.

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

Для получения дополнительной информации о средстве проверки ISO 17961, смотрите.

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

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

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

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

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

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

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

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

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

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

Проверяйте MISRA C ++:2008 правил, заданных как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте MisraCppSubset.

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

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

Это свойство влияет на Средство поиска Ошибки только.

Набор ISO/IEC TS 17961 управляет, чтобы проверять, заданный:

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

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

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

Подмножество C++ JSF управляет, чтобы проверять, заданный:

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

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

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

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

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

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

Подмножество MISRA C:2012 управляет, чтобы проверять, заданный:

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

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

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

Подмножество MISRA C:2004 управляет, чтобы проверять, заданный:

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

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

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

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

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

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

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

Полагайте, что пути к файлам находятся в стиле 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;

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

Для получения дополнительной информации об этой опции, смотрите 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'

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

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

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

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

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

Это свойство применяется только к анализу Программы автоматического доказательства Кода кода, сгенерированного из моделей.

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

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

Пример: 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'}

Это свойство влияет на анализ Средства поиска Ошибки только.

Загрузите результаты анализа Средства поиска Ошибки на Метрическую веб-инструментальную панель Polyspace, заданную как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Загрузите результаты анализа Программы автоматического доказательства Кода на Метрическую веб-инструментальную панель Polyspace, заданную как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

Отправьте анализ Средства поиска Ошибки в удаленный сервер, заданный как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Отправьте анализ Программы автоматического доказательства Кода в удаленный сервер, заданный как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

Используйте быстрый аналитический режим для анализа Средства поиска Ошибки, заданного как TRUE или FALSE.

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

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

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

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

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

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

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

Пример: 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'}

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Включите многозадачную настройку своих проектов из внешних файлов, которые вы обеспечиваете. Сконфигурируйте многозадачность из файлов ARXML для проекта AUTOSAR, или из НЕФТЯНЫХ файлов для проекта 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'}

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

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

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

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

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

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

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

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

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

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

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

Это свойство влияет на анализ Средства поиска Ошибки только.

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

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

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

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

Задайте путь к НЕФТЯНЫМ файлам синтаксические анализы программного обеспечения, чтобы настроить вашу многозадачную настройку:

Чтобы активировать эту опцию, задайте 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'}, где function1 и function2 временно исключительны, и function3, function4, и функция 5, временно исключителен.

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

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

Для получения дополнительной информации смотрите 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, заданные как 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'

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

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

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Не бросайте неуказательные поля структуры к указателям, заданным как TRUE или FALSE.

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

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

Это свойство влияет на анализ Программы автоматического доказательства Кода только.

Не бросайте неуказательные глобальные переменные к указателям, заданным как TRUE или FALSE.

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

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

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

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

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

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

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

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

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

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

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

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

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

Пример: 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. Если вы постепенно увеличиваете номера версий каждый раз, когда вы повторно анализируете свой объект, можно сравнить результаты двух версий в Метриках Polyspace.

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

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