Просмотрите информацию об ошибке, когда анализ остановится

Если анализ останавливается, можно просмотреть информацию об ошибке об экране, или в пользовательском интерфейсе или на терминале командной строки. В качестве альтернативы можно просмотреть информацию об ошибке в файле журнала, сгенерированном во время анализа. На основе информации об ошибке можно или зафиксировать исходный код, добавить недостающие файлы или аналитические опции изменения, чтобы закончить ошибку.

Для получения информации о том, почему Polyspace® не удается скомпилировать ваш код несмотря на успешную компиляцию с вашим компилятором, видеть Компиляцию Поиска и устранения неисправностей и Соединение Ошибок.

Просмотрите информацию об ошибке в пользовательском интерфейсе

  1. Просмотрите ошибки на вкладке Output Summary.

    Сообщения на этой вкладке появляются со следующими значками.

    ЗначокЗначение

    Ошибка, которая блокирует анализ.

    Например, анализ не может найти объявление переменной или определение и поэтому не может определить тип переменной.

    Предупреждение о проблеме, которая не блокирует анализ отдельно, но могла быть связана с блокирующейся ошибкой.

    Например, анализ не может найти включать файл, который является #include- d в вашем коде. Проблема не блокирует анализ отдельно, но если включать файл содержит определение переменной, которую вы используете в своем исходном коде, можно столкнуться с ошибкой позже.

    Дополнительная информация об анализе.

  2. Чтобы диагностировать и зафиксировать каждую ошибку, можно сделать следующее:

    • Чтобы видеть более подробную информацию об ошибке, выберите сообщение об ошибке. Детали появляются в окне Detail ниже вкладки Output Summary.

    • Чтобы открыть исходный код в линии, содержащей ошибку, дважды кликните сообщение.

  3. Если вы включаете Ассистенту Компиляции, чтобы зафиксировать ошибку, можно выполнить определенные действия на вкладке Output Summary.

    Следующий рисунок показывает, что ошибка из-за отсутствия включает файл turbo.h. Можно добавить недостающий файл путем нажатия кнопки Add на вкладке Output Summary.

    Чтобы включить Ассистент Компиляции, выберите Tools> Preferences. На вкладке Project and Results Folder выберите Use Compilation Assistant.

    Ассистент Компиляции отключен, если вы задаете опцию Verify files independently (-unit-by-unit) или Command/script to apply to preprocessed files (-post-preprocessing-command).

Совет

Чтобы искать сообщения об ошибке конкретный термин, на панели Search, вводят ваш критерий поиска. Из выпадающего списка на этой панели выберите Output Summary или Run Log. Если панель Search не открыта по умолчанию, выберите Windows> Show/Hide View> Search.

Просмотрите информацию об ошибке в файле журнала

Можно просмотреть ошибки непосредственно в файле журнала. Файл журнала находится в вашей папке результатов. Открыть файл журнала:

  1. Щелкните правой кнопкой по имени папки результата по панели Project Browser. Из контекстного меню выберите Open Folder with File Manager.

  2. Откройте файл журнала, Polyspace_R20##n_ProjectNameдатаВремяжурнал

  3. Чтобы просмотреть ошибки, просмотрите путем прокрутки файл журнала, запускающийся в конце и работающий назад.

    Следующий пример показывает демонстрационную информацию о файле журнала. Ошибка произошла потому что опция C++ - анализатор класса custom=arg использовался, но анализ не может найти arg в исходном коде.

    ----------------------------------------------------------------------
    User Program Error: Argument of option -class-analyzer not found.
    |                   Class or typedef MyClass does not exist.
    |Please correct the program and restart the verifier.
    ----------------------------------------------------------------------
    -------------------------------------------------------------------
    ---                                                             ---
    ---  Verifier has encountered an internal error.                ---
    ---  Please contact your technical support.                     ---
    ---                                                             ---
    -------------------------------------------------------------------
    Failure at: Sep 24, 2009 17:16:26
    User time for polyspace-code-prover: 25.6real, 25.6u + 0s 
                                                               (0gc)
    Error: Exiting because of previous error
    ***
    *** End of Polyspace Verifier analysis
    ***