Eclipse での Polyspace as You Code 解析の実行

Polyspace^® as You Code を利用すると、Eclipse™ IDE での開発中に欠陥およびコーディング規約違反を検出できます。コーディングを行いながら解析を実行し、調査結果を修正できるため、開発サイクルが進んでからバグが見つかることがなくなります。Polyspace as You Code を Polyspace Access™ 一元化リポジトリに接続すると、開発ベースラインと比較して見つかった新たな問題が強調表示されます。

このガイドに記載する例では、次の方法を説明します。

これらの例では、読者に Eclipse の実用的な知識があることを前提としています。

最初のステップを開始する前に、次のことを行います。

Polyspace as You Code がマシンにインストールされていることを確認します。Eclipse での Polyspace as You Code プラグインのインストールを参照してください。
独自のコードを使用するか、以下のコードをコピーして Eclipse に貼り付けて、このガイドで説明する手順に従います。

example.hpp

#include <string>

class Demo {
    void myFunction(std::string buffer) const{

    }
};

example_source.cpp

#include "example.hpp"


int simple_defect(){
    uint32_t x = -1;
    x++;
    return 1 / x; 
}

最初の例として、Eclipse での Polyspace as You Code の構成を参照してください。