polyspace.DefectsOptions class

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

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

Описание

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

Примечание

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

Конструкция

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

Свойства

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

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

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

Примеры

свернуть все

Настройте список дефектов, проверяемых во время анализа 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