Настройте анализ Polyspace сгенерированного кода со свойствами объектов опций
Чтобы настроить ваш анализ Polyspace® сгенерированного кода, измените свойства объектов polyspace.ModelLinkOptions
. Каждое свойство соответствует аналитической опции на панели Configuration в пользовательском интерфейсе Polyspace.
Свойства сгруппированы с помощью тех же категорий в качестве панели Configuration. Эта страница только показывает, какие значения каждое свойство может принять. Для получения дополнительной информации о:
Различные варианты, смотрите аналитические страницы с описанием опций.
Как создать и использовать объект, смотрите polyspace.ModelLinkOptions
.
Те же свойства также доступны с классами устаревшими polyspace.ModelLinkBugFinderOptions
и polyspace.ModelLinkCodeProverOptions
.
Каждое описание свойства ниже также подсвечивает, влияет ли опция на только одну из Программы автоматического доказательства Средства поиска или Кода Ошибки.
Некоторые опции не могут быть доступными в зависимости от установки языка объекта. Вы можете установить язык исходного кода (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
— Запустите автоматический оранжевый тестерЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Запустите Автоматический Оранжевый Тестер после верификации, заданной как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.Advanced.AutomaticOrangeTester = true
AutomaticOrangeTesterLoopMaxIteration
— Количество итераций цикла, после которых Автоматический Оранжевый Тестер рассматривает бесконечный циклЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Количество итераций цикла, после которых Автоматический Оранжевый Тестер считает тест бесконечным циклом, заданным как положительное целое число, максимум 1 000.
Для получения дополнительной информации смотрите.
Пример: opts.Advanced.AutomaticOrangeTesterLoopMaxIteration = 500
AutomaticOrangeTesterTestsNumber
— Количество тестов, которые должен запустить Автоматический Оранжевый ТестерЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Количество тестов, которые Автоматический Оранжевый Тестер должен запустить, заданный как положительное целое число, максимум 100 000.
Для получения дополнительной информации смотрите.
Пример: opts.Advanced.AutomaticOrangeTesterTestsNumber = 1000
AutomaticOrangeTesterTimeout
— Время в секундах допускало один тест в Автоматическом Оранжевом ТестереЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Время в секундах допускало один тест в Автоматическом Оранжевом Тестере, заданном как положительное целое число, максимум 60.
Для получения дополнительной информации смотрите.
Пример: opts.Advanced.AutomaticOrangeTesterTimeout = 10
CheckersList
— Список пользовательских средств проверки, чтобы активироватьсяpolyspace.DefectsOptions
| массив ячеек дефектных акронимовЭто свойство влияет на анализ Средства поиска Ошибки только.
Список пользовательских средств проверки, чтобы активироваться заданный при помощи имени объекта polyspace.DefectsOptions
или массива ячеек дефектных акронимов. Чтобы использовать этот пользовательский список в вашем анализе, установите CheckersPreset
на custom
.
Для получения дополнительной информации смотрите polyspace.DefectsOptions
.
Пример: defects = polyspace.DefectsOptions; opts.BugFinderAnalysis.CheckersList = defects
Пример: opts.BugFinderAnalysis.CheckersList = {'INT_ZERO_DIV','FLOAT_ZERO_DIV'}
CheckersPreset
— Подмножество дефектов Средства поиска Ошибкиdefault
(значение по умолчанию) | all
| CWE
| custom
Это свойство влияет на анализ Средства поиска Ошибки только.
Задайте список средств проверки, заданный как вектор символов одной из предварительно установленных опций: default
, all
, CWE
или custom
. Чтобы использовать custom
, задайте BugFinderAnalysis.CheckersList
.
Для получения дополнительной информации смотрите Find defects (-checkers)
.
Пример: opts.BugFinderAnalysis.CheckersPreset = 'all'
EnableCheckers
— Активируйте дефектную проверкуЭто свойство влияет на анализ Средства поиска Ошибки только.
Активируйте дефектную проверку, заданную как TRUE или FALSE. Установка этого свойства ко лжи отключает все дефекты. Если вы хотите отключить дефектную проверку, но все еще получить результаты, включите проверку правил кодирования или метрическую проверку кода.
Это свойство эквивалентно флажку Find defects в интерфейсе Polyspace.
Пример: opts.BugFinderAnalysis.EnableCheckers = false
AllowNegativeOperandInShift
— Позвольте операции сдвига влево на отрицательном числеЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Позвольте операции сдвига влево на отрицательном числе, заданном как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.AllowNegativeOperandInShift = true
AllowNonFiniteFloats
— Включите бесконечности и/или NaNsЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Включите бесконечности и/или NaNs, заданный как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.AllowNonFiniteFloats = true
AllowPtrArithOnStruct
— Позвольте арифметику на указателе на поле структуры так, чтобы это указало на другое полеЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Позвольте арифметику на указателе на поле структуры так, чтобы это указало на другое поле, заданное как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.AllowPtrArithOnStruct = true
CheckInfinite
— Обнаружьте операции с плавающей точкой тот результат в бесконечностяхallow
(значение по умолчанию) | warn-first
| forbid
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Обнаружьте операции с плавающей точкой тот результат в бесконечностях.
Чтобы активировать эту опцию, задайте ChecksAssumption.AllowNonFiniteFloats
.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.CheckInfinite = 'forbid'
CheckNan
— Обнаружьте операции с плавающей точкой тот результат в NaN-sallow
(значение по умолчанию) | warn-first
| forbid
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Обнаружьте операции с плавающей точкой тот результат в NaN-s.
Чтобы активировать эту опцию, задайте ChecksAssumption.AllowNonFiniteFloats
.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.CheckNan = 'forbid'
CheckSubnormal
— Detect, которые приводят к субнормальным значениям с плавающей точкойallow
(значение по умолчанию) | warn-first
| warn-all
| forbid
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Обнаружьте операции, которые приводят к субнормальным значениям с плавающей точкой.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.CheckSubnormal = 'forbid'
DetectPointerEscape
— Найдите случаи, куда функция возвращает указатель на одну из его локальных переменныхЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Найдите случаи, куда функция возвращает указатель на одну из его локальных переменных, заданных как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.DetectPointerEscape = true
DisableInitializationChecks
— Отключите проверки на неинициализированные переменные и указателиЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Отключите проверки на неинициализированные переменные и указатели, заданные как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.DisableInitializationChecks = true
PermissiveFunctionPointer
— Позвольте несоответствие типов между указателями функции и функциями, на которые они указываютЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Позвольте несоответствие типов между указателями функции и функциями, которые они указывают на, заданный как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.PermissiveFunctionPointer = true
SignedIntegerOverflows
— Поведение переполнения целого числа со знакомwarn-with-wrap-around
(значение по умолчанию) | forbid
| allow
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Позвольте проверке на переполнение целого числа со знаком и предположения сделать после переполнения заданный как forbid
, allow
или warn-with-wrap-around
.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.SignedIntegerOverflows = 'warn-with-wrap-around'
SizeInBytes
— Позвольте указателю с буфером недостаточно памяти указывать на структуруЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Позвольте указателю с буфером недостаточно памяти указывать на структуру, заданную как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.SizeInBytes = true
UncalledFunctionCheck
— Обнаружьте функции, которые не вызваны прямо или косвенно от основного или другой функции точки входаnone
(значение по умолчанию) | never-called
| called-from-unreachable
| all
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Обнаружьте функции, которые не вызваны прямо или косвенно от основного или другой функции точки входа, заданной как none
, never-called
, called-from-unreachable
или all
.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.UncalledFunctionCheck = 'all'
UnsignedIntegerOverflows
— Поведение переполнения беззнаковых целых чиселallow
(значение по умолчанию) | forbid
| warn-with-wrap-around
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Позвольте проверке на переполнение беззнаковых целых чисел и предположения сделать после переполнения, заданного как forbid
, allow
или warn-with-wrap-around
.
Для получения дополнительной информации смотрите.
Пример: opts.ChecksAssumption.UnsignedIntegerOverflows = 'allow'
ClassAnalyzer
— Классы, которые вы хотите проверитьnone
(значение по умолчанию) | all
| массив ячеек имен классовЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Классы, которые вы хотите проверить, заданный как all
, none
или массив ячеек имен классов.
Для получения дополнительной информации смотрите.
Пример: opts.CodeProverVerification.ClassAnalyzer = 'none'
FunctionsCalledAfterLoop
— Функции, которые сгенерированное основное должно вызвать после циклического цикла кодаЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Функции, которые сгенерированное основное должно вызвать после циклического цикла кода, заданного как массив ячеек имен функций.
Для получения дополнительной информации смотрите Termination functions (-functions-called-after-loop)
.
Пример: opts.CodeProverVerification.FunctionsCalledAfterLoop = {'func1','func2'}
FunctionsCalledBeforeLoop
— Функции, которые сгенерированное основное должно вызвать перед циклическим циклом кодаЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Образцовая Ссылка только. Функции, которые сгенерированное основное должно вызвать перед циклическим циклом кода, заданным как массив ячеек имен функций.
Для получения дополнительной информации смотрите Initialization functions (-functions-called-before-loop))
.
Пример: opts.CodeProverVerification.FunctionsCalledBeforeLoop = {'func1','func2'}
FunctionsCalledInLoop
— Функции, которые сгенерированное основное должно вызвать в циклическом цикле кодаnone
(значение по умолчанию) | all
| массив ячеек имен функцийЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Функции, которые сгенерированное основное должно вызвать в циклическом цикле кода, заданном как none
, all
или массив ячеек имен функций.
Для получения дополнительной информации смотрите Step functions (-functions-called-in-loop)
.
Пример: opts.CodeProverVerification.FunctionsCalledInLoop = 'all'
MainGenerator
— Сгенерируйте основную функцию, если она не присутствует в исходных файлахЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Сгенерируйте основную функцию, если она не присутствует в исходных файлах, заданных как TRUE или FALSE.
Для получения дополнительной информации смотрите Verify module or library (-main-generator)
.
Пример: opts.CodeProverVerification.MainGenerator = false
VariablesWrittenBeforeLoop
— Переменные, которые сгенерированное основное должно инициализировать перед циклическим циклом кодаnone
(значение по умолчанию) | all
| массив ячеек имен переменныхЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Переменные, которые сгенерированное основное должно инициализировать перед циклическим циклом кода, заданным как none
, all
или массив ячеек имен переменных.
Для получения дополнительной информации смотрите Parameters (-variables-written-before-loop)
.
Пример: opts.CodeProverVerification.VariablesWrittenBeforeLoop = 'all'
VariablesWrittenInLoop
— Переменные, которые сгенерированное основное должно инициализировать в циклическом цикле кодаnone
(значение по умолчанию) | all
| массив ячеек имен переменныхЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Переменные, которые сгенерированное основное должно инициализировать в циклическом цикле кода, заданном как none
, all
или массив ячеек имен переменных.
Для получения дополнительной информации смотрите Inputs (-variables-written-in-loop)
.
Пример: opts.CodeProverVerification.VariablesWrittenInLoop = 'all'
AcAgcSubset
— Подмножество AGC AC MISRA управляет, чтобы проверятьOBL-rules
(значение по умолчанию) | OBL-REC-rules
| single-unit-rules
| system-decidable-rules
| all-rules
| SQO-subset1
| SQO-subset2
| объект polyspace.CodingRulesOptions
| from-file
Подмножество AGC AC MISRA управляет, чтобы проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check MISRA AC AGC (-misra-ac-agc)
.
AGC AC MISRA пользовательское кодирование управляет объектом. Создать пользовательское кодирование управляет объектом, смотрите polyspace.CodingRulesOptions
.
Полный путь к файлу, содержащему ваше подмножество AGC AC MISRA. Можно создать этот файл вручную или в интерфейсе Polyspace. Смотрите Проверку на Кодирование Стандартных Нарушений.
Чтобы проверять правила AGC AC MISRA, также установите EnableAcAgc
на истину.
Пример: opts.CodingRulesCodeMetrics.AcAgcSubset = 'all-rules'
Типы данных: char
AllowedPragmas
— Директивы прагмы, для которых не должны быть применены правило 3.4 MISRA C:2004 или C++ MISRA 16-6-1Директивы прагмы, для которых не должны быть применены правило 3.4 MISRA C:2004 или C++ MISRA 16-6-1, задали как массив ячеек из символьных векторов. Это свойство влияет только на MISRA C:2004 или проверку правила AGC AC MISRA.
Для получения дополнительной информации смотрите Allowed pragmas (-allowed-pragmas)
.
Пример: opts.CodingRulesCodeMetrics.AllowedPragmas = {'pragma_01','pragma_02'}
Типы данных: cell
AutosarCpp14
— Набор C++ AUTOSAR 14 правил проверятьall
(значение по умолчанию) | required
| automated
| объект polyspace.CodingRulesOptions
| from-file
Это свойство влияет на Средство поиска Ошибки только.
Набор C++ AUTOSAR 14 правил проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check AUTOSAR C++ 14 security checks (-autosar-cpp14)
.
Если вы используете from-file
, используйте CheckersSelectionByFile
, чтобы задать полный путь к файлу файла, где вы задаете пользовательское подмножество C++ AUTOSAR 14 средств проверки.
Чтобы проверять C++ AUTOSAR 14 правил, также установите EnableAutosarCpp14
на истину.
Пример: opts.CodingRulesCodeMetrics.AutosarCpp14 = 'all'
Типы данных: char
BooleanTypes
— Типы данных средство проверки правила кодирования должны обработать как эффективно булевТипы данных, что средство проверки правила кодирования должно обработать так же эффективно булевскую переменную, заданную как массив ячеек из символьных векторов.
Для получения дополнительной информации смотрите Effective boolean types (-boolean-types)
.
Пример: opts.CodingRulesCodeMetrics.BooleanTypes = {'boolean1_t','boolean2_t'}
Типы данных: cell
CertC
— Набор правил CERT® C и рекомендаций проверятьall
(значение по умолчанию) | publish-2016
| rules
| объект polyspace.CodingRulesOptions
| from-file
Это свойство влияет на Средство поиска Ошибки только.
Набор CERT C правила и рекомендации проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check CERT-C security checks (-cert-c)
.
Если вы используете from-file
, используйте CheckersSelectionByFile
, чтобы задать полный путь к файлу файла, где вы задаете пользовательское подмножество средств проверки CERT-C.
Чтобы проверять CERT C правила и рекомендации, также установите EnableCertC
на истину.
Пример: opts.CodingRulesCodeMetrics.CertC = 'all'
Типы данных: char
CertCpp
— Набор CERT C++ управляет, чтобы проверятьall
(значение по умолчанию) | rules
| объект polyspace.CodingRulesOptions
| from-file
Это свойство влияет на Средство поиска Ошибки только.
Набор CERT C++ управляет, чтобы проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check CERT-C++ security checks (-cert-cpp)
.
Если вы используете from-file
, используйте CheckersSelectionByFile
, чтобы задать полный путь к файлу файла, где вы задаете пользовательское подмножество средств проверки CERT-C.
Чтобы проверять CERT правила C++, также установите EnableCertCpp
на истину.
Пример: 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.
Для получения дополнительной информации о метриках кода, смотрите Calculate code metrics (-code-metrics)
.
Пример: opts.CodingRulesCodeMetrics.CodeMetrics = true
CustomRulesSubset
— Настраиваемые правила именования, чтобы проверять по.xml
.Настраиваемые правила именования, чтобы проверять по, заданный как пользовательское кодирование управляют файлом. Создать пользовательское кодирование постановляет, что файл, в интерфейсе Polyspace, выбирает Check custom rules на узле Coding Standards & Code Metrics Configuration, разделяют на области и нажимают Edit
Для получения дополнительной информации смотрите Check custom rules (-custom-rules)
.
Пример: opts.CodingRulesCodeMetrics.CustomRulesSubset = 'C:\ps_settings\coding_rules\custom_rules.xml'
Типы данных: char
EnableAcAgc
— Проверяйте правила AGC AC MISRAПроверяйте правила AGC AC MISRA, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте AcAgcSubset
.
Для получения дополнительной информации о средстве проверки AGC AC MISRA, смотрите Check MISRA AC AGC (-misra-ac-agc)
.
Пример: opts.CodingRulesCodeMetrics.EnableAcAgc = true;
EnableAutosarCpp14
— Проверяйте C++ AUTOSAR 14 правилЭто свойство влияет на Средство поиска Ошибки только.
Проверяйте C++ AUTOSAR 14 правил, заданных как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте AutosarCpp14
.
Для получения дополнительной информации о C++ AUTOSAR 14 средств проверки, смотрите Check AUTOSAR C++ 14 security checks (-autosar-cpp14)
.
Пример: opts.CodingRulesCodeMetrics.EnableAutosarCpp14 = true;
EnableCertC
— проверяйте CERT C правила и рекомендацииЭто свойство влияет на Средство поиска Ошибки только.
Проверяйте CERT C правила и рекомендации, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте CertC
.
Для получения дополнительной информации о CERT C средство проверки, смотрите Check CERT-C security checks (-cert-c)
.
Пример: opts.CodingRulesCodeMetrics.EnableCertC = true;
EnableCertCpp
— проверяйте CERT правила C++Это свойство влияет на Средство поиска Ошибки только.
Проверяйте 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)
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Это свойство влияет на Средство поиска Ошибки только.
Проверяйте правила ISO®/IEC TS 17961, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте Iso17961
.
Для получения дополнительной информации о средстве проверки ISO 17961, смотрите Check ISO-17961 security checks (-iso-17961)
.
Пример: opts.CodingRulesCodeMetrics.EnableIso17961 = true;
EnableJsf
— Проверяйте правила C++ JSFПроверяйте правила C++ JSF, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте JsfSubset
.
Для получения дополнительной информации смотрите Check JSF C++ rules (-jsf-coding-rules)
.
Пример: opts.CodingRulesCodeMetrics.EnableJsf = true;
EnableMisraC
— Проверяйте правила MISRA C:2004Проверяйте правила MISRA C:2004, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте MisraCSubset
.
Для получения дополнительной информации смотрите Check MISRA C:2004 (-misra2)
.
Пример: opts.CodingRulesCodeMetrics.EnableMisraC = true;
EnableMisraC3
— Проверяйте правила MISRA C:2012Проверяйте правила MISRA C:2012, заданные как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте MisraC3Subset
.
Для получения дополнительной информации о средстве проверки MISRA C:2012, смотрите Check MISRA C:2012 (-misra3)
.
Пример: opts.CodingRulesCodeMetrics.EnableMisraC3 = true;
EnableMisraCpp
— Проверяйте MISRA C ++:2008 правилПроверяйте MISRA C ++:2008 правил, заданных как TRUE или FALSE. Чтобы настроить, какие правила проверяются, используйте MisraCppSubset
.
Для получения дополнительной информации о MISRA C ++:2008 средств проверки, смотрите Check MISRA C++ rules (-misra-cpp)
.
Пример: opts.CodingRulesCodeMetrics.EnableMisraCpp = true;
Iso17961
— Набор ISO 17961 управляет, чтобы проверятьall
(значение по умолчанию) | decidable
| объект polyspace.CodingRulesOptions
| from-file
Это свойство влияет на Средство поиска Ошибки только.
Набор ISO/IEC TS 17961 управляет, чтобы проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check ISO-17961 security checks (-iso-17961)
.
Если вы используете from-file
, используйте CheckersSelectionByFile
, чтобы задать полный путь к файлу файла, где вы задаете пользовательское подмножество средств проверки ISO 17961.
Чтобы проверять правила ISO/IEC TS 17961, также установите EnableIso17961
на истину.
Пример: opts.CodingRulesCodeMetrics.Iso17961 = 'all'
Типы данных: char
JsfSubset
— Подмножество C++ JSF управляет, чтобы проверятьshall-rules
(значение по умолчанию) | shall-will-rules
| all-rules
| объект polyspace.CodingRulesOptions
| файлПодмножество C++ JSF управляет, чтобы проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check JSF C++ rules (-jsf-coding-rules)
.
C++ JSF пользовательское кодирование управляет объектом. Создать пользовательское кодирование управляет объектом, смотрите polyspace.CodingRulesOptions
.
Полный путь к файлу, содержащему ваше подмножество C++ JSF. Можно создать этот файл вручную или от интерфейса Polyspace. Смотрите Проверку на Кодирование Стандартных Нарушений.
Чтобы проверять правила C++ JSF, установите EnableJsf
на истину.
Пример: opts.CodingRulesCodeMetrics.JsfSubset = 'all-rules'
Типы данных: char
Misra3AgcMode
— Используйте категории MISRA C:2012 для автоматически сгенерированного кодаИспользуйте категории MISRA C:2012 для автоматически сгенерированного кода, заданного как TRUE или FALSE.
Для получения дополнительной информации смотрите Use generated code requirements (-misra3-agc-mode)
.
Пример: opts.CodingRulesCodeMetrics.Misra3AgcMode = true;
MisraC3Subset
— Подмножество MISRA C:2012 управляет, чтобы проверятьmandatory-required
(значение по умолчанию) | mandatory
| single-unit-rules
| system-decidable-rules
| all
| SQO-subset1
| SQO-subset2
| объект polyspace.CodingRulesOptions
| файлПодмножество MISRA C:2012 управляет, чтобы проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check MISRA C:2012 (-misra3)
.
MISRA C:2012 пользовательское кодирование управляет объектом. Создать пользовательское кодирование управляет объектом, смотрите polyspace.CodingRulesOptions
.
Полный путь к файлу, содержащему ваше подмножество MISRA C:2012. Можно создать пользовательский файл правил кодирования вручную или в интерфейсе Polyspace. Смотрите Проверку на Кодирование Стандартных Нарушений.
Чтобы проверять правила MISRA C:2012, также установите EnableMisraC3
на истину.
Пример: opts.CodingRulesCodeMetrics.MisraC3Subset = 'all'
Типы данных: char
MisraCSubset
— Подмножество MISRA C:2004 управляет, чтобы проверятьrequired-rules
(значение по умолчанию) | single-unit-rules
| system-decidable-rules
| all-rules
| SQO-subset1
| SQO-subset2
| объект polyspace.CodingRulesOptions
| файлПодмножество MISRA C:2004 управляет, чтобы проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check MISRA C:2004 (-misra2)
.
MISRA C:2004 пользовательское кодирование управляет объектом. Создать пользовательское кодирование управляет объектом, смотрите polyspace.CodingRulesOptions
.
Полный путь к файлу, содержащему ваше подмножество MISRA C:2004. Можно создать пользовательский файл правил кодирования вручную или в интерфейсе Polyspace. Смотрите Проверку на Кодирование Стандартных Нарушений.
Чтобы проверять правила MISRA C:2004, также установите EnableMisraC
на истину.
Пример: opts.CodingRulesCodeMetrics.MisraCSubset = 'all-rules'
Типы данных: char
MisraCppSubset
— Подмножество правил C++ MISRArequired-rules
(значение по умолчанию) | all-rules
| CERT-rules
| CERT-all
| SQO-subset1
| SQO-subset2
| объект polyspace.CodingRulesOptions
| файлПодмножество MISRA C ++:2008 правил проверять, заданный:
Вектор символов одного из имен подмножества. Для получения дополнительной информации о различных подмножествах, смотрите Check MISRA C++ rules (-misra-cpp)
.
C++ MISRA, кодирующий объект правил. Создать пользовательское кодирование управляет объектом, смотрите polyspace.CodingRulesOptions
.
Полный путь к файлу, содержащему ваше подмножество C++ MISRA. Можно создать этот файл вручную или от интерфейса Polyspace. Смотрите Проверку на Кодирование Стандартных Нарушений.
Чтобы проверять правила C++ MISRA, установите EnableMisraCpp
на истину.
Пример: 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
— Include необходимы для компиляцииВключайте папки, необходимые для компиляции, заданной как массив ячеек включать путей к папкам.
Чтобы задать все подпапки папки, используйте путь к папке, сопровождаемый **
, например, 'C:\includes\**'
. Обозначение следует за синтаксисом функции dir
. См. также Задают Несколько Исходных файлов.
Для получения дополнительной информации смотрите -I
.
Пример: opts.EnvironmentSettings.IncludeFolders = {'/includes','/com1/inc'};
Пример: opts.EnvironmentSettings.IncludeFolders = {'C:\project1\common\includes'};
Типы данных: cell
Includes
— Файлы, чтобы быть #include
- редактор каждым файлом 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
— Ограничьте глобальные переменные, входные параметры функции и возвращаемые значения заблокированных функцийОграничьте глобальные переменные, входные параметры функции и возвращаемые значения заблокированных функций, заданных путем к ограничительному файлу XML. Для получения дополнительной информации об ограничительном файле, смотрите, Задают Внешние Ограничения.
Для получения дополнительной информации об этой опции, смотрите Constraint setup (-data-range-specifications)
.
Пример: opts.InputsStubbing.DataRangeSpecifications = 'C:\project\constraint_file.xml'
DoNotGenerateResultsFor
— Файлы, на которых вы не хотите результатов анализаinclude-folders
(значение по умолчанию) | all-headers
| custom=file1[,folder1[,...]]
Файлы, на которых вы не хотите результатов анализа, заданных 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=file1[,folder1[,...]]
Файлы, на которых вы хотите результаты анализа, заданные 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
— Функции к тупику во время анализаЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Функции к тупику во время анализа, заданного как массив ячеек имен функций.
Для получения дополнительной информации смотрите.
Пример: opts.InputsStubbing.FunctionsToStub = {'func1', 'func2'}
NoDefInitGlob
— Рассмотрите глобальные переменные как неинициализированныеЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Считайте глобальные переменные столь же неинициализированными, заданными как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.InputsStubbing.NoDefInitGlob = true
NoStlStubs
— Не используйте реализации Polyspace функций в Стандартной библиотеке шаблоновЭто свойство применяется только к анализу Программы автоматического доказательства Кода Кода С++.
Не используйте реализации Polyspace функций в Стандартной библиотеке шаблонов, заданной как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.InputsStubbing.NoStlStubs = true
StubECoderLookupTables
— Укажите, что анализ должен интерфейсные функции в сгенерированном коде то использование интерполяционные таблицыtrue
(значение по умолчанию) | false
Это свойство применяется только к анализу Программы автоматического доказательства Кода кода, сгенерированного из моделей.
Укажите, что анализ должен интерфейсные функции в сгенерированном коде то использование интерполяционные таблицы. Заменяя функции на тупики, анализ принимает более точные возвращаемые значения для функций.
Для получения дополнительной информации смотрите.
Пример: 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
— Загрузите результаты Средства поиска Ошибки на Метрическую веб-инструментальную панель PolyspaceЭто свойство влияет на анализ Средства поиска Ошибки только.
Загрузите результаты анализа Средства поиска Ошибки на Метрическую веб-инструментальную панель Polyspace, заданную как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.
Для получения дополнительной информации смотрите Upload results to Polyspace Metrics (-add-to-results-repository)
.
Пример: opts.MergedComputingSettings.AddToResultsRepositoryBugFinder = true;
AddToResultsRepositoryCodeProver
— Загрузите результаты Программы автоматического доказательства Кода на Метрическую веб-инструментальную панель PolyspaceЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Загрузите результаты анализа Программы автоматического доказательства Кода на Метрическую веб-инструментальную панель Polyspace, заданную как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.
Для получения дополнительной информации смотрите.
Пример: opts.MergedComputingSettings.AddToResultsRepositoryCodeProver = true;
BatchBugFinder
— Отправьте анализ Средства поиска Ошибки в удаленный серверЭто свойство влияет на анализ Средства поиска Ошибки только.
Отправьте анализ Средства поиска Ошибки в удаленный сервер, заданный как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.
Для получения дополнительной информации смотрите Run Bug Finder or Code Prover analysis on a remote cluster (-batch)
.
Пример: opts.MergedComputingSettings.BatchBugFinder = true;
BatchCodeProver
— Отправьте анализ Программы автоматического доказательства Кода в удаленный серверЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Отправьте анализ Программы автоматического доказательства Кода в удаленный сервер, заданный как TRUE или FALSE. Чтобы использовать эту опцию, в ваших настройках Polyspace, необходимо задать метрический сервер.
Для получения дополнительной информации смотрите.
Пример: opts.MergedComputingSettings.BatchCodeProver = true;
FastAnalysis
— Запустите анализ Средства поиска Ошибки с помощью быстрее локальный режимЭто свойство влияет на анализ Средства поиска Ошибки только.
Используйте быстрый аналитический режим для анализа Средства поиска Ошибки, заданного как 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
— Обработайте по шаблону для генерации аналитического отчета Средства поиска ОшибкиBugFinderSummary
(значение по умолчанию) | BugFinder
| SecurityCWE
| CodeMetrics
| CodingStandards
Это свойство влияет на анализ Средства поиска Ошибки только.
Обработайте по шаблону для генерации аналитического отчета, заданного как один из форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration
.
Для получения дополнительной информации о различных значениях, смотрите Bug Finder and Code Prover report (-report-template)
.
Пример: opts.MergedReporting.BugFinderReportTemplate = 'CodeMetrics'
CodeProverReportTemplate
— Обработайте по шаблону для генерации аналитического отчета Программы автоматического доказательства КодаDeveloper
(значение по умолчанию) | CallHierarchy
| CodeMetrics
| CodingStandards
| DeveloperReview
| Developer_withGreenChecks
| Quality
| VariableAccess
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Обработайте по шаблону для генерации аналитического отчета, заданного как один из предопределенных форматов отчета. Чтобы активировать эту опцию, задайте Reporting.EnableReportGeneration
.
Для получения дополнительной информации о различных значениях, смотрите.
Пример: 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
— Включите автоматическое обнаружение определенных семейств поточной обработки функцийЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Включите автоматическое обнаружение определенных семейств поточной обработки функций, заданных как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.Multitasking.EnableConcurrencyDetection = true
EnableExternalMultitasking
— Включите автоматическую многозадачную настройку из внешних определений файлаВключите многозадачную настройку своих проектов из внешних файлов, которые вы обеспечиваете. Сконфигурируйте многозадачность из файлов ARXML для проекта AUTOSAR, или из НЕФТЯНЫХ файлов для проекта 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
анализ ищет НЕФТЯНЫЕ файлы в путях к файлам или путях к папкам, которые вы задаете.
Для типа autosar
анализ ищет файлы ARXML в путях к файлам, которые вы задаете.
Чтобы активировать эту опцию, задайте Multitasking.EnableExternalMultitasking
.
Для получения дополнительной информации смотрите OIL files selection (-osek-multitasking)
и ARXML files selection (-autosar-multitasking)
.
Пример:
opts.Multitasking.ExternalMultitaskingType = 'autosar'
Interrupts
— Задайте функции, которые представляют nonpreemptable прерыванияЗадайте функции, которые представляют nonpreemptable прерывания.
Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Interrupts (-interrupts)
.
Пример: opts.Multitasking.Interrupts = {'function1','function2'}
InterruptsDisableAll
— Задайте стандартную программу, которые отключают прерыванияЭто свойство влияет на анализ Средства поиска Ошибки только.
Задайте функцию, которая отключает все прерывания.
Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts)
.
Пример: opts.Multitasking.InterruptsDisableAll = {'function'}
InterruptsEnableAll
— Задайте стандартную программу, которые повторно включают прерыванияЭто свойство влияет на анализ Средства поиска Ошибки только.
Задайте функцию, которая повторно включает все прерывания.
Чтобы активировать эту опцию, задайте Multitasking.EnableMultitasking
.
Для получения дополнительной информации смотрите Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts)
.
Пример: opts.Multitasking.InterruptsEnableAll = {'function'}
OsekMultitasking
— Задайте путь НЕФТЯНЫХ файлов, чтобы проанализировать для многозадачной настройки auto
(значение по умолчанию) | custom=file1[,folder1[,...]]
Задайте путь к НЕФТЯНЫМ файлам синтаксические анализы программного обеспечения, чтобы настроить вашу многозадачную настройку:
В режиме auto
анализ использует НЕФТЯНЫЕ файлы в вашем источнике проекта, и включайте папки, но не их подпапки.
В режиме custom
анализ использует НЕФТЯНЫЕ файлы в заданном пути и подпапки path.
Чтобы активировать эту опцию, задайте 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'}
, где function1 и function2 временно исключительны, и function3, function4, и функция 5, временно исключителен.
ContextSensitivity
— Сохраните контекстную информацию вызова, чтобы идентифицировать вызов функции, который вызвал ошибкиnone
(значение по умолчанию) | auto
| custom=function1[,function2[,...]]
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Сохраните контекстную информацию вызова, чтобы идентифицировать вызов функции, который вызвал ошибки, заданные как none
, auto
, или как символьный массив, начинающийся с custom=
, сопровождаемого списком разделенных от запятой имен функций.
Для получения дополнительной информации смотрите.
Пример: opts.Precision.ContextSensitivity = 'auto'
Пример: opts.Precision.ContextSensitivity = 'custom=func1'
ModulesPrecision
— Исходные файлы вы хотите проверить в более высокой точностиЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Исходные файлы, которые вы хотите проверить в более высокой точности, заданной как массив ячеек имен файлов без расширения и уровней точности с помощью этого синтаксиса: filename:Olevel
Для получения дополнительной информации смотрите.
Пример: opts.Precision.ModulesPrecision = {'file1:O0', 'file2:O3'}
OLevel
— Уровень точности для верификацииЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Уровень точности для верификации, заданной как 0, 1, 2, или 3.
Для получения дополнительной информации смотрите.
Пример: opts.Precision.OLevel = 3
PathSensitivityDelta
— Избегайте определенных приближений верификации для кода с меньшим количеством строкЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Избегайте определенных приближений верификации для кода с меньшим количеством строк, заданных как положительное целочисленное представление, насколько чувствительный анализ. Более высокие значения могут увеличить время верификации экспоненциально.
Для получения дополнительной информации смотрите.
Пример: opts.Precision.PathSensitivityDelta = 2
Тайм-аут
Ограничение по времени на вашей верификацииЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Ограничение по времени на вашей верификации, заданной как вектор символов времени в часах.
Для получения дополнительной информации смотрите.
Пример: 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
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Число раз выполнения процесса проверки, заданные как один из предварительно установленных аналитических уровней.
Для получения дополнительной информации смотрите.
Пример: opts.Precision.To = 'Software Safety Analysis level 3'
Встроенный
Функции, на которых отдельные результаты должны быть сгенерированы для каждого вызова функцииЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Функции, на которых отдельные результаты должны быть сгенерированы для каждого вызова функции, задали как массив ячеек имен функций.
Для получения дополнительной информации смотрите.
Пример: opts.Scaling.Inline = {'func1','func2'}
KLimiting
— Ограничьте глубину анализа для вложенных структурЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Ограничьте глубину анализа для вложенных структур, заданных как положительное целое число, указывающее сколько уровней во вложенную структуру, чтобы проверить.
Для получения дополнительной информации смотрите.
Пример: 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++ 11 стандартных версий, сопровождаемых в кодеdefined-by-compiler
(значение по умолчанию) | cpp03
| cpp11
| cpp14
Задайте стандартную версию 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Проигнорируйте директивы пакета #pragma, заданные как 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
— Примите, что энергозависимые квалифицированные поля структуры могут иметь все возможные значения в любой точке в кодеЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Примите, что энергозависимые квалифицированные поля структуры могут иметь все возможные значения в любой точке в коде.
Для получения дополнительной информации смотрите.
Пример: opts.VerificationAssumption.ConsiderVolatileQualifierOnFields = true
ConstraintPointersMayBeNull
— Укажите, что указателями среды может быть NULL, если не ограничено в противном случаеЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Укажите, что указателями среды может быть NULL, если не ограничено в противном случае.
Для получения дополнительной информации смотрите.
Пример: opts.VerificationAssumption.ConstraintPointersMayBeNull = true
FloatRoundingMode
— Rounding, чтобы рассмотреть при определении результатов арифметики с плавающей точкойto-nearest
(значение по умолчанию) | all
Это свойство влияет на анализ Программы автоматического доказательства Кода только.
Округление режимов, чтобы рассмотреть при определении результатов арифметики с плавающей точкой, заданной как to-nearest
или all
.
Для получения дополнительной информации смотрите.
Пример: opts.VerificationAssumption.FloatRoundingMode = 'all'
RespectTypesInFields
— Не бросайте неуказательные поля структуры к указателямЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Не бросайте неуказательные поля структуры к указателям, заданным как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.VerificationAssumption.RespectTypesInFields = true
RespectTypesInGlobals
— Не бросайте неуказательные глобальные переменные к указателямЭто свойство влияет на анализ Программы автоматического доказательства Кода только.
Не бросайте неуказательные глобальные переменные к указателям, заданным как TRUE или FALSE.
Для получения дополнительной информации смотрите.
Пример: opts.VerificationAssumption.RespectTypesInGlobals = true
Author
— Автор проектаИмя автора проекта, заданного как вектор символов.
Для получения дополнительной информации смотрите -author
.
Пример: opts.Author = 'JaneDoe'
ImportComments
— Импортируйте комментарии и выравнивания от предыдущего анализаЧтобы импортировать комментарии и выравнивания от предыдущего анализа, задайте путь к папке результатов предыдущего анализа.
Для получения дополнительной информации смотрите -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
.
Пример: 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'}
Версия
Номер версии проекта1.0
(значение по умолчанию) | символьный массив номераНомер версии проекта, заданного как символьный массив номера. Эта опция полезна, если вы загружаете свои результаты на Метрики Polyspace. Если вы постепенно увеличиваете номера версий каждый раз, когда вы повторно анализируете свой объект, можно сравнить результаты двух версий в Метриках Polyspace.
Для получения дополнительной информации смотрите -v[ersion]
.
Пример: opts.Version = '2.3'
1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.
2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.
3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.
4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.
5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.