Настройте Polyspace рукописного кода со свойствами объекта опции
Свойства автоматического оранжевого тестера будут удалены в следующем релизе. См. Вопросы совместимости.
Чтобы настроить свой Polyspace® анализ, используйте эти polyspace.Options
или polyspace.Project.Configuration
свойства. Каждое свойство соответствует опции анализа на панели Configuration в пользовательском интерфейсе Polyspace.
Свойства сгруппированы с использованием тех же категорий, что и панель Configuration. На этой странице показаны только значения, которые может иметь каждое свойство. Для получения дополнительной информации о:
Различные опции см. на страницах с описанием опций анализа.
Как создать и использовать объект, см. polyspace.Options
или polyspace.Project
.
Те же свойства доступны и с устаревшими классами polyspace.BugFinderOptions
и polyspace.CodeProverOptions
.
Каждое описание свойства ниже также подчеркивает, влияет ли опция только на один из Bug Finder или Code Prover.
Примечание
Некоторые опции могут быть недоступны в зависимости от языковой настройки объекта. Можно задать язык исходного кода (Language
) к 'C'
, 'CPP'
или 'C-CPP'
во время создания объекта, но не может изменить его позже.
Additional
- Дополнительные флаги для анализаДополнительные флаги для анализа, заданные как вектор символов.
Для получения дополнительной информации см. Other
.
Пример: opts.Advanced.Additional = '-extra-flags -option -extra-flags value'
PostAnalysisCommand
- Командное или скриптовое программное обеспечение должно выполняться после завершения анализаКоманды или скрипт программное обеспечение должно выполняться после концов анализа, заданных как вектор символов.
Для получения дополнительной информации см. 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"'
AutomaticOrangeTester
- (Будет удален) Запустить автоматический оранжевый тестерЭто свойство влияний только Код анализ Prover.
Это свойство будет удалено в следующем релизе.
Запустите автоматический оранжевый тестер после верификации true или false.
Для получения дополнительной информации см. Automatic
Orange Tester
(-automatic-orange-tester)
.
Пример: opts.Advanced.AutomaticOrangeTester = true
AutomaticOrangeTesterLoopMaxIteration
- (Будет удалено) Количество итераций цикла, после которых Automatic Orange Tester рассматривает бесконечный циклЭто свойство влияний только Код анализ Prover.
Это свойство будет удалено в следующем релизе.
Количество итераций цикла, после которых Automatic Orange Tester рассматривает тест как бесконечный цикл, заданный как положительное целое число, максимум 1000.
Для получения дополнительной информации см. Maximum loop
iterations
(-automatic-orange-tester-loop-max-iteration)
.
Пример: opts.Advanced.AutomaticOrangeTesterLoopMaxIteration = 500
AutomaticOrangeTesterTestsNumber
- (Будет удалено) Количество тестов, которые должен запустить автоматический оранжевый тестерЭто свойство влияний только Код анализ Prover.
Это свойство будет удалено в следующем релизе.
Количество тестов, которые должен запустить автоматический оранжевый тестер, заданное в виде положительного целого числа, максимум 100 000.
Для получения дополнительной информации см. Number of
automatic tests
(-automatic-orange-tester-tests-number)
.
Пример: opts.Advanced.AutomaticOrangeTesterTestsNumber = 1000
AutomaticOrangeTesterTimeout
- (Будет удалено) Время в секундах, разрешенное для одного теста в автоматическом оранжевом тестереЭто свойство влияний только Код анализ Prover.
Это свойство будет удалено в следующем релизе.
Время в секундах, допустимое для одного теста в автоматическом оранжевом тестере, заданное в виде положительного целого числа, максимум 60.
Для получения дополнительной информации см. Maximum test
time
(-automatic-orange-tester-timeout)
.
Пример: opts.Advanced.AutomaticOrangeTesterTimeout = 10
CheckersList
- Список пользовательских шашек для активацииpolyspace.DefectsOptions
объект | массив ячеек аббревиатур дефектовЭто свойство влияет только на анализ Bug Finder.
Список пользовательских шашек для активации, заданный с помощью имени a polyspace.DefectsOptions
объект или массив ячеек с аббревиатурами дефектов. Чтобы использовать этот пользовательский список в анализе, задайте CheckersPreset
на custom
.
Для получения дополнительной информации смотрите polyspace.DefectsOptions
.
Пример: defects = polyspace.DefectsOptions; opts.BugFinderAnalysis.CheckersList = defects
Пример: opts.BugFinderAnalysis.CheckersList = {'INT_ZERO_DIV','FLOAT_ZERO_DIV'}
CheckersPreset
- Подмножество дефектов Bug Finder'default'
(по умолчанию) | 'all'
| 'CWE'
| 'custom'
Это свойство влияет только на анализ Bug Finder.
Предустановленный список шашек, заданный как вектор символов одной из предустановленных опций: 'default'
, 'all'
, 'CWE'
, или 'custom'
. Как использовать 'custom'
, задайте значение для свойства BugFinderAnalysis.CheckersList
.
Для получения дополнительной информации см. Find defects
(-checkers)
.
Пример: opts.BugFinderAnalysis.CheckersPreset = 'all'
ChecksUsingSystemInputValues
- Активируйте более строгие проверки входовЭто свойство влияет только на анализ Bug Finder.
Активируйте более строгие проверки, которые учитывают все возможные значения для:
Глобальные переменные.
Чтения изменчивых переменных.
Возвраты упрямых функций.
Входные параметры функций, заданные с помощью SystemInputsFrom.
Анализ рассматривает все возможные значения для подмножества Numerical и Static memory дефектов.
Это свойство эквивалентно флажку Run stricter checks considering all values of system inputs в интерфейсе Polyspace.
Для получения дополнительной информации смотрите Run stricter checks considering all values of system inputs (-checks-using-system-input-values)
Пример: opts.BugFinderAnalysis.ChecksUsingSystemInputValues = true
EnableCheckers
- Активируйте проверку дефектовЭто свойство влияет только на анализ Bug Finder.
Активируйте проверку дефекта, заданную как true или false. Установка значения false для этого свойства отключает все дефекты. Если вы хотите отключить проверку дефектов, но все же получите результаты, включите проверку правил кодирования или проверку метрики кода.
Это свойство эквивалентно флажку Find defects в интерфейсе Polyspace.
Пример: opts.BugFinderAnalysis.EnableCheckers = false
SystemInputsFrom
- Список функций, для которых вы запускаете более строгие проверки'auto'
(по умолчанию) | 'uncalled'
| 'all'
| 'custom'
Это свойство влияет только на анализ Bug Finder.
Функции, для которых вы хотите запустить более строгие проверки, которые учитывают все возможные значения входных параметров функции. Задайте список функций следующим 'auto'
, 'uncalled'
, 'all'
, или как символьный массив, начинающийся с custom=
далее следует список , разделенный запятыми имен функции.
Чтобы включить эту опцию, установите BugFinderAnalysis.ChecksUsingSystemInputValues = true
.
Для получения дополнительной информации смотрите Consider inputs to these functions (-system-inputs-from)
Пример: opts.BugFinderAnalysis.SystemInputsFrom = 'custom=foo,bar'
AllowNegativeOperandInShift
- Разрешить операции сдвига влево на отрицательное числоЭто свойство влияний только Код анализ Prover.
Разрешить операции сдвига влево для отрицательного числа, заданного как true или false.
Для получения дополнительной информации см. Allow
negative operand for left shifts
(-allow-negative-operand-in-shift)
.
Пример: opts.ChecksAssumption.AllowNegativeOperandInShift = true
AllowNonFiniteFloats
- Инкорпорировать бесконечность и/или NaNsЭто свойство влияний только Код анализ Prover.
Включите бесконечности и/или NaNs, заданные как true или false.
Для получения дополнительной информации см. Consider
non finite floats (-allow-non-finite-floats)
.
Пример: opts.ChecksAssumption.AllowNonFiniteFloats = true
AllowPtrArithOnStruct
- Разрешить арифметику указателя на поле структуры так, чтобы оно указывало на другое полеЭто свойство влияний только Код анализ Prover.
Разрешить арифметику указателя на поле структуры так, чтобы оно указывало на другое поле, заданное как true или false.
Для получения дополнительной информации см. Enable pointer arithmetic across fields
(-allow-ptr-arith-on-struct)
.
Пример: opts.ChecksAssumption.AllowPtrArithOnStruct = true
CheckInfinite
- Обнаружение операций с плавающей точкой, которые приводят к бесконечности'allow'
(по умолчанию) | 'warn-first'
| 'forbid'
Это свойство влияний только Код анализ Prover.
Обнаружение операций с плавающей точкой, которые приводят к бесконечности.
Чтобы активировать эту опцию, задайте ChecksAssumption.AllowNonFiniteFloats
.
Для получения дополнительной информации смотрите Infinities (-check-infinite)
.
Пример: opts.ChecksAssumption.CheckInfinite = 'forbid'
CheckNan
- Обнаружение операций с плавающей точкой, которые приводят к NaN-s'allow'
(по умолчанию) | 'warn-first'
| 'forbid'
Это свойство влияний только Код анализ Prover.
Обнаружение операций с плавающей точкой, которые приводят к NaN-s.
Чтобы активировать эту опцию, задайте ChecksAssumption.AllowNonFiniteFloats
.
Для получения дополнительной информации смотрите NaNs (-check-nan)
.
Пример: opts.ChecksAssumption.CheckNan = 'forbid'
CheckSubnormal
- Обнаружение операций, которые приводят к субнормальным значениям с плавающей точкой'allow'
(по умолчанию) | 'warn-first'
| 'warn-all'
| 'forbid'
Это свойство влияний только Код анализ Prover.
Обнаружение операций, которые приводят к субнормальным значениям с плавающей точкой.
Для получения дополнительной информации см. Subnormal detection mode (-check-subnormal)
.
Пример: opts.ChecksAssumption.CheckSubnormal = 'forbid'
DetectPointerEscape
- Найдите случаи, когда функция возвращает указатель на одну из своих локальных переменныхЭто свойство влияний только Код анализ Prover.
Найдите случаи, когда функция возвращает указатель на одну из своих локальных переменных, заданный как true или false.
Для получения дополнительной информации см. Detect
stack pointer dereference outside scope
(-detect-pointer-escape)
.
Пример: opts.ChecksAssumption.DetectPointerEscape = true
DisableInitializationChecks
- Отключить проверки неинициализированных переменных и указателейЭто свойство влияний только Код анализ Prover.
Отключите проверки для неинициализированных переменных и указателей, заданные как true или false.
Для получения дополнительной информации см. Disable
checks for non-initialization
(-disable-initialization-checks)
.
Пример: opts.ChecksAssumption.DisableInitializationChecks = true
PermissiveFunctionPointer
- Разрешить несоответствие типов между указателями на функцию и функциями, на которые они указываютЭто свойство влияний только Код анализ Prover.
Разрешить несоответствие типов между указателями на функцию и функциями, на которые они указывают, заданные как true или false.
Для получения дополнительной информации см. Permissive function pointer calls
(-permissive-function-pointer)
.
Пример: opts.ChecksAssumption.PermissiveFunctionPointer = true
SignedIntegerOverflows
- Поведение целочисленных переполнений со знаком'forbid'
(по умолчанию) | 'allow'
| 'warn-with-wrap-around'
Это свойство влияний только Код анализ Prover.
Включите проверку на наличие целочисленного переполнения со знаком и допущения, следующие за переполнением, заданным как 'forbid'
, 'allow'
, или 'warn-with-wrap-around'
.
Для получения дополнительной информации смотрите Overflow mode for signed integer (-signed-integer-overflows)
.
Пример: opts.ChecksAssumption.SignedIntegerOverflows = 'warn-with-wrap-around'
SizeInBytes
- Разрешить указателю с недостаточным буфером памяти указывать на структуруЭто свойство влияний только Код анализ Prover.
Разрешить указателю с недостаточным буфером памяти указывать на структуру, заданную как true или false.
Для получения дополнительной информации см. Allow
incomplete or partial allocation of structures
(-size-in-bytes)
.
Пример: opts.ChecksAssumption.SizeInBytes = true
UncalledFunctionCheck
- Обнаружение функций, которые не вызываются прямо или косвенно из основной или другой функции точки входа'none'
(по умолчанию) | 'never-called'
| 'called-from-unreachable'
| 'all'
Это свойство влияний только Код анализ Prover.
Обнаружите функции, которые не вызываются прямо или косвенно из основной или другой функции точки входа, заданной как none
, never-called
, called-from-unreachable
, или all
.
Для получения дополнительной информации см. Detect
uncalled functions (-uncalled-function-checks)
.
Пример: opts.ChecksAssumption.UncalledFunctionCheck = 'all'
UnsignedIntegerOverflows
- Поведение беззнаковых целочисленного переполнения'allow'
(по умолчанию) | 'forbid'
| 'warn-with-wrap-around'
Это свойство влияний только Код анализ Prover.
Включите проверку беззнаковых целочисленного переполнения и допущения, которые необходимо сделать после переполнения, заданные как 'forbid'
, 'allow'
, или 'warn-with-wrap-around'
.
Для получения дополнительной информации смотрите Overflow mode for unsigned integer (-unsigned-integer-overflows)
.
Пример: opts.ChecksAssumption.UnsignedIntegerOverflows = 'allow'
ClassAnalyzer
- Классы, которые вы хотите проверить'all'
(по умолчанию) | 'none'
| 'custom = class1[,class2,...]
'
Это свойство влияний только Код анализ Prover.
Классы, которые вы хотите проверить, заданные как 'all'
, 'none'
, или как символьный массив, начинающийся с custom=
за которым следует список , разделенный запятыми имен классов.
Для получения дополнительной информации см. Class
(-class-analyzer)
.
Пример: opts.CodeProverVerification.ClassAnalyzer = 'custom=myClass1,myClass2'
ClassAnalyzerCalls
- Методы классов, которые вы хотите проверить'unused'
(по умолчанию) | 'all'
| 'all-public'
| 'inherited-all'
| 'inherited-all-public'
| 'unused-public'
| 'inherited-unused'
| 'inherited-unused-public'
| 'custom = method1[,method2,...]
'
Это свойство влияний только Код анализ Prover.
Методы класса, которые вы хотите проверить, заданные как один из предопределенных наборов или как символьный массив, начинающийся с custom=
далее следует разделенный запятыми список имен методов.
Для получения дополнительной информации см. Functions to call
within the specified classes (-class-analyzer-calls)
.
Пример: opts.CodeProverVerification.ClassAnalyzerCalls = 'unused-public'
ClassOnly
- Анализируйте только методы классаЭто свойство влияний только Код анализ Prover.
Анализируйте только методы класса, заданные как true или false.
Для получения дополнительной информации см. Analyze class
contents only (-class-only)
.
Пример: opts.CodeProverVerification.ClassOnly = true
EnableMain
- Использовать main
функция, предусмотренная в приложенииЭто свойство влияний только Код анализ Prover.
Использование main
функция, предусмотренная в приложении, заданная как true или false. Если задать для этого свойства значение false, анализ генерирует main
функция, если она отсутствует в исходных файлах.
Для получения дополнительной информации см. Verify whole application
.
Пример: opts.CodeProverVerification.EnableMain = true
FunctionsCalledBeforeMain
- Функции, которые вы хотите, чтобы сгенерированный основной вызов опережал другие функцииЭто свойство влияний только Код анализ Prover.
Функции, которые вы хотите, чтобы сгенерированный основной вызов опережал другие функции, заданные как массив ячеек с именами функции.
Для получения дополнительной информации см. Initialization
functions (-functions-called-before-main)
.
Пример: opts.CodeProverVerification.FunctionsCalledBeforeMain = {'func1','func2'}
Main
- Использовать Microsoft Visual C++ расширения main'_tmain'
(по умолчанию) | 'wmain'
| '_tWinMain'
| 'wWinMain'
| 'WinMain'
| 'DllMain'
Это свойство применяется только к анализу Code Prover.
Используйте расширение Microsoft Visual C++ основного, заданное как одно из предопределенных основных расширений.
Для получения дополнительной информации см. Main entry point
(-main)
.
Пример: opts.CodeProverVerification.Main = 'wmain'
MainGenerator
- Сгенерируйте основную функцию, если она отсутствует в исходных файлахЭто свойство применяется только к анализу Code Prover.
Сгенерируйте основную функцию, если она не присутствует в исходных файлах, заданных как true или false.
Для получения дополнительной информации см. Verify module or library (-main-generator)
.
Пример: opts.CodeProverVerification.MainGenerator = false
MainGeneratorCalls
- Функции, которые вы хотите, чтобы сгенерированный основной вызов после функций инициализации'unused'
(по умолчанию) | 'none'
| 'all'
| 'custom = function1[,function2,...]
'
Это свойство применяется только к анализу Code Prover.
Функции, которые вы хотите, чтобы сгенерированный основной вызов после функций инициализации, заданные как 'unused'
, 'all'
, 'none'
, или как символьный массив, начинающийся с custom=
далее следует список , разделенный запятыми имен функции.
Для получения дополнительной информации см. Functions to call
(-main-generator-calls)
.
Пример: opts.CodeProverVerification.MainGeneratorCalls = 'all'
MainGeneratorWriteVariables
- Глобальные переменные, которые вы хотите инициализировать сгенерированной основной переменной'uninit'
(По умолчанию C++) | 'public'
(По умолчанию C) | 'none'
| 'all'
| 'custom = variable1[,variable2,...]
'
Это свойство применяется только к анализу Code Prover.
Глобальные переменные, которые вы хотите инициализировать сгенерированное главное, заданные как один из предопределенных наборов или как символьный массив, начинающийся с custom=
за которым следует список , разделенный запятыми имен переменных.
Для получения дополнительной информации см. Variables to
initialize (-main-generator-writes-variables)
.
Пример: opts.CodeProverVerification.MainGeneratorWriteVariables = 'all'
NoConstructorsInitCheck
- Не проверяйте, инициализирует ли конструктор классов члены классаЭто свойство применяется только к анализу Code Prover.
Не проверяйте, инициализирует ли конструктор класса члены класса, заданные как true или false.
Для получения дополнительной информации см. Skip member
initialization check (-no-constructors-init-check)
.
Пример: opts.CodeProverVerification.NoConstructorsInitCheck = true
UnitByUnit
- Проверьте каждый исходный файл независимо от других исходных файловЭто свойство влияний только Код анализ Prover.
Проверьте каждый исходный файл независимо от других исходных файлов, заданных как true или false.
Для получения дополнительной информации см. Verify files
independently (-unit-by-unit)
.
Пример: opts.CodeProverVerification.UnitByUnit = true
UnitByUnitCommonSource
- Файлы, которые вы хотите включить в каждый исходный файл во время верификации файла по файламЭто свойство влияний только Код анализ Prover.
Файлы, которые вы хотите включить в каждый исходный файл во время верификации файла по файлам, заданные как массив ячеек с путями к файлам.
Для получения дополнительной информации см. Common source
files (-unit-by-unit-common-source)
.
Пример: opts.CodeProverVerification.UnitByUnitCommonSource = {'/inc/file1.h','/inc/file2.h'}
AcAgcSubset
- Подмножество правил АРУ переменного тока MISRA для проверки'OBL-rules'
(по умолчанию) | 'OBL-REC-rules'
| 'single-unit-rules'
| 'system-decidable-rules'
| 'all-rules'
| 'SQO-subset1'
| 'SQO-subset2'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Подмножество правил АРУ переменного тока MISRA для проверки, заданное:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA AC
AGC (-misra-ac-agc)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила MISRA AC AGC, также установите EnableAcAgc
к true.
Пример: opts.CodingRulesCodeMetrics.AcAgcSubset = 'all-rules'
Типы данных: char
AllowedPragmas
- Директивы Pragma, для которых MISRA C:2004 правило 3,4 или MISRA C++ 16-6-1 не должны применятьсяДирективы Pragma, для которых MISRA C:2004 правилом 3.4 или MISRA C++ 16-6-1, не должны применяться, заданные как массив ячеек из векторов символов. Это свойство влияет только на C:2004 MISRA или проверку правил MISRA AC AGC.
Для получения дополнительной информации см. Allowed
pragmas (-allowed-pragmas)
.
Пример: opts.CodingRulesCodeMetrics.AllowedPragmas = {'pragma_01','pragma_02'}
Типы данных: cell
AutosarCpp14
- Набор проверяемых правил AUTOSAR C++ 14'all'
(по умолчанию) | 'required'
| 'automated'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Это свойство влияет только на Bug Finder.
Набор проверяемых правил AUTOSAR C++ 14, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check AUTOSAR C++ 14 security checks
(-autosar-cpp14)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила AUTOSAR C++ 14, также установите EnableAutosarCpp14
к true.
Пример: opts.CodingRulesCodeMetrics.AutosarCpp14 = 'all'
Типы данных: char
BooleanTypes
- Типы данных, которые проверяет правило кодирования, должны рассматриваться как эффективные логическиеТипы данных, которые проверка правил кодирования должна обрабатывать так же эффективно, Boolean, заданный как массив ячеек из векторов символов.
Для получения дополнительной информации см. Effective
boolean types (-boolean-types)
.
Пример: opts.CodingRulesCodeMetrics.BooleanTypes = {'boolean1_t','boolean2_t'}
Типы данных: cell
CertC
- Комплект CERT® Правила и рекомендации по проверке'all'
(по умолчанию) | 'publish-2016'
| 'all-rules'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Это свойство влияет только на Bug Finder.
Набор правил и рекомендаций CERT C для проверки, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check CERT-C security checks
(-cert-c)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование from-file
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила и рекомендации CERT C, также установите EnableCertC
к true.
Пример: opts.CodingRulesCodeMetrics.CertC = 'all'
Типы данных: char
CertCpp
- Набор правил CERT C++ для проверки'all'
(по умолчанию) | polyspace.CodingRulesOptions
| объекта 'from-file'
Это свойство влияет только на Bug Finder.
Набор проверяемых правил CERT C++, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check CERT-C++ security checks
(-cert-cpp)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила CERT C++, также установите EnableCertCpp
к true.
Пример: opts.CodingRulesCodeMetrics.CertCpp = 'all'
Типы данных: char
CheckersSelectionByFile
- Файл, который задает пользовательский набор стандартных шашек кодирования .xml
файлФайл, в котором вы задаете пользовательский набор проверяемых шашек стандартов кодирования, заданный как .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
CodeMetrics
- Активируйте вычисления метрики кодаАктивируйте вычисления метрики кода, заданные как true или false. Если это свойство отключено, Polyspace не вычисляет метрики кода, даже если вы загружаете свои результаты в Polyspace Metrics.
Для получения дополнительной информации о метриках кода см. Calculate code
metrics (-code-metrics)
.
Если вы присваиваете опции объекта правил кодирования этому свойству, XML- файл создается автоматически с заданными правилами.
Пример: opts.CodingRulesCodeMetrics.CodeMetrics = true
EnableAcAgc
- Проверяйте правила MISRA AC AGCПроверьте правила MISRA AC AGC, заданные как true или false. Чтобы настроить проверяемые правила, используйте AcAgcSubset
.
Для получения дополнительной информации о MISRA AC AGC checker, см. Check MISRA AC
AGC (-misra-ac-agc)
.
Пример: opts.CodingRulesCodeMetrics.EnableAcAgc = true;
EnableAutosarCpp14
- Проверяйте правила AUTOSAR C++ 14Это свойство влияет только на Bug Finder.
Проверьте правила AUTOSAR C++ 14 как true или false. Чтобы настроить проверяемые правила, используйте AutosarCpp14
.
Для получения дополнительной информации о шашке AUTOSAR C++ 14, смотрите Check AUTOSAR C++ 14 security checks
(-autosar-cpp14)
.
Пример: opts.CodingRulesCodeMetrics.EnableAutosarCpp14 = true;
EnableCertC
- проверить правила и рекомендации CERT CЭто свойство влияет только на Bug Finder.
Проверьте правила и рекомендации CERT C как true или false. Чтобы настроить проверяемые правила, используйте CertC
.
Для получения дополнительной информации о средстве проверки CERT C см. раздел Check CERT-C security checks
(-cert-c)
.
Пример: opts.CodingRulesCodeMetrics.EnableCertC = true;
EnableCertCpp
- проверяйте правила CERT C++Это свойство влияет только на Bug Finder.
Проверьте правила CERT C++ как true или false. Чтобы настроить проверяемые правила, используйте CertCpp
.
Для получения дополнительной информации о шашке CERT C++ смотрите Check CERT-C++ security checks
(-cert-cpp)
.
Пример: opts.CodingRulesCodeMetrics.EnableCertCpp = true;
EnableCheckersSelectionByFile
- Проверяйте пользовательский набор стандартных шашек кодированияПроверяйте пользовательский набор стандартных шашек кодирования как true или false. Использование с CheckersSelectionByFile
и эти стандарты кодирования:
opts.CodingRulesCodeMetrics.AutosarCpp14='from-file'
opts.CodingRulesCodeMetrics.CertC='from-file'
opts.CodingRulesCodeMetrics.CertCpp='from-file'
opts.CodingRulesCodeMetrics.Iso17961='from-file'
opts.CodingRulesCodeMetrics.JsfSubset='from-file'
opts.CodingRulesCodeMetrics.MisraC3Subset='from-file'
opts.CodingRulesCodeMetrics.MisraCSubset='from-file'
opts.CodingRulesCodeMetrics.MisraCppSubset='from-file'
Для получения дополнительной информации см. Check
custom rules (-custom-rules)
.
Пример: opts.CodingRulesCodeMetrics.EnableCheckersSelectionByFile = true;
EnableCustomRules
- Проверяйте пользовательские правила кодированияПроверьте пользовательские правила кодирования как true или false. Файл, с которым вы задаете CheckersSelectionByFile
определяет пользовательские правила кодирования.
Использование с EnableCheckersSelectionByFile
.
Для получения дополнительной информации см. Check custom
rules (-custom-rules)
.
Пример: opts.CodingRulesCodeMetrics.EnableCustomRules = true;
EnableIso17961
- проверяйте ISO-17961 правилаЭто свойство влияет только на Bug Finder.
Проверяйте ISO®/ Правила IEC TS 17961, заданные как true или false. Чтобы настроить проверяемые правила, используйте Iso17961
.
Для получения дополнительной информации о средстве проверки ISO-17961 см. Check ISO-17961 security checks
(-iso-17961)
.
Пример: opts.CodingRulesCodeMetrics.EnableIso17961 = true;
EnableJsf
- Проверяйте правила JSF C++Проверяйте правила JSF C++, заданные как true или false. Чтобы настроить проверяемые правила, используйте JsfSubset
.
Для получения дополнительной информации см. Check JSF C++
rules (-jsf-coding-rules)
.
Пример: opts.CodingRulesCodeMetrics.EnableJsf = true;
EnableMisraC
- Проверяйте правила C:2004 MISRAПроверяйте правила C:2004 MISRA как true или false. Чтобы настроить проверяемые правила, используйте MisraCSubset
.
Для получения дополнительной информации см. Check MISRA
C:2004 (-misra2)
.
Пример: opts.CodingRulesCodeMetrics.EnableMisraC = true;
EnableMisraC3
- Проверяйте правила C:2012 MISRAПроверяйте правила C:2012 MISRA как true или false. Чтобы настроить проверяемые правила, используйте MisraC3Subset
.
Для получения дополнительной информации о шашке C:2012 MISRA см. Check MISRA
C:2012 (-misra3)
.
Пример: opts.CodingRulesCodeMetrics.EnableMisraC3 = true;
EnableMisraCpp
- Проверить правила MISRA C++: 2008Проверяйте правила MISRA C++: 2008 как true или false. Чтобы настроить проверяемые правила, используйте MisraCppSubset
.
Для получения дополнительной информации о MISRA C++: 2008 checker, смотритеCheck MISRA
C++ rules (-misra-cpp)
.
Пример: opts.CodingRulesCodeMetrics.EnableMisraCpp = true;
Iso17961
- Набор ISO-17961 правил для проверки'all'
(по умолчанию) | 'decidable'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Это свойство влияет только на Bug Finder.
Набор правил ISO/IEC TS 17961 для проверки, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check ISO-17961 security checks
(-iso-17961)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила ISO/IEC TS 17961, также установите EnableIso17961
к true.
Пример: opts.CodingRulesCodeMetrics.Iso17961 = 'all'
Типы данных: char
JsfSubset
- Подмножество правил JSF C++ для проверки'shall-rules'
(по умолчанию) | 'shall-will-rules'
| 'all-rules'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Подмножество проверяемых правил JSF C++, заданное как:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check JSF C++
rules (-jsf-coding-rules)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила JSF C++, установите EnableJsf
к true.
Пример: opts.CodingRulesCodeMetrics.JsfSubset = 'all-rules'
Типы данных: char
Misra3AgcMode
- Используйте категории C:2012 MISRA для автоматически сгенерированного кодаИспользуйте категории C:2012 MISRA для автоматически сгенерированного кода, заданные как true или false.
Для получения дополнительной информации см. Use
generated code requirements
(-misra3-agc-mode)
.
Пример: opts.CodingRulesCodeMetrics.Misra3AgcMode = true;
MisraC3Subset
- Подмножество правил C:2012 MISRA для проверки'mandatory-required'
(по умолчанию) | 'mandatory'
| 'single-unit-rules'
| 'system-decidable-rules'
| 'all'
| 'SQO-subset1'
| 'SQO-subset2'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Подмножество C:2012 правил MISRA для проверки, заданное:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA
C:2012 (-misra3)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила C:2012 MISRA, также установите EnableMisraC3
к true.
Пример: opts.CodingRulesCodeMetrics.MisraC3Subset = 'all'
Типы данных: char
MisraCSubset
- Подмножество правил C:2004 MISRA для проверки'required-rules'
(по умолчанию) | 'single-unit-rules'
| 'system-decidable-rules'
| 'all-rules'
| 'SQO-subset1'
| 'SQO-subset2'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Подмножество C:2004 правил MISRA для проверки, заданное:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA
C:2004 (-misra2)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила C:2004 MISRA, также установите EnableMisraC
к true.
Пример: opts.CodingRulesCodeMetrics.MisraCSubset = 'all-rules'
Типы данных: char
MisraCppSubset
- Подмножество правил MISRA C++'required-rules'
(по умолчанию) | 'all-rules'
| 'SQO-subset1'
| 'SQO-subset2'
| polyspace.CodingRulesOptions
| объекта 'from-file'
Подмножество правил MISRA C++: 2008 для проверки, заданное:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах см. Check MISRA
C++ rules (-misra-cpp)
.
Объект опций правил кодирования. Чтобы создать объект опций правил кодирования, смотрите polyspace.CodingRulesOptions
.
XML- файл, задающий стандартные шашки кодирования. Использование 'from-file'
для этого свойства, а затем используйте EnableCheckersSelectionByFile
и CheckersSelectionByFile
свойство, чтобы задать полный путь к файлу, в котором вы задаете пользовательский подмножество шашек.
Вы можете создать этот файл вручную или в интерфейсе Polyspace. Смотрите раздел «Проверка на нарушения стандартов кодирования». Если вы присваиваете опции объекта правила кодирования этому свойству, XML- файл создается автоматически и присваивается CheckersSelectionByFile
свойство. XML- файл включает правила, извлеченные из объекта опций правил кодирования.
Чтобы проверить правила MISRA C++, установите EnableMisraCpp
к true.
Пример: opts.CodingRulesCodeMetrics.MisraCppSubset = 'all-rules'
Типы данных: char
Dos
- Примите во внимание, что пути к файлам имеют стиль MS-DOSПримите во внимание, что пути к файлам имеют стиль MS-DOS, заданный как true или false.
Для получения дополнительной информации см. Code from DOS or Windows
file system (-dos)
.
Пример: opts.EnvironmentSettings.Dos = true;
IncludeFolders
- Включить папки, необходимые для компиляцииВключите папки, необходимые для компиляции, заданные как массив ячеек из путей к папкам включения.
Чтобы задать все подпапки папки, используйте путь к папке с последующим **
, для образца, 'C:\includes\**'
. Это обозначение соответствует синтаксису dir
функция. См. также раздел «Задание нескольких исходных файлов».
Для получения дополнительной информации см. -I
.
Пример: opts.EnvironmentSettings.IncludeFolders = {'/includes','/com1/inc'};
Пример: opts.EnvironmentSettings.IncludeFolders = {'C:\project1\common\includes'};
Типы данных: cell
Includes
- Файлы, которые будут #include
-ded каждым файлом CФайлы, которые будут #include
-дается каждым исходным файлом C в анализе, задается массивом ячеек из файлов.
Для получения дополнительной информации см. Include (-include)
.
Пример: opts.EnvironmentSettings.Includes = {'/inc/inc_file.h','/inc/inc_math.h'}
NoExternC
- Игнорируйте ошибки связи внутри внешних блоковИгнорируйте ошибки связи внутри внешних блоков, заданные как true или false.
Для получения дополнительной информации см. Ignore link errors
(-no-extern-c)
.
Пример: opts.EnvironmentSettings.NoExternC = false;
PostPreProcessingCommand
- Команда или скрипт для запуска в исходных файлах после предварительной обработкиКоманда или скрипт для запуска в исходных файлах после предварительной обработки, заданная как вектор символов команды, которая запускается.
Для получения дополнительной информации см. 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"'
StopWithCompileError
- Остановить анализ, если файл не компилируетсяОстановите анализ, если файл не компилируется, заданный как true или false.
Для получения дополнительной информации см. Stop analysis if a file
does not compile
(-stop-if-compile-error)
.
Пример: opts.EnvironmentSettings.StopWithCompileError = true;
DataRangeSpecifications
- Ограничение глобальных переменных, входных параметров функции и возвращаемых значений упрямых функцийОграничивайте глобальные переменные, входные параметры функции и возвращайте значения упрямых функций, заданные путем к файл ограничений. Дополнительные сведения о файле ограничений см. в разделе «Задание внешних ограничений».
Для получения дополнительной информации об этой опции см. Constraint setup (-data-range-specifications)
.
Пример: opts.InputsStubbing.DataRangeSpecifications = 'C:\project\constraint_file.xml'
DoNotGenerateResultsFor
- Файлы, на которых вы не хотите результаты анализа'include-folders'
(по умолчанию) | 'all-headers'
| 'custom = folder1[,folder2,...]
'
Файлы, на которых вы не хотите результаты анализа, заданные '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'
GenerateResultsFor
- Файлы, на которых вы хотите результаты анализа'source-headers'
(по умолчанию) | 'all-headers'
| 'custom = folder1[,folder2,...]
'
Файлы, на которых вы хотите результаты анализа, заданные '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'
FunctionsToStub
- Функции, которые заглушаются во время анализаЭто свойство влияний только Код анализ Prover.
Функции, заглушенные во время анализа, заданные как массив ячеек с именами функции.
Для получения дополнительной информации см. Functions to stub
(-functions-to-stub)
.
Пример: opts.InputsStubbing.FunctionsToStub = {'func1', 'func2'}
NoDefInitGlob
- Рассматривать глобальные переменные как неинициализированныеЭто свойство влияний только Код анализ Prover.
Считайте глобальные переменные неинициализированными, заданными как true или false.
Для получения дополнительной информации см. Ignore default initialization of global
variables (-no-def-init-glob)
.
Пример: opts.InputsStubbing.NoDefInitGlob = true
NoStlStubs
- Не используйте реализации функций Polyspace в библиотеке стандартных шаблоновЭто свойство применяется только к анализу кода Code Prover кода С++.
Не используйте реализации функций Polyspace в стандартной библиотеке шаблонов, заданные как true или false.
Для получения дополнительной информации см. No STL stubs
(-no-stl-stubs)
.
Пример: opts.InputsStubbing.NoStlStubs = true
StubECoderLookupTables
- Укажите, что анализ должен заглушить функции в сгенерированном коде, которые используют интерполяционные таблицыЭто свойство применяется только к анализу кода Code Prover, сгенерированного из моделей.
Укажите, что анализ должен заглушить функции в сгенерированном коде, которые используют интерполяционные таблицы. Путем замены функций заглушками, анализ принимает более точные возвращаемые значения для функций.
Для получения дополнительной информации см. Generate stubs for Embedded Coder lookup tables
(-stub-embedded-coder-lookup-table-functions)
.
Пример: opts.InputsStubbing.StubECoderLookupTables = true
DefinedMacros
- Макросы, которые будут замененыВ предварительно обработанном коде макросы заменяются определением, заданным в массиве ячеек из макросов и определений. Задайте макрос следующим Macro=Value
. Если вы хотите, чтобы Polyspace игнорировал макрос, оставьте Value
пусто. Макрос без знака равенства заменяет все образцы этого макроса на 1.
Для получения дополнительной информации см. Preprocessor definitions
(-D)
.
Пример: opts.Macros.DefinedMacros = {'uint32=int','name3=','var'}
UndefinedMacros
- Макросы, которые нужно определитьВ предварительно обработанном коде макросы не определены, заданы массивом ячеек макросов, которые не определяются.
Для получения дополнительной информации см. Disabled preprocessor
definitions (-U)
.
Пример: opts.Macros.DefinedMacros = {'name1','name2'}
AddToResultsRepositoryBugFinder
- Загрузить результаты Bug Finder на веб-панель мониторинга Polyspace MetricsЭто свойство влияет только на анализ Bug Finder.
Загрузите результаты анализа Bug Finder на веб-панель инструментов Polyspace Metrics, заданную как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.
Для получения дополнительной информации см. Upload results
to Polyspace Metrics
(-add-to-results-repository)
.
Пример: opts.MergedComputingSettings.AddToResultsRepositoryBugFinder = true;
AddToResultsRepositoryCodeProver
- Загрузка результатов Code Prover на веб-панель мониторинга Polyspace MetricsЭто свойство влияний только Код анализ Prover.
Загрузите результаты анализа Code Prover на веб-панель инструментов Polyspace Metrics, заданную как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.
Для получения дополнительной информации см. Upload results
to Polyspace Metrics
(-add-to-results-repository)
.
Пример: opts.MergedComputingSettings.AddToResultsRepositoryCodeProver = true;
BatchBugFinder
- Отправка анализа Bug Finder на удаленный серверЭто свойство влияет только на анализ Bug Finder.
Отправьте анализ Bug Finder на удаленный сервер, заданный как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.
Для получения дополнительной информации см. Run Bug Finder
or Code Prover analysis on a remote cluster
(-batch)
.
Пример: opts.MergedComputingSettings.BatchBugFinder = true;
BatchCodeProver
- Отправка анализа Code Prover на удаленный серверЭто свойство влияний только Код анализ Prover.
Отправьте анализ Code Prover на удаленный сервер, заданный как true или false. Чтобы использовать эту опцию, в настройках Polyspace необходимо задать сервер метрик.
Для получения дополнительной информации см. Run Bug Finder
or Code Prover analysis on a remote cluster
(-batch)
.
Пример: opts.MergedComputingSettings.BatchCodeProver = true;
FastAnalysis
- Запуск анализа Bug Finder с использованием более быстрого локального режимаЭто свойство влияет только на анализ Bug Finder.
Используйте быстрый режим анализа для анализа Bug Finder, заданный как true или false.
Для получения дополнительной информации см. Use fast
analysis mode for Bug Finder
(-fast-analysis)
.
Пример: opts.MergedComputingSettings.FastAnalysis = true;
EnableReportGeneration
- Сгенерируйте отчет после анализаПосле анализа сгенерируйте отчет, заданный как true или false.
Для получения дополнительной информации см. Generate
report
.
Пример: opts.MergedReporting.EnableReportGeneration = true
ReportOutputFormat
- Выход сгенерированного отчета'Word'
(по умолчанию) | 'HTML'
| 'PDF'
Выход сгенерированного отчета, заданный как один из форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration
.
Для получения дополнительной информации о различных значениях см. Output format
(-report-output-format)
.
Пример: opts.MergedReporting.ReportOutputFormat = 'PDF'
BugFinderReportTemplate
- Шаблон для генерации отчета анализа Bug Finder'BugFinderSummary'
(по умолчанию) | 'BugFinder'
| 'SecurityCWE'
| 'CodeMetrics'
| 'CodingStandards'
Это свойство влияет только на анализ Bug Finder.
Шаблон для генерации отчета анализа, заданный как один из форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration
.
Для получения дополнительной информации о различных значениях см. Bug Finder and Code
Prover report (-report-template)
.
Пример: opts.MergedReporting.BugFinderReportTemplate = 'CodeMetrics'
CodeProverReportTemplate
- Шаблон для генерации отчета анализа Code Prover'Developer'
(по умолчанию) | 'CallHierarchy'
| 'CodeMetrics'
| 'CodingStandards'
| 'DeveloperReview'
| 'Developer_withGreenChecks'
| 'Quality'
| 'VariableAccess'
Это свойство влияет только на анализ Code Prover.
Шаблон для генерации отчета анализа, заданный как один из предопределенных форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration
.
Для получения дополнительной информации о различных значениях см. Bug Finder and
Code Prover report (-report-template)
.
Пример: opts.MergedReporting.CodeProverReportTemplate = 'CodeMetrics'
ArxmlMultitasking
- Укажите путь к файлам ARXML для анализа конфигурации многозадачностиУкажите путь к файлам ARXML, которые анализирует программное обеспечение, чтобы настроить строение многозадачности.
Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking
и установите Multitasking.ExternalMultitaskingType
на autosar
.
Для получения дополнительной информации смотрите ARXML files selection (-autosar-multitasking)
Пример: opts.Multitasking.ArxmlMultitasking={'C:\Polyspace_Workspace\AUTOSAR\myFile.arxml'}
CriticalSectionBegin
- Функции, которые начинают критические сеченияФункции, которые начинают критические сечения, заданные как массив ячеек критических имен функции сечения. Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
и Multitasking.CriticalSectionEnd
.
Для получения дополнительной информации смотрите Critical section details (-critical-section-begin -critical-section-end)
.
Пример: opts.Multitasking.CriticalSectionBegin = {'function1:cs1','function2:cs2'}
CriticalSectionEnd
- Функции, которые заканчивают критические сеченияФункции, которые заканчивают критические сечения, заданные как массив ячеек критических имен функции сечения. Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
и Multitasking.CriticalSectionBegin
.
Для получения дополнительной информации смотрите Critical section details (-critical-section-begin -critical-section-end)
.
Пример: opts.Multitasking.CriticalSectionEnd = {'function1:cs1','function2:cs2'}
CyclicTasks
- Задайте функции, которые представляют циклические задачиЗадайте функции, которые представляют циклические задачи.
Чтобы активировать эту опцию, также задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Cyclic tasks (-cyclic-tasks)
.
Пример: opts.Multitasking.CyclicTasks = {'function1','function2'}
EnableConcurrencyDetection
- Включить автоматическое обнаружение определенных семейств функций многопоточностиЭто свойство влияний только Код анализ Prover.
Включите автоматическое обнаружение определенных семейств функций многопоточности, заданных как true или false.
Для получения дополнительной информации смотрите Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection)
.
Пример: opts.Multitasking.EnableConcurrencyDetection = true
EnableExternalMultitasking
- Включить автоматическое строение многозадачности из определений внешних файловВключите многозадачное строение проектов из предоставленных вами внешних файлов. Настройте многозадачность из файлов ARXML для проекта AUTOSAR или из файлов OIL для проекта OSEK.
Активируйте эту опцию, чтобы включить Multitasking.ArxmlMultitasking
или Multitasking.OsekMultitasking
.
Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking)
и ARXML files selection (-autosar-multitasking)
.
Пример:
opts.Multitasking.EnableExternalMultitasking = 1
EnableMultitasking
- Сконфигурируйте многозадачность вручнуюСконфигурируйте многозадачность вручную путем определения true
. Это свойство активирует другие ручные многозадачные свойства.
Для получения дополнительной информации смотрите Configure multitasking manually
.
Пример: opts.Multitasking.EnableMultitasking = 1
EntryPoints
- Функции, которые служат точками входа в ваше многозадачное приложениеФункции, которые служат точками входа в ваше многозадачное приложение, заданные как массив ячеек с именами функции точки входа. Чтобы активировать эту опцию, также задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Tasks (-entry-points)
.
Пример: opts.Multitasking.EntryPoints = {'function1','function2'}
ExternalMultitaskingType
- Задайте тип файла, который нужно проанализировать для строения многозадачности'osek'
(по умолчанию) | 'autosar'
Укажите тип файла, который анализирует программное обеспечение, чтобы настроить строение многозадачности:
Для osek
введите, анализ ищет файлы OIL в указанном файле или путях папки.
Для autosar
введите, анализ ищет файлы ARXML в заданных вами путях файлов.
Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking
.
Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking)
и ARXML files selection (-autosar-multitasking)
.
Пример:
opts.Multitasking.ExternalMultitaskingType = 'autosar'
Interrupts
- Задайте функции, которые представляют непередаваемые прерыванияЗадайте функции, которые представляют непередаваемые прерывания.
Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Interrupts (-interrupts)
.
Пример: opts.Multitasking.Interrupts = {'function1','function2'}
InterruptsDisableAll
- Задайте стандартную программу, которая отключает прерыванияЭто свойство влияет только на анализ Bug Finder.
Задайте функцию, которая отключает все прерывания.
Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts)
.
Пример: opts.Multitasking.InterruptsDisableAll = {'function'}
InterruptsEnableAll
- Задайте стандартную программу, которая перезапускает прерыванияЭто свойство влияет только на анализ Bug Finder.
Задайте функцию, которая снова включает все прерывания.
Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts)
.
Пример: opts.Multitasking.InterruptsEnableAll = {'function'}
OsekMultitasking
- Укажите путь к файлам OIL для анализа конфигурации многозадачности 'auto'
(по умолчанию) | 'custom = folder1[,folder2,...]
'
Укажите путь к файлам OIL, которые анализирует программное обеспечение, чтобы настроить строение многозадачности:
В режиме, заданном как 'auto'
, анализ использует файлы OIL в источнике вашего проекта и включает папки, но не их подпапки.
В режиме, заданном как 'custom
анализ использует файлы OIL в заданном пути и подпапки пути.= folder1[,folder2,...]
'
Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking
и установите Multitasking.ExternalMultitaskingType
на osek
.
Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking)
Пример:
opts.Multitasking.OsekMultitasking = 'custom=file_path, dir_path'
TemporalExclusion
- Функции точки входа, которые не могут выполняться одновременноФункции точки входа, которые не могут выполняться одновременно, заданные как массив ячеек с именами функции точки входа. Каждый набор эксклюзивных задач является одной записью массива ячеек с функциями, разделенными пространствами. Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Temporally exclusive tasks (-temporal-exclusions-file)
.
Пример: opts.Multitasking.TemporalExclusion = {'function1 function2', 'function3 function4 function5'}
где функция 1 и функция 2 являются временными исключительными, а функция 3, функция 4 и функция 5 являются временными исключительными.
ContextSensitivity
- Сохраните информацию контекста вызова, чтобы идентифицировать вызов функции, который вызвал ошибки'none'
(по умолчанию) | 'auto'
| 'custom = function1[,function2,...]
'
Это свойство влияний только Код анализ Prover.
Сохраните информацию о контексте вызова, чтобы идентифицировать вызов функции, который вызвал ошибки, заданную как none
, auto
, или как символьный массив, начинающийся с custom=
далее следует список имен функции, разделенных запятыми.
Для получения дополнительной информации см. Sensitivity context (-context-sensitivity)
.
Пример: opts.Precision.ContextSensitivity = 'auto'
Пример: opts.Precision.ContextSensitivity = 'custom=func1'
ModulesPrecision
- Исходные файлы, которые вы хотите проверить с более высокой точностьюЭто свойство влияний только Код анализ Prover.
Исходные файлы, которые вы хотите проверить с более высокой точностью, заданные как массив ячеек с именами файлов без расширения и уровней точности с использованием этого синтаксиса: filename
: O level
Для получения дополнительной информации см. Specific precision (-modules-precision)
.
Пример: opts.Precision.ModulesPrecision = {'file1:O0', 'file2:O3'}
OLevel
- Уровень точности для верификацииЭто свойство влияний только Код анализ Prover.
Уровень точности для верификации, заданный как 0, 1, 2 или 3.
Для получения дополнительной информации см. Precision level (-O)
.
Пример: opts.Precision.OLevel = 3
PathSensitivityDelta
- Избегайте определенных приближений верификации для кода с меньшим количеством линийЭто свойство влияний только Код анализ Prover.
Избегайте определенных приближений верификации для кода с меньшим количеством линий, заданных как положительное целое число, представляющее, насколько чувствителен анализ. Более высокие значения могут увеличить время верификации в геометрической прогрессии.
Для получения дополнительной информации см. Improve precision of interprocedural analysis
(-path-sensitivity-delta)
.
Пример: opts.Precision.PathSensitivityDelta = 2
Timeout
- Ограничение по времени на проверкуЭто свойство влияний только Код анализ Prover.
Время, предел на вашей верификации, задается как вектор символов времени в часах.
Для получения дополнительной информации см. Verification time limit (-timeout)
.
Пример: opts.Precision.Timeout = '5.75'
To
- Количество раз, когда процесс верификации запускается'Software Safety Analysis level 2'
(по умолчанию) | 'Software Safety Analysis level 0'
| 'Software Safety Analysis level 1'
| 'Software Safety Analysis level 3'
| 'Software Safety Analysis level 4'
| 'Source Compliance Checking'
| 'other'
Это свойство влияний только Код анализ Prover.
Количество запусков процесса верификации, заданное как один из предустановленных уровней анализа.
Для получения дополнительной информации см. Verification level (-to)
.
Пример: opts.Precision.To = 'Software Safety Analysis level 3'
Inline
- Функции, на которых должны быть сгенерированы отдельные результаты для каждого вызова функцииЭто свойство влияний только Код анализ Prover.
Функции, на которых должны быть сгенерированы отдельные результаты для каждого вызова функции, заданные как массив ячеек с именами функции.
Для получения дополнительной информации см. Inline (-inline)
.
Пример: opts.Scaling.Inline = {'func1','func2'}
KLimiting
- Предельная глубина анализа вложенных структурЭто свойство влияний только Код анализ Prover.
Предельная глубина анализа для вложенных структур, заданная как положительное целое число, указывающее, сколько уровней во вложенную структуру нужно проверить.
Для получения дополнительной информации см. Depth
of verification inside structures (-k-limiting)
.
Пример: opts.Scaling.KLimiting = 3
Compiler
- Компилятор, который создает ваш исходный код'generic'
(по умолчанию) | 'gnu3.4'
| 'gnu4.6'
| 'gnu4.7'
| 'gnu4.8'
| 'gnu4.9'
| 'gnu5.x'
| 'gnu6.x'
| 'gnu7.x'
| 'clang3.x'
| 'clang4.x'
| 'clang5.x'
| 'visual9.0'
| 'visual10'
| 'visual11.0'
| 'visual12.0'
| 'visual14.0'
| 'visual15.x'
| 'keil'
| 'iar'
| 'armcc'
| 'armclang'
| 'codewarrior'
| 'diab'
| 'greenhills'
| 'iar-ew'
| 'renesas'
| 'tasking'
| 'ti'
Компилятор, который создает ваш исходный код.
Для получения дополнительной информации см. Compiler (-compiler)
.
Пример: opts.TargetCompiler.Compiler = 'Visual11.0'
CppVersion
- Задайте стандартную версию C++, следующую в коде'defined-by-compiler'
(по умолчанию) | 'cpp03'
| 'cpp11'
| 'cpp14'
| 'cpp17'
Задайте стандартную версию C++, следующую в коде, заданную как вектор символов.
Для получения дополнительной информации смотрите C++ standard version (-cpp-version)
.
Пример: opts.TargetCompiler.CppVersion = 'cpp11';
CVersion
- Задайте стандартную версию C, следующую в коде'defined-by-compiler'
(по умолчанию) | 'c90'
| 'c99'
| 'c11'
Задайте стандартную версию C, следующую в коде, заданную как вектор символов.
Для получения дополнительной информации смотрите C standard version (-c-version)
.
Пример: opts.TargetCompiler.CVersion = 'c90';
DivRoundDown
- Округлить частные от деления или модуля отрицательных чиселОкруглить частные от деления или модуля отрицательных чисел, заданные как true или false.
Для получения дополнительной информации см. Division round down
(-div-round-down)
.
Пример: opts.TargetCompiler.DivRoundDown = true
EnumTypeDefinition
- Основа типа перечисления'defined-by-compiler'
(по умолчанию) | 'auto-signed-first'
| 'auto-unsigned-first'
Представление перечисления базового типа, заданное разрешенным набором базового типа. Для получения дополнительной информации о различных значениях см. Enum type definition
(-enum-type-definition)
.
Пример: opts.TargetCompiler.EnumTypeDefinition = 'auto-unsigned-first'
IgnorePragmaPack
- Игнорируйте директивы # pragma packИгнорируйте директивы # pragma pack, заданные как true или false.
Для получения дополнительной информации см. Ignore pragma pack directives
(-ignore-pragma-pack)
.
Пример: opts.TargetCompiler.IgnorePragmaPack = true
Language
- Язык анализа'C-CPP'
(по умолчанию) | 'C'
| 'CPP'
Это свойство доступно только для чтения.
Язык анализа, заданный во время конструкции объекта. Это значение изменяет свойства, которые появляются.
Для получения дополнительной информации см. Source code language
(-lang)
.
LogicalSignedRightShift
- Обработка подписанного бита на подписанных переменных'Arithmetical'
(по умолчанию) | 'Logical'
Обработка подписанных бит от подписанных переменных, заданная как Arithmetical
или Logical
. Для получения дополнительной информации см. Signed right shift
(-logical-signed-right-shift)
.
Пример: opts.TargetCompiler.LogicalSignedRightShift = 'Logical'
NoUliterals
- Не используйте предопределенные шрифты для char16_t или char32_tНе используйте предопределенные шрифты для char16_t или char32_t, заданные как true или false. Для получения дополнительной информации см. Block char16/32_t types
(-no-uliterals)
.
Пример: opts.TargetCompiler.NoUliterals = true
PackAlignmentValue
- Выравнивание упаковки структуры по умолчанию'defined-by-compiler'
(по умолчанию) | '1'
| '2'
| '4'
| '8'
| '16'
Выравнивание упаковки структуры по умолчанию, заданное как 'defined-by-compiler'
, '1'
, '2'
, '4'
, '8'
, или '16'
. Это свойство доступно только для кода Visual C++.
Для получения дополнительной информации см. Pack alignment value
(-pack-alignment-value)
.
Пример: opts.TargetCompiler.PackAlignmentValue = '4'
SfrTypes
- типы sfrsfr
ключевые словаsfr
типы, заданные как массив ячеек sfr
ключевые слова, использующие синтаксис
. Для получения дополнительной информации см. sfr_name
= size_in_bits
Sfr type support
(-sfr-types)
.
Эта опция применяется только при установке TargetCompiler.Compiler
на keil
или iar
.
Пример: opts.TargetCompiler.SfrTypes = {'sfr32=32'}
SizeTTypeIs
- Базовый тип size_t
'defined-by-compiler'
(по умолчанию) | 'unsigned-int'
| 'unsigned-long'
| 'unsigned-long-long'
Базовый тип 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
- Целевой процессор'i386'
(по умолчанию) | 'arm'
| 'arm64'
| 'avr'
| 'c-167'
| 'c166'
| 'c18'
| 'c28x'
| 'c6000'
| 'coldfire'
| 'hc08'
| 'hc12'
| 'm68k'
| 'mcore'
| 'mips'
| 'mpc5xx'
| 'msp430'
| 'necv850'
| 'powerpc'
| 'powerpc64'
| 'rh850'
| 'rl78'
| 'rx'
| 's12z'
| 'sharc21x61'
| 'sparc'
| 'superh'
| 'tms320c3x'
| 'tricore'
| 'x86_64'
| типовой целевой объектУстановите размер типов данных и конечность процессора, заданную как один из предопределенных целевых процессоров или типовой целевой объект.
Для получения дополнительной информации о предопределенных процессорах см. Target processor type
(-target)
.
Для получения дополнительной информации о создании типового целевого объекта смотрите polyspace.GenericTargetOptions
.
Пример: opts.TargetCompiler.Target = 'hc12'
WcharTTypeIs
- Базовый тип wchar_t
'defined-by-compiler'
(по умолчанию) | 'signed-short'
| 'unsigned-short'
| 'signed-int'
| 'unsigned-int'
| 'signed-long'
| 'unsigned-long'
Базовый тип 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'
ConsiderVolatileQualifierOnFields
- Предположим, что изменчивые поля квалифицированной структуры могут иметь все возможные значения в любой точке кодаЭто свойство влияний только Код анализ Prover.
Предположим, что изменчивые поля квалифицированной структуры могут иметь все возможные значения в любой точке кода.
Для получения дополнительной информации см. Consider
volatile qualifier on fields
(-consider-volatile-qualifier-on-fields)
.
Пример: opts.VerificationAssumption.ConsiderVolatileQualifierOnFields = true
ConstraintPointersMayBeNull
- Укажите, что указатели окружения могут быть NULL, если нет ограниченийЭто свойство влияний только Код анализ Prover.
Укажите, что указатели окружения могут иметь значение NULL, если иное не ограничено.
Для получения дополнительной информации см. Consider
environment pointers as unsafe
(-stubbed-pointers-are-unsafe)
.
Пример: opts.VerificationAssumption.ConstraintPointersMayBeNull = true
FloatRoundingMode
- Режимы округления, которые следует учитывать при определении результатов арифметики с плавающей точкойto-nearest
(по умолчанию) | all
Это свойство влияний только Код анализ Prover.
Режимы округления, которые следует учитывать при определении результатов арифметики с плавающей точкой, заданные как to-nearest
или all
.
Для получения дополнительной информации см. Float rounding
mode (-float-rounding-mode)
.
Пример: opts.VerificationAssumption.FloatRoundingMode = 'all'
RespectTypesInFields
- Не приводите неуказательные поля структуры к указателямЭто свойство влияний только Код анализ Prover.
Не приводите неуказательные поля структуры к указателям, заданным как true или false.
Для получения дополнительной информации см. Respect types
in fields
(-respect-types-in-fields)
.
Пример: opts.VerificationAssumption.RespectTypesInFields = true
RespectTypesInGlobals
- Не приводите глобальные переменные без указателя на указателиЭто свойство влияний только Код анализ Prover.
Не приводите глобальные переменные без указателя к указателям, заданным как true или false.
Для получения дополнительной информации см. Respect types
in global variables
(-respect-types-in-globals)
.
Пример: opts.VerificationAssumption.RespectTypesInGlobals = true
Author
- Автор проектаИмя автора проекта, заданное как вектор символов.
Для получения дополнительной информации смотрите -author
.
Пример: opts.Author = 'JaneDoe'
ImportComments
- Импорт комментариев и обоснований из предыдущего анализаЧтобы импортировать комментарии и обоснования из предыдущего анализа, укажите путь к папке результатов предыдущего анализа.
Можно также указать на предыдущую папку результатов, чтобы увидеть только новые результаты по сравнению с предыдущим запуском. Смотрите Сравнение результатов различных запусков Polyspace при помощи скриптов MATLAB.
Для получения дополнительной информации смотрите -import-comments
Пример: opts.ImportComments = fullfile(polyspaceroot,'polyspace','examples','cxx','Bug_Finder_Example','Module_1','BF_Result')
Prog
- имя проектаPolyspaceProject
(по умолчанию) | вектор символовИмя проекта, заданное как вектор символов.
Для получения дополнительной информации см. -prog
.
Пример: opts.Prog = 'myProject'
ResultsDir
- Расположение для хранения результатовРасположение для хранения результатов, заданное как путь к папке. По умолчанию результаты хранятся в текущей папке.
Для получения дополнительной информации см. -results-dir
.
Можно также создать отдельную папку результатов для каждого нового запуска. Смотрите Сравнение результатов различных запусков Polyspace при помощи скриптов MATLAB.
Пример: opts.ResultsDir = 'C:\project\myproject\results\'
Sources
- Исходные файлыИсходные файлы для анализа, заданные как массив ячеек файлов.
Чтобы задать все файлы в папке, используйте путь к папке с последующим *
, для образца, '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'}
Version
- Номер версии проекта'1.0'
(по умолчанию) | символьный массив из числаНомер версии проекта, заданный как символьный массив числа. Эта опция полезна, если вы загружаете результаты в Polyspace Metrics. Если вы увеличиваете номера версий каждый раз, когда вы повторяете анализ вашего объекта, можно сравнить результаты из двух версий в Polyspace Metrics.
Для получения дополнительной информации см. -v[ersion]
.
Пример: opts.Version = '2.3'
Не рекомендуемый запуск в R2020b
Автоматический оранжевый тестер будет удален в следующем релизе. Если вы используете эти свойства в своих скриптах, удалите их (opts=polyspace.Options('C')
):
opts.Advanced.AutomaticOrangeTester
opts.Advanced.AutomaticOrangeTesterLoopMaxIteration
opts.Advanced.AutomaticOrangeTesterTestsNumber
opts.Advanced.AutomaticOrangeTesterTimeout
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.