問題タブ [coverity-prevent]

カスタム チェッカーを作成するときに、関数 (ポインター、配列、整数) の一般的な引数を取得し、式を裏付ける値を取得する簡単な方法はありますか? のように、次のような関数と照合します。

p と i を裏付ける値を取得する簡単な方法はありますか? ありがとう。

**言語は、カスタム チェッカーを作成するための C++ です。

Wind River Compiler 4 (gcc (C) および g++ (C++)) を使用していますが、すべてのプロジェクトを問題なくコンパイルできます。ここで、Coverity Static Analysis を使用してコードをチェックする必要があります。特定のコンパイラを構成しました。C コード (gcc) では問題はなく、解析を実行できますが、C++ コード (g++) では多くのエラーが発生しました。

インライン名前空間のような C++11 固有の機能のようですが、コードはこれらの機能を使用していません。上記のエラーは、HelloWorld コードで生成されます。

g++ オプションを使用して C++ 標準を設定しようとしました

しかし、結果は変わりません。

Test-Code は大きなビルド階層にありますが、Coverity の手順は次のようになります。

1. ターゲットと環境セット (Wind River 4 Linux)
2. きれいにする
3. コンパイラのディレクトリとタイプを使用した cov-configure
4. 単独で動作する正しい「make all」コマンドを使用した cov-build
5. cov-分析
6. if (no_error) cov-commit-defects

また、cov-build 中にすべての「インライン名前空間」を「名前空間」に置き換えるように Coverity を構成しました ( --ppp-translator replace/inline namespace/namespace)。インライン エラーは消えましたが、この過負荷エラーがさらに発生し、正常にビルドされません。また、同じ方法で「C++」を削除しようとしましたが、うまくいきませんでした。常により多くのエラーが発生します。

ここで何が問題なのか、誰にも分かりますか？また、Coverity ビルドをエラーなしで入手するにはどうすればよいですか? C++ 標準ヘッダーを無視するように Coverity を構成することはできるかもしれませんが、その方法はわかりません。

このコベリティがエラーを出しているため

解析警告 (PW.USELESS_TYPE_QUALIFIER_ON_RETURN_TYPE) 戻り型の型修飾子は無意味です。

ここで const を本当に削除する必要がありますか?

以下のコードに対して、Coverity 静的チェッカー ツールの警告が表示されます。

警告は「戻り値のオーバーフロー(INTEGER_OVERFLOW)」です。上記のコードの何が問題なのか理解できません。double を使用している場合、どのように整数オーバーフローが発生するのでしょうか? ありがとう。

現在、Coverity Prevent を実行しようとしていますが、Windows 7 ビルド マシンですべてが適切にセットアップされていると思います。私は AnthillPro でそれを実行しました。コードが終了して Coverity に到達すると、すべてが正常にビルドされたと表示され、次のエラーのみが表示されます。

これで問題が解決するかどうかを確認するために Cygwin をインストールしようとしましたが、それでも同じエラーが発生します。

現在、AnthillPro 3.7 と Coverity 5.5.3 を使用しています。ビルド ログには、警告はあるがエラーはなく、何も出力されていないことが示されています。(サーバーではなく) マシン自体から直接スクリプトを実行しようとしましたが、Anthill で Coverity Prevent を使用した場合と同じエラーが発生しました

これは、ビルド ログの下部に表示される唯一の情報です。

私は Coverity を使用するのは初めてで、これは非常に難しい質問ではないかもしれませんが、.

最初に次のコマンドを実行しました。

cov-configure --compiler /usr/bin/gcc --comptype gcc

これにより、上記のコマンドに関連するいくつかのファイルが /config ディレクトリに作成されました。

実際の問題は、cov-install-gui コマンドを実行して欠陥マネージャーとデータベースをセットアップするときに発生します。 --datadir オプションに何を入力すればよいかわかりません。(単なる試みとして) 空のディレクトリを渡すと、その空のディレクトリ内に coverity_db が存在しないというエラーが表示されます。

coverity_db ディレクトリの場所やインストール方法がわかりません。cov-configure コマンドに何か足りないような気がしますが、よくわかりません。

また、Linux CentOS 5.4とCoverity Prevent 4.5を使用しています

前もって感謝します

Coverityを使用していますが、ファイル名の結果を正規表現スタイルのビューでフィルタリングしたいと思います。

以下以外に、コベリティで利用できるより洗練されたものはありますか？

どちらがやや制限されていますが、正規表現スタイルのフィルタリングのサポートはありますか？（動作するものが見つかりません）

Coverity ビルドを実行すると、次のエラーが発生します。

グーグルで見つからない！

これが何を意味するか知っている人はいますか？これを調査するにはどうすればよいですか？

Coverity を使用せずにコマンド ラインからビルドすると、正常に動作します。

Coverity で 1 つの新しいプロジェクトを作成し、そのプロジェクトの欠陥をコミットできます。Coverity ポータルを開くと、自分のプロジェクトが表示されませんが、構成ウィンドウには表示されます。