PVS-Studio：レビュー

PVS-Studio静的コードアナライザーに関するさまざまな人々のレビューを1か所に集めることにしました。 一部のレビューは完全に提示され、他の一部は提示されます。 適切なリンクをクリックすると、元のレビューに慣れることができます。

PVS-Studioについてのいくつかの言葉、それが何かわからない場合

PVS-Studioは、C / C ++ / C ++ 11プログラミング言語を使用するプログラマ向けのツールです。 このツールは、プログラムのソースコードのエラーやその他の欠点を識別する静的コードアナライザーです。 このアナライザーは、Windowsアプリケーション開発者を対象としています。 現在、PVS-StudioはVisual Studio 2005/2008/2010に統合されており、まもなくVS 2012をサポートします。MinGWを使用してビルドされたプロジェクトを検証することができます。 リンクでアナライザーの詳細を確認できます： http : //www.viva64.com/en/pvs-studio/



ここで、蓄積したフィードバックの一部を検討することをお勧めします。

オープンソースプロジェクトのチェックについて

ジョン・カーマックによる投稿



出典：Twitterの投稿 。



静的コード分析ツールが一連のオープンソースアプリケーションを使用してその機能を実証するのは素晴らしいことです： http : //www.viva64.com/en/a/0079/

PVS-Studioの使用経験についてのJohn Carmack

ジョン・カーマックによる投稿



出典： Static Code Analysisからの引用。



私が学んだ次のツールはPVS-Studioでした。 Visual Studioと簡単に統合でき、便利なデモモードがあります（ぜひお試しください！）。 /分析と比較すると、PVS-Studioは非常に遅くなりますが、/分析のポイントからすでに完全にクリーンアップされたコードでさえ、いくつかの追加の重大なエラーを明らかにしました。 論理的な観点からエラーである欠陥を識別することに加えて、ツールは、コードが非常に適切に書かれていても、一般的なプログラマーのエラーに関連する多くの問題を見つけることができます。 いくつかの誤った警告が表示されることはほぼ保証されていますが、それを気にするのは、そのような一般的な欠陥でさえ修正する必要がある場合があるためです。



多くの優れた記事がPVS-Studio Webサイトで編集されています。それらのほとんどには、ツールが見つけることができる特定のタイプのエラーを示す、実績のあるオープンソースプロジェクトの例が含まれています。 静的アナライザーによって発行されたいくつかの警告をこの記事に追加することを考えましたが、PVS-Studioの資料でさらに詳細な例を見つけることができることがわかりました。 だから私はあなたにそれらを見てみることをお勧めします。

PVS-Studioはプログラムで多くの興味深いものを見つけることができます

投稿者： MetaQuotes



出典：記事に関するコメント （RU）。



これは、まったく新しいエラー検索モードで動作する非常に優れたアナライザーです。



たとえば、長年にわたって、Lint + Visual Lint +ツールを使用してプロジェクトを綿密に整理してから、PVS-Studioを実行しています。



あなたはすべてがすでにクリアされていると思います。 しかし、その結果、プロジェクト（何百万行ものC ++コード）で、最も愚かなコピーアンドペーストエラー、同じ条件分岐、多数の機械的エラーが発生します。 数日間の作業とプロジェクトは、次の群衆のミスを取り除きます。



個人的には、PVS-Studioに大喜びすることはありません。これは、LintおよびIntel Parallel Studio（すべてライセンス供与済み）への素晴らしい追加です。



そのような企業はサポートされるべきです-心からの反応。

バックグラウンドのインクリメンタル分析は素晴らしい

著者： セルゲイ・ヴラソフ



出典：「 Visual Studio向けPVS-Studio静的コードアナライザーの概要 」の記事から引用。



一般に、PVS-Studioは、かなり少ない数の誤検知で些細でないエラーを検出できることを示しました（たとえば、Visual Studioは200以上の警告を与えました）。 分析手順は非常に遅くなりますが、各アセンブリの後に変更されたファイルのみをチェックできるバックグラウンドのインクリメンタル分析が存在するため、この欠点は部分的に補われます。 Visual Studioとの統合は非常に簡単で非常に便利です。

PVS-StudioとPC-LintおよびKlocworkの比較

著者： アレクサンダー・ロトホフ



出典：記事「 Another PVS-Studio Testing 」（RU）からの引用。



PVS-StudioはVisual Studioでの作業にのみ焦点を当てているようです。 インストール後、インストールされたバージョンのスタジオに自動的に統合されます。 これで、必要な統合手順はすべて終了します。 スタジオ自体を起動するために残ります-そして、それはすでに新しいPVS-Studioメニュー項目を持っています。 このような透過的な統合は賞賛に値しません！



...



分析結果は、PVS-Studioの別のタブに表示されます。 すべてが非常に便利に行われました：発見された各問題（潜在的）について、説明が表示され、場所（ファイルと行）、およびこのタイプの問題の詳細な説明へのリンク：これが問題である理由、修正方法など 説明は非常に詳細に、高品質で行われます！



...



最後に、PVS-StudioとPC-LintおよびKlocworkの簡単な比較。



PVS-StudioはPC-Lintよりもはるかに使いやすいです。 PC-Lintの主な問題は、潜在的な問題が多すぎることです。デフォルト設定の同じプロジェクトでは、23,000以上のメッセージが表示されます。 （PVS-Studio-42のみ）。 同時に、PC-Lintは繰り返し発生する問題を隠すことはできません（同じ.hファイルが2つの.cファイルから接続されている場合、PC-Lintは.hファイルに問題を2回表示し、PVS-Studioは1回だけ表示します）。 また、PC-Lintでは、1つの問題を誤検知としてマークすることはできません。問題のクラス全体を「オフ」にすることしかできません。



さらに、PC-Lintによって発行された「ガベージ」の山を掘り下げるのが良い場合、PVS-Studioが見つけるよりも実際の潜在的な問題を見つけることができます（たとえば、いくつかのクラスで仮想デストラクタがなく、明確に定義されていないことが見つかりませんでした）コンストラクタとデフォルトのコンストラクタをコピーします）。 もう1つのことは、PC-Lintでは、これらの有用なグレインは通常、残りの中で「 "れ」、それほど重大なメッセージではないということです。



同時に、PC-Lintはより使いやすく、Visual Studioとの統合も非常に簡単ですが、使用するのははるかに困難です。



しかし、一般的に、ここでPVS-Studioは議論の余地のないリーダーです。 ただそれを受け取って、それを使って作業を開始できるからです。PC-Lintについては言えませんが、発行されたすべてのメッセージを表示するには数日かかることがあります。



しかし、Klocwork PVS-Studioと比較すると、残念ながら負けています。 まず第一に、使いやすさ（ビルドごとのステータスモニタリング-修正された問題の数、残っている数、追加された数、および便利なレポートのみ）、汎用性、および重大な潜在的な問題のより良い識別に注目します。 さらに、Klocworkはサーバーベースのマルチユーザーシステムであり、検出された各問題に責任を割り当て、複数のプロジェクトを一度に処理して、それぞれのステータスを簡単に追跡できます。



価格で比較すると、そのようなレイアウトが得られます（開発者のWebサイトからの情報）。

• PVS-Studioの場合、1年間の使用に対して5ライセンスで3500ユーロ、30ライセンスで9000ユーロを要求します。
• PC-Lintの場合-1ライセンスで389ドル、3,500ドル-10で無制限。
• Klocworkの場合、「サーバー+ 20クライアント」パッケージで1年間の使用で30,000ユーロ。

まあ、価格は機能にほぼ対応しており、PVS-Studioは安価であるが重くて不便なPC-Lintと便利で美しいが高価なKlocworkの中間に位置しています。

このサイトには興味深い資料があります

投稿者：justinvh



出典：reddit.comのコメント 。



正直なところ、PVS-Studioツールがどれほど興味深いものであるかに驚きました。 さらに、付属資料は明確かつ明確に書かれています。 このツールには、少なくとも少し慣れて、その機能を理解する価値があります。 私は通常、小さなエラーを処理するためにclang静的アナライザーを使用しましたが、PVS-Studioは64ビットの分野で価値があることを明確に示しました。



さらに、 64ビットレッスンのコレクションを読むのも楽しかったです。



Doom3を移植するときに使用しますが、非常にクールです。 開発者は学生に良いサポートを提供するので、静的アナライザーの比較について大学で講義を行いたい場合（私の場合のように）、または単に製品について詳しく知りたい場合は、それらに電子メールを書いて、必要なものをすべて尋ねてください。



時々奇妙なことが起こりましたが、少なくとも動作中のツールを見るのは非常に興味深いものでした。 仮想マシンで毎回実行する必要があったのは残念ですが、Visual Studioと簡単に統合できるという事実は非常にクールです。 現在、私はclangをプリプロセッサとして使用していますが、すべて一緒に動作するのも非常に高速です。



カーマックが言ったように 、間違いなくバグを見つけるでしょう。

PVS-Studioを使用すると、静的コード分析の方法を簡単に習得できます。

投稿者：アンテル



出典：「 概要：PVS Studio 」の記事から引用。



静的解析を初めて使用する場合は、PVS-Studioを試してみることをお勧めします（ 試用版があります ）。 C ++コードの静的解析はまだ開発の初期段階ですが、PVS-Studioなどのツールを使用すると、隠れたエラーを見つけることができます。 特に、ソースコードベースが単体テストでまだ検証されていない場合、静的アナライザーは、データベース内のどのコードフラグメントを表示する必要があるかをすばやく通知します。



はい、まだ忘れていません。ツールは定期的に更新されており、サポートは正常に機能しています。そのため、レビューの最初にエラーを報告し、数日で修正されました。



レビュー用のアナライザーのコピーを提供してくれたViva64チームに再び感謝します。

PVS-Studioは、64ビットプラットフォームのマスタリングに役立ちます

著者：アレックス・チャチャナシビリ



出典：記事「 PVS-Studioを使用したコード検証 」（EN）からの引用。



私はツール全体が好きでした-サーバーコードに重大でない問題をいくつか見つけましたが、正直なところ、ほとんどのコードをFlexeLintとBoundCheckerで実行しました（ライセンスの有効期限が切れるまで）。 また、デバッグビルドをテストするためにアラートレベル4でVisual Studioを実行しましたが、多くの欠陥が見つかりました。



PVS-Studioの主なメリットは、32ビットコードの64ビットプラットフォームへの転送に影響する欠陥をキャッチできることです。

よくできました

投稿者： フェルナンド・モレイラ



出典： プレゼンテーションの解説。



ええ、私は実際に試してみてすぐにファンになりました:)今、私たちの研究室のすべての開発者にそれをお勧めします。 このツールはVSとシームレスに統合され、開発者に重要なことを教えることができ、特定の種類の未知の問題/トラップに注意を引くことができます。



これまでのところ、私は単一の誤った警告を受けたことはありません、それは素晴らしいことです！



あなたたちは真剣な仕事をしています！

PVS-StudioおよびCoverity Advertisingについて

投稿者：nomarketingbs



出典：何を強調するかわからないので、記事「 静的解析結果を表示しない方法 」を挿入します。



Coverity SalesからCoverity Sales Approvals Seal of Approvalを取得せずにCoverityを試すことはできないという悲しい事実に加えて、CoverityとPVS-Studioの間には誰もが気付く別の大きな違いがあります。 これは...



商業材料



方法



典型的なPVS-Studioスキャンレポートを見てみましょう。 これはちょうど私の腕に落ちたので、私はそれにリンクを与えます。



タイプミス...うん、なるほど。 配列を超える能力...なるほど。 いくつかのマイナーな欠陥...なるほど。 これらの欠点がプログラムの動作にどのように影響するかはわかりませんが、それらは非常に明確に提示されており、それらに注意を払う必要があると考える場合、その重要性を簡単に評価できます。



コードにこれらのひどいエラーがあるため、プログラムがどのように機能するのか疑問に思う人がいるかもしれません。



すべてが非常に簡単です。 プログラムのテキストで明らかに明らかになっている問題は、古き良きデバッグ、単体テスト、専門家の評価など、他の方法を使用して以前に発見されました。 しかし、他のすべての欠陥を見つけるには、いくつかの努力をする必要があります。 これは、たとえば、異常なデータセットである可能性があります。 または、非定型のユーザーアクションアルゴリズム。 または、異常なエラー表示。 または、コンパイラまたはC ++ライブラリのバージョンの更新かもしれません。



エラーはエラーです。 彼らが言うように、あなたはコンパイラに嘘をつくことはできませんが、すべてのエラーが等しいわけではありません。 これらの非常に小さな欠陥は長年データベースに隠され、その後誰かがそれをPVS-Studioで実行します。そして、「なんてこった、どうして恐ろしいバグ、神MY1111 !!!」-彼は叫ぶ。



そのため、スキャンレポートはそれ自体ではあまり機能しません。とにかく、コードベースに精通している開発者は、示された各問題を評価し、可能であれば解決する必要があります。 PVS-Studioのスキャンレポートは、必要な処理を正確に実行します-検出されたエラーを次々に表示し、簡単な説明を提供します-これ以上は何もしません。



しない方法



次に、コベリティの商用資料を見てみましょう。 上記で参照したようなコベリティ分析の結果を含むスキャンレポートはほとんど見つかりません。 同時に、Coverityのメンバーは、Integrity Reportをリリースすることがあります。



Integrity Reportは、「ミッション」、「シームレス」、「イノベーションに焦点を当てる」などの言葉を含む熱狂的なドキュメントです。 種としては悪くない-少なくともそのようなキーワードの存在は、最初の3ページに十分なマーケティングがあることを明確に示している。



表Aに進みます...ああ、このプレートはプロジェクトのサイズ分布を示しています。 どういうわけか、「分布」という言葉の使用は、収集されたデータが統計的に有意であり、したがって特別な信頼に値することを意味します。 45のプロジェクトがあり、それらに基づいてスケジュールを作成しようとしている場合、「配布」と呼ぶのは非常に愚かです。 ご覧のとおり、700万行を超えるコードを含む2つのプロジェクトがあります。 信じられないほど、言葉はありません。



レポートの残りのテキストにも、このようなまったく意味のないタブレットが記載されています。 はい、プロジェクトの1平方フィートあたり9.7654のエラーが見つかったのは素晴らしいことです。 しかし、あなたがプログラムを試してみるまで、これらの数字は132％の効率を達成することについての声明以上のものではありません（ 投稿は5年前ですが、それでも関連しています ）。



付録Aに早送りします。表2と表3はエラーをまとめていますが、同時にエラーを分類し、プログラムへの影響の程度を示しています。 見てみましょう...



制御フローエラー。 これは何ですか これは、「switch」というステートメントの「case」の最後に「break;」と書くのを忘れたときです。 あなたは中程度の影響があると言います...わかりました。 すぐに返される「main（）」はどうですか？ これも制御フローエラーであり、平均的な影響があることを教えてくれません。 すべての制御フローエラーが公平であるとは限りません。



NULLポインターの逆参照も平均的な効果がありますよね？ そう、私のコードはあちこちでヌルポインターを逆参照し、ユーザーがキャンディを取得するたびに参照します。 おそらく、レポートの作成者は、コードが最初にNULLでないことを確認せずにポインターを逆参照する場合、NULLポインターの逆参照の可能性を念頭に置いていたのでしょう。 良いニュースは、逆参照するたびにNULL値へのポインターをチェックすると、コードが非常に乱雑になることです。 繰り返しますが、すべてのNULLポインター逆参照エラーが等しいわけではありません。



エラー処理の欠陥。 これは何ですか Win32 API関数のエラーコードをチェックすることを意味しますか？ もちろん、この試みの成功を評価せずにプログラムがファイルを開こうとするたびに、さらに読み続けると、ユーザーは言うでしょう。 フォルダーにアクセスできませんか？ さて、ファイルが保存されたふりをしましょう。 エラー処理のすべての欠陥が同じというわけではありません。



整数型の問題は中程度の影響があります。 正確には、割り当てられたメモリのサイズを計算する際の整数型のオーバーフローは意味がありません。 どれだけ結果が出るかを強調し、これが適切な量であると仮定します。 整数型を扱う際の問題がすべて同じというわけではありません。



安全でないデータを操作すると、平均的な影響があります。 何言ってるの？ 手がかりはありませんが、安全でないデータを操作するすべての状況が同じというわけではないことがわかります。



誤った表現-中程度の露出。 もちろん、好きなように括弧を付けてください-何が悪いのでしょう。



同時アクセスエラー-中程度の影響。 あなたの人生の残りの間、彼らのデバッグを掘り下げて考えてください、それは大丈夫です。



API使用エラー-中程度の影響。 あなたのコードは誤ってパスを指定することを忘れており、これはWindows \ System32ディレクトリにあるすべてのものの削除につながります。 私にとっても、間違い。



プログラムがフリーズする-中程度の影響。 プログラムは、Windows NTネットワーク外のコンピューターで実行された場合にのみハングします。 企業ネットワーク内でそれを運転し、展示会に行くと、すべてがうまく機能し、ラップトップは画面を備えたラジエーターに変わります。 ナンセンス。



単一のカテゴリに低い影響度が割り当てられていないのはなぜですか？ 多分、著者は、それがどのグループにも含まれているからという理由だけで、プログラムエラーの低レベルの影響をあえて考えなかったのでしょうか？



これは機能しません。 数千のエラーをいくつかのカテゴリに分散し、影響の程度を後者に割り当てることはできません。 単に不可能です。 あなたがソフトウェア開発者であれば、疑う余地なくこれを受け入れるべきです。さもなければ、すぐに辞めて、最寄りのマクドナルドに行く方が良いでしょう。彼らには「労働者が必要です」というサインがあります。



この完全性テストレポート全体は、数字と図の単なるごまかしであり、その有用性はゼロではなく、マイナスです。 このレポートは、ソフトウェアの品質を気にし、ドキュメントを読むことにした人の死を怖がらせます。



結果



それでは、PVS-Studioの商用素材とCoverityの違いは何ですか？ 前者は、解釈および検証できる事実を提示します。 2番目のものは、一般化されたデータであなたを怖がらせようとするだけで、それらをチェックする機会を提供しません。



誰もがCoverityの無料試用版に値するわけではないからです。

PVS-Studioは、コードの品質を気にする人と一緒にすべきです。

投稿者： Adam Savicki



出典：「 PVS-Studioを使用したC ++コードの静的分析 」（EN）の記事からの引用。



一般に、PVS-Studioは、コードの品質を重視するC ++プログラマーにとっては良いツールのように見えます。 OpenMPと64ビットの互換性に関連する問題を見つけることは、そのような機能が必要な人にとって非常に便利です。



CVScheckとは対照的に、PVS-StudioがスタンドアロンアプリケーションではなくVisual Studioプラグインであることは非常に悪いので、MSVSの商用バージョンが必要であり、Expressエディションでは動作しません。 ただし、これは理解できます。OpenMPまたは64ビットが必要な場合は、Visual Studio Professional以上のバージョンを既に使用している可能性があります。

簡単に説明すると、PVS-Studioは素晴らしいツールです

Florian Georgeによる投稿（2009年からコンピュータービジョンおよびコンピューター画像解析会社でプログラマーとして働いています）



出典：PVS-Studioアナライザーを評価するためのリクエストに人が応答する手紙。



PVS-Studioには非常に感銘を受けました。



すでに大規模なデータベースがあり、たとえば、/ analyzeやCppcheckよりも多くのエラーをキャッチできます。 また、変更ログを見ると、頻繁に更新されます。 エラーごとに、それが本当に好きです。詳細な説明が、例とそれらの修正方法に関する推奨事項とともに提供されています。 確かに、時々私は問題の意味とその修正方法を本当に理解していないことがあります。 顧客または訪問者だけでなく、各エラーについてページの下部に特別な形式でコメントを書く機会を与え、エラーの説明を正しく理解したか、コードで問題を修正するのに役立つかどうかを伝えることができると便利だと思いますそうでない場合、それらはコードを提供し、メッセージのエラーの説明の説明を改善するのに役立ちます。 まず、ドキュメントページにエラーに関するコメントを残すことさえできるようになるでしょう。



パフォーマンスは良好で、ツールはすべてのコアを使用します。正直なところ、診断された問題がますます追加されるにつれて、今後の作業速度の低下が予想されます。



Visual Studioとの統合は優れており、すべてが正常に機能します。 「クリックしてコードにジャンプする」機能は非常に便利であるため、試用版と比較して完全版の特徴的な機能と見なされることは驚くことではありません。



私は偶然にコードの静的分析に出くわし、それ以来あなたのブログでたくさんのメモ（クールなメモ！）を読んだほか、AltDevBlog、Random ASCIIなどの記事を読んだ結果、私はこのテーマに非常に興味を持った。



私は10人の小さな会社で働いています。 残念ながら、私は上司にソフトウェアに数千ドルを支払うように説得することはできませんが、その利点は個人的にはすぐには現れません。 Vtuneのライセンスの購入を申し出たときにも同じことが起こりました。 そのため、ブログの投稿の1つで提案されているように、私は試用版に接続し、手動ナビゲーションを回避しますが、同時に通常の使用には非常に不便です。 あなたは状況に直面しているようです（似たようなもの、おそらく他の多くの人々がPVS-Studioに興味を持っています）、それは同時に面白いと同時に悲しいです-あなたがすることを好きな人がいますが、理由により、彼らはフルバージョンを購入することはできません。



他のプロフェッショナルソリューションと比較して、非常に競争力のある価格で優れた製品を使用できます。 より多くの人々に向けて飛躍してほしい。 現時点では、主に価格の面で「最後のオファー」を見逃す恐れがあるだけで、週ごとの割引が見られるとすぐにSteamでゲームを購入しようと急ぐのと同じように、ためらうことなく製品を購入させることができます。



この手紙が、PVS-Studioがここでどのように認識されているかについての洞察を与えてくれることを願っています。 良い仕事を続けてください！

軟膏で飛ぶ

もちろん、私たちはこのような（RU）のようにあまり肯定的なレビューに出くわしません。 PVS-Studioを装飾したいという欲求からではなく、それらについては話しませんでした。 レビューで示された欠点の多くはすでに解消されているか、現在取り組んでいます。 たとえば、PVS-StudioがNULLポインターを絶対にキャッチできないと言っているリコールについて話すのは意味がありません。 これは事実ではありません。 アナライザーは、このトピックに関するいくつかの診断を既に表示しています。



また、多くの否定的なレビューはPVS-Studioの遅い速度に関連しています。 しかし、理由を突き止め始めたとき、原則として彼のせいではなかったことがわかりました。 たとえば、プロジェクトはネットワークドライブにあります。 その後、作業の過程で大きな前処理済み* .iファイルが生成されるため、分析の実行は非常に遅くなります。 別の例。 PVS-Studio.exe（およびClangプリプロセッサ）は何回も並行して実行されます。 多くの場合、ウイルス対策ソフトウェアは速度低下を引き起こし、これらの実行可能モジュールを何度も何度もチェックします。 「 PVS-Studioの速度を上げるためのヒント 」という記事に精通することを提案します。