coverity

0熱

1答えて

に特定のポイントの到達可能性を分析するための注釈またはモデル。（非決定論的な浮動小数点） some_error（）は、プログラムを終了させるエラーとしましょう。質問：コベリティはですがsome_error（）が到達可能であるかどうかを分析することができ、スキャン？または単に「some_error（）はデッドコードです」と言うことができますか？非公開のフロート/ダブルまたは非決定論的ループを

1熱

1答えて

Coverityコマンドラインコマンド/ APIドキュメント

私は新しい仕事でCoverityを使い始めましたが、このツールのドキュメントを探す際にひどい時間を費やしています。私はスクリプトの目的のためにカバレッジを実行する方法のコマンドラインツール/ドキュメントを探しています。最後の目標はJenkinsで実行することです（Jenkinsにはカバー率のサポートがあります）が、Jenkins2にはJenkinsfilesが必要ですが、Coverityはまだあ

0熱

1答えて

cov-manage-imバイナリが見つからない

cov-analysis-linux64-2017.07とcov-analysis-linux64-8.7.0パッケージのbinディレクトリにcov-manage-imバイナリを見つけようとしましたが、そうではありません。しかし私はcov-manage-im.jarを両方で見つけることができます。私はそのjarファイルを実行しようとするとは： java -jar cov-manage-im.j

0熱

1答えて

テストでのスタブ実装からの静的解析でnull参照解除の警告を表示しない

Coverity Scanの誤った結果でパターンが発生しました。 i.f()の結果は、おそらく可能性があるため、私は、私は次の I i; i.f().equals(other); をすれば、私がnullの間接参照の警告を取得し、IImplとFakeI interface I { String f(); } class IImpl { String f() {

0熱

1答えて

CWE上位25個の不具合スキャン

Covertyスキャンダッシュボードには、「CWE Top 25 defects」が表示されます。 [スキャン結果]ビューでは、これらのどれが正確であるかを見つける方法はありますか？

1熱

1答えて

Coverity Scanで/ usr/includeを無視するにはどうすればよいですか？

Coverity Scanを使用するようにプロジェクトを設定しました。分析[設定]→[プロジェクトコンポーネントの下で私は Component name Pattern Ignore in analysis cxxopts .*/src/cxxopts.hpp Yes STL /usr/include/c++/.* Yes を持っていますが、まだ私はビュー欠陥に

0熱

1答えて

プラグインは、コベリティサーバ

コベリティプラグインverisonを接続するのに失敗する：1.9.2 システム構成：コベリティ静的解析場所：8443のコベリティのWebサービスが検出されなかったコベリティポート/opt/coverity/x86_64/8.7.1/。接続試行が-1で応答した場合は、Coverity Connectバージョン（サポートされる最小バージョンは7.7.0）を確認してください。ポートを8080に変

1熱

1答えて

Coverity静的解析符号なし整数はChar（C++）

私はC++プロジェクトのソースコードの一部を静的に解析するためにCoverityを使用しています。私はこれがちょっと不思議な問題のように思えるかもしれませんが、Coverityがこのような問題を抱えている場合、このエラーが報告された根本的な理由を知りたいと思いました。それはエラーのフラグを保持して、私はこのエラーが実際には私のコーディングプラクティスを変更するものか、それとも本当に不必要なのかを知

-4熱

1答えて

Borland C++ BuilderのCoverityサポートの問題

Borland C++ Builderを使用してコードをコンパイルすると（Borlandコンパイラのみを使用する必要があります）、bcc32.exeはコードを正常にコンパイルできます。、この背後にある考えられる理由は何オープンソースファイル「のiostream」ことはできません：私はcmd.exeの内部cov-buildコマンドを使用して、この同じコードをビルドすると、ビルドのようなエラーで失

1熱

1答えて

coverity 2017.07 segfaults on debianバスターとストレッチ

私はカバレッジ設定を更新しようとしていましたが、セグメンテーションなしでcov-build --helpを実行することさえできません。再生の手順については、以下のアスキーネマを参照してください。私は浮腫の中でmd5sumが一致することを示すのを忘れていましたが、私はそれがあなたに保証します。私は同じことをdebianストレッチを実行しているドッカーコンテナで行い、同じ結果を得ました。どのような