Exponenta Banner

polyspace.DefectsOptions class

Пакет: полипробел

Создайте пользовательский список дефектов, чтобы проверять

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

Описание

Создайте пользовательский список дефектов, чтобы зарегистрироваться в анализе Polyspace®.

Примечание

Прежде чем вы запустите Polyspace от MATLAB®, необходимо соединить Polyspace и установки MATLAB. Смотрите Интегрируют Серверные продукты Polyspace с MATLAB и Simulink.

Конструкция

defectsList = polyspace.DefectsOptions создает дефектный объект defectsList опций. Можно настроить список активных дефектов путем изменения свойств.

Свойства

Объект создается с поддерживаемыми дефектами как свойства. Дефекты перечислены их именем командной строки. Смотрите Краткие названия Средств проверки Дефекта Средства поиска Ошибки.

По умолчанию все дефекты выключены. Чтобы включить дефект, установите дефект на истину. Например:

defectsList = polyspace.DefectsOptions;
defectsList.FLOAT_ZERO_DIV = true;

Копировать семантику

Значение. Чтобы изучить, как классы значения влияют на операции копии, смотрите Копирование Объектов (MATLAB).

Примеры

свернуть все

Настройте список дефектов, проверяемых во время анализа Polyspace Bug Finder.

Создайте два объекта: polyspace.DefectsOptions объект для того, чтобы установить правила кодирования и polyspace.Project объект для выполнения анализа Polyspace.

defectsList = polyspace.DefectsOptions;
proj = polyspace.Project;

Включите числовые дефекты.

defectsList.FLOAT_ZERO_DIV = true;
defectsList.INT_ZERO_DIV = true;
defectsList.FLOAT_ABSORPTION = true;
defectsList.BITWISE_NEG = true;
defectsList.FLOAT_CONV_OVFL = true;
defectsList.FLOAT_OVFL = true;
defectsList.INT_CONV_OVFL = true;
defectsList.INT_OVFL = true;
defectsList.FLOAT_STD_LIB = true;
defectsList.INT_STD_LIB = true;
defectsList.SHIFT_NEG = true;
defectsList.SHIFT_OVFL = true;
defectsList.SIGN_CHANGE = true;
defectsList.UINT_CONV_OVFL = true;
defectsList.UINT_OVFL = true;
defectsList.BAD_PLAIN_CHAR_USE = true;

Добавьте, что индивидуально настраиваемый список переходит на сторону Configuration свойство polyspace.Project объект. 

proj.Configuration.BugFinderAnalysis.CheckersList = defectsList;
proj.Configuration.BugFinderAnalysis.CheckersPreset = 'custom';

Можно теперь использовать polyspace.Project возразите, чтобы запустить анализ.

Смотрите также

| |

Темы

Введенный в R2017b

Документация Polyspace Bug Finder Server
Поддержка