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

Установите Polyspace как вас Engine анализа кода и расширения IDE

Polyspace, когда Вы Кодируете, прибывает связанный установкой Polyspace Bug Finder Access, предназначенной для команд или организаций. Однажды Polyspace доступ к веб-серверу настраивается, любой из лицензированных пользователей может загрузить Polyspace, когда Вы Кодируете инсталлятор как заархивированный файл от Polyspace доступ к веб-интерфейсу.

Концептуально, Polyspace, когда Вы Кодируете, состоит из этих частей:

Разархивируйте и запустите инсталлятор и следуйте экранным инструкциям. После того, как аналитический механизм установлен, у вас есть выбор установить одно или несколько расширений IDE. Для получения дополнительной информации смотрите Polyspace Установки, когда Вы Кодируете Используя Инсталлятор.

В качестве альтернативы можно установить расширения IDE позже. Для получения дополнительной информации см.:

Запустите Polyspace, в то время как вы кодируете и рассматриваете результаты

После установки каждый раз открывает ваш IDE, Polyspace как Вы, Расширение кода готово запустить анализ. Если вы открываете C или файл C++, вносите некоторые изменения и сохранили файл, анализ запускается автоматически. (Можно отключить автоматический анализ и принять решение запустить анализ явным образом вместо этого.)

Чтобы запустить анализ, в вашем IDE, открывают проект или рабочую область, что вы в настоящее время продолжаете работать и открываете файл в проекте. В качестве альтернативы скопируйте следующую функцию в .c или .cpp файл и открытый файл в вашем IDE (использующий проект или в противном случае). Функция содержит ошибки, такие как доступ к массиву за пределы, ненужный код и использование оператора присваивания вместо равенства.

#define MAXBUF 20
int buf[MAXBUF];

int saturateAndShift(int limit, int* stream, int size) {
    int i;
    int numMax = 0;

    if(size > MAXBUF) {
        return -1; 
    }

    if(size <= MAXBUF) {
        for(i=0; i<size; i++) {
            if(stream[i] > limit || stream[i] < 0) {
                buf[i+1] = 0;
            }
            else if(stream[i] = limit){
                buf[i+1] = stream[i];
                numMax ++;
            }
            else {
                buf[i+1] = stream[i];
            }
        }
    }
    return numMax;
}

После Polyspace как Вы Анализ кода вы видите результаты (ошибки и кодирование стандартных нарушений) как маркеры исходного кода на в настоящее время активном файле. Можно также видеть результаты в отдельном списке в IDE. Для получения дополнительной информации см.:

Можно также экспортировать результаты на терминале командной строки или консоли IDE. Для более богатых результатов можно экспортировать результаты в формат JSON и управлять ими далее перед отображением. Для получения дополнительной информации смотрите Polyspace Запуска, когда Вы Кодируете от Результатов Командной строки и Экспорта.

Сконфигурируйте Polyspace, в то время как вы кодируете расширение IDE

Анализ по умолчанию предварительно сконфигурирован, чтобы работать над маленькими проектами в ИДАХ. На практике вам придется сконфигурировать настройки расширения IDE далее, чтобы эмулировать вашу сборку тесно, включить или отключить средства проверки, видеть новые результаты только или для других корректировок.

Например, по умолчанию, Polyspace, когда Вы Кодируете запуски каждый раз, когда вы сохраняете свой код. Можно отключить автоматические запуски с помощью установки расширения (и запустить анализ явным образом с опциями щелчка правой кнопкой на исходном коде). Для полного списка дополнительных настроек и как открыть их, см.:

Дополнительные настройки попадают в три главных группы: