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

Дополнительные сведения см. в разделе 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)(Доказательство кода Polyspace).

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

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

Это свойство будет удалено в следующем выпуске.

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

Дополнительные сведения см. в разделе Maximum loop iterations (-automatic-orange-tester-loop-max-iteration)(Доказательство кода Polyspace).

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

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

Это свойство будет удалено в следующем выпуске.

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

Дополнительные сведения см. в разделе Number of automatic tests (-automatic-orange-tester-tests-number)(Доказательство кода Polyspace).

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

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

Это свойство будет удалено в следующем выпуске.

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

Дополнительные сведения см. в разделе Maximum test time (-automatic-orange-tester-timeout)(Доказательство кода Polyspace).

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

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

Список пользовательских шашек для активации, указанный с помощью имени 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.

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

Анализ учитывает все возможные значения для подмножества числовых и статических дефектов памяти.

Это свойство эквивалентно флажку Выполнить более строгие проверки с учетом всех значений системных входных данных в интерфейсе Polyspace.

Дополнительные сведения см. в разделе Run stricter checks considering all values of system inputs (-checks-using-system-input-values)

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

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

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

Это свойство эквивалентно флажку Найти дефекты в интерфейсе 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'

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

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

Дополнительные сведения см. в разделе Allow negative operand for left shifts (-allow-negative-operand-in-shift)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Consider non finite floats (-allow-non-finite-floats)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Enable pointer arithmetic across fields (-allow-ptr-arith-on-struct)(Доказательство кода Polyspace).

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

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

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

Чтобы активировать этот параметр, укажите ChecksAssumption.AllowNonFiniteFloats.

Дополнительные сведения см. в разделе Infinities (-check-infinite)(Доказательство кода Polyspace).

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

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

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

Чтобы активировать этот параметр, укажите ChecksAssumption.AllowNonFiniteFloats.

Дополнительные сведения см. в разделе NaNs (-check-nan)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Subnormal detection mode (-check-subnormal)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Detect stack pointer dereference outside scope (-detect-pointer-escape)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Disable checks for non-initialization (-disable-initialization-checks)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Permissive function pointer calls (-permissive-function-pointer)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Overflow mode for signed integer (-signed-integer-overflows)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Allow incomplete or partial allocation of structures (-size-in-bytes)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Detect uncalled functions (-uncalled-function-checks)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Overflow mode for unsigned integer (-unsigned-integer-overflows)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Class (-class-analyzer)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Functions to call within the specified classes (-class-analyzer-calls)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Analyze class contents only (-class-only)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Verify whole application(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Initialization functions (-functions-called-before-main)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Main entry point (-main)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Verify module or library (-main-generator)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Functions to call (-main-generator-calls)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Variables to initialize (-main-generator-writes-variables)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Skip member initialization check (-no-constructors-init-check)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Verify files independently (-unit-by-unit)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Common source files (-unit-by-unit-common-source)(Доказательство кода Polyspace).

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

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

Для проверки правил MISRA AC AGC также установите EnableAcAgc к true.

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

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

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

Дополнительные сведения см. в разделе Allowed pragmas (-allowed-pragmas).

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

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

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

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

Для проверки правил AUTOSAR C++ 14 также установите EnableAutosarCpp14 к true.

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

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

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

Дополнительные сведения см. в разделе Effective boolean types (-boolean-types).

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

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

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

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

Для проверки правил и рекомендаций CERT C также установите EnableCertC к true.

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

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

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

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

Чтобы проверить правила 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 см. Check MISRA AC AGC (-misra-ac-agc).

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

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

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

Дополнительные сведения о проверке AUTOSAR C++ 14 см. в разделе Check AUTOSAR C++ 14 security checks (-autosar-cpp14).

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

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

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

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

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

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

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

Дополнительные сведения о проверке CERT C++ см. в разделе Check CERT-C++ security checks (-cert-cpp).

Пример: 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 см. в разделе 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.

Дополнительные сведения о проверке 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 к true.

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

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

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

Для проверки правил 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 для проверки, указанное:

Для проверки правил MISRA C:2012 также установите EnableMisraC3 к true.

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

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

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

Для проверки правил MISRA C:2004 также установите EnableMisraC к true.

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

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

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

Для проверки правил MISRA C++ установите EnableMisraCpp к true.

Пример: 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-ed каждым исходным файлом 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)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Ignore default initialization of global variables (-no-def-init-glob)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе No STL stubs (-no-stl-stubs)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Generate stubs for Embedded Coder lookup tables (-stub-embedded-coder-lookup-table-functions)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Upload results to Polyspace Metrics (-add-to-results-repository).

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

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

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

Дополнительные сведения см. в разделе Upload results to Polyspace Metrics (-add-to-results-repository)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Run Bug Finder or Code Prover analysis on a remote cluster (-batch).

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

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

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

Дополнительные сведения см. в разделе Run Bug Finder or Code Prover analysis on a remote cluster (-batch)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Use fast analysis mode for Bug Finder (-fast-analysis).

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

После анализа создайте отчет, указанный как 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'

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

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

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

Пример: 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)(Доказательство кода Polyspace).

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

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

Чтобы активировать этот параметр, укажите 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, которые программа анализирует для настройки многозадачной конфигурации:

Чтобы активировать этот параметр, укажите 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 являются временными исключительными.

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

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

Дополнительные сведения см. в разделе Sensitivity context (-context-sensitivity)(Доказательство кода Polyspace).

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

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

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

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

Дополнительные сведения см. в разделе Specific precision (-modules-precision)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Precision level (-O)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Improve precision of interprocedural analysis (-path-sensitivity-delta)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Verification time limit (-timeout)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Verification level (-to)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Inline (-inline)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Depth of verification inside structures (-k-limiting)(Доказательство кода Polyspace).

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

Не используйте предопределенные typedef для 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)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Consider environment pointers as unsafe (-stubbed-pointers-are-unsafe)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Float rounding mode (-float-rounding-mode)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Respect types in fields (-respect-types-in-fields)(Доказательство кода Polyspace).

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

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

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

Дополнительные сведения см. в разделе Respect types in global variables (-respect-types-in-globals)(Доказательство кода Polyspace).

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

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

Дополнительные сведения см. в разделе -author.

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

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

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

Дополнительные сведения см. в разделе -import-comments

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

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

Дополнительные сведения см. в разделе -prog.

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

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

Дополнительные сведения см. в разделе -results-dir.

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

Дополнительные сведения см. в разделе -v[ersion].

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