0

私は静的分析ツールを初めて使用し、単純なチェッカーを構築しようとしています。OUTPUT_ERROR をスローしているときに、「cond_true」などのタグを使用してさらに詳細を取得しています。これらをスタブして、表示したいエラーのみを出力する方法はありますか。

ありがとう。

4

1 に答える 1

0

まず、cov-build を使用して中間ファイルを作成する必要があります。このコマンドでは、make (makefile) を指定する必要があります。その後、cov-buildコマンドで指定した場所にemitファイルを作成します。

次に、cov-analyze を使用して分析レポートを作成する必要があります。バグが見つかった場合は、ターミナルに戻ることを意味します。

HTML ファイルのエラーを表示するには、cov-format-errors を使用する必要があります。このコマンドは、エラー ディレクトリを作成します。そのディレクトリには、分析されたコードの HTML 統計レポートがあります。

コマンド例:

(プログラムが同じフォルダー (bin) にある場合、現在のディレクトリ (bin/emit) に発行ファイルが作成されます)。

cov-build --dir . gcc hi.c

(単一の .c ファイルをビルドする場合)

また

cov-build --dir . 作る

(make コマンドを使用するには、makefile を作成する必要があります。(bin に vi makefile を作成し、cov-build によってビルドされるプログラムのコンパイルに関する独自のスクリプトを記述します))

cov-analyze --dir .

cov-format-errors --dir .

于 2015-02-09T12:05:13.337 に答える