Exponenta Banner
exponenta event banner

polyspace.DefectsOptions class

Пакет: полипространство

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

развернуть все на странице

Описание

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

Примечание

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

Конструкция

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

Свойства

Создается объект с поддерживаемыми дефектами в качестве свойств. Дефекты перечисляются по имени командной строки. Смотрите краткие имена Bug Finder Defect Checkers.

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

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 объект, чтобы запустить анализ.

См. также

| | |

Темы

Введенный в R2016b

Документация Polyspace Bug Finder

Поддержка