このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

Visual Studio Code での Polyspace as You Code 解析の実行

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

このガイドのタスクにより、次の基本的なアクションの概要を把握できます。

1. Visual Studio Code IDE で Polyspace as You Code を構成する。

2. 解析を実行して、調査結果を正当化または修正する。

3. 新しい調査結果と比較するために、Polyspace Access からベースラインをダウンロードして同期する。

このガイドでは、読者に Visual Studio Code の実用的な知識があることを前提としています。

チュートリアルを開始する前に、Polyspace as You Code がマシンにインストールされていることを確認してください。Visual Studio Code での Polyspace as You Code 拡張機能のインストールを参照してください。

独自のコードを使用するか、以下のコードをコピーして Visual Studio Code に貼り付けて使用しながら、このガイドを参照してください。

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; 
}

このガイドを開始するには、Visual Studio Code での Polyspace as You Code の構成を参照してください。