Exponenta Banner
exponenta event banner

класс polyspace.PoxingOptions

Пакет: полиспейс

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

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

Описание

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

Примечание

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

Строительство

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

Свойства

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

По умолчанию все дефекты выключаются. Для включения дефекта установите для дефекта значение 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

Поддержка