【ITニュース解説】How to get and use a free PVS-Studio license. Part 2: initial run and configuration

PVS-Studioというツールは、C、C++、C#、Javaといったプログラミング言語で書かれたコードの中に潜む潜在的なエラーや脆弱性を見つけ出すための強力なソフトウェアだ。Windows、Linux、macOSといった様々なOSで動作し、開発環境に統合するプラグインから、バージョン管理システムやコード品質管理システムでの利用まで、幅広い場面で活用できる。エンタープライズ向けの有償ソリューションとして、世界中の多くの開発チームや企業で採用されている信頼性の高いツールである。

この記事は、PVS-Studioを無償ライセンスで利用する方法について解説する連載の第2回にあたる。今回は、静的解析ツールを初めて使うプロジェクトに対し、どのように設定し、どのように分析を実行するか、その具体的な手順を詳しく見ていく。初心者にとって、静的解析はコードの品質を向上させる上で非常に役立つ技術なので、その第一歩を理解することは重要である。

前回の記事では、静的解析ツールを使い始める際には、対象となるプロジェクトに合わせて正確に設定することが最も効果的だと述べた。これは、ツールの分析性能を最適化するだけでなく、誤検出（false positive）と呼ばれる、実際には問題ないのにツールがエラーだと報告してしまう現象を減らすためにも不可欠なステップだ。今回は、Visual StudioのPVS-Studioプラグインを例に、主要な設定オプションを一つずつ確認していく。設定メニューは通常、「Extensions > PVS-Studio > Options」からアクセスできる。

まず、「共通アナライザー設定」という項目がある。このタブでは、使用する分析モジュールに依存しない、ツール全体の一般的な設定を行う。例えば、「Check For New Versions」は、ツールが新しいバージョンを自動的に確認するかどうかを「True」または「False」で指定する。最新の機能や修正を取り入れるため、有効にしておくことが推奨される。「ThreadCount」は、分析時に使用するプロセッサのコア数（スレッド数）を指定する。デフォルトはコンピューターの持つコア数であり、マルチコアマシンであれば処理速度が向上する。分析に使うリソースを制限したい場合は、最大スレッド数を指定できる。「RemoveIntermediateFiles」は、分析中に一時的に生成されるファイルを分析後に削除するかどうかを決定する。通常は削除されるが、ツールに問題が発生した場合に開発者へ送付するため、一時的に保存しておきたい特殊なケースでは、削除しないように設定することも可能だ。

次に、「検出可能なエラー」という項目では、アナライザーのレポートに含める警告の種類を選択できる。特定の診断ルールや、診断ルール全体を無効にすることで、関心のない警告を非表示にでき、本当に重要な警告に集中できるようになる。例えば、コードの微細な最適化に関する警告が現在のプロジェクトでは不要な場合、「Optimization」グループ全体を非表示にしたり、その中の特定のルールのみを無効にしたりできる。警告グループには、アナライザー自体に関する問題を示す「Fails」、一般的な診断ルールを含む「General Analysis」、先述の「Optimization」、セキュリティ標準であるOWASPに準拠したルールを示す「OWASP」、車載ソフトウェア開発で用いられるMISRAおよびAUTOSAR標準に準拠したルール（C/C++のみ）、64ビット環境での特有のエラーを検出する「64-bit」（C/C++のみ）、そしてユーザーからの要望に基づいて実装された「Customer's Specific」（C/C++のみ）といった様々なカテゴリがある。プロジェクトの特性や準拠すべき標準に応じて、これらのグループを適切に設定することで、より質の高い分析結果を得ることができる。

「ファイルの除外」という設定項目は、分析の対象から特定のファイルやフォルダーを除外するために使用する。これは、ファイルのパスや拡張子に一致するパターン（マスク）を指定することで実現できる。自動生成されたコードや、プロジェクトとは直接関係のない外部ライブラリのファイルなど、分析の必要がないファイルを対象から外すことで、分析のパフォーマンスを向上させるとともに、不要な警告を減らし、分析の質を高めることができる。よく除外されるディレクトリや拡張子は、デフォルトで設定されている場合が多い。

「キーワードメッセージフィルタリング」は、レポートに表示される警告の中から、特定のキーワードを含むメッセージを除外するための機能だ。例えば、特定の関数（printfなど）に関連する警告が、プロジェクトの性質上すべて誤検出であると確信している場合、その関数名をキーワードとしてフィルターに追加することで、再分析することなく、関連する警告を非表示にできる。これにより、大量の警告の中から本当に修正すべきものだけを効率的に探し出すことができるようになる。

「登録」ページでは、PVS-Studioをアクティベートするためのライセンス情報を入力する。もしすでにライセンスが登録されている場合は、ライセンスの種類、詳細、残り期間といった基本情報をここで確認できる。無償ライセンスを利用する場合でも、適切な情報を入力することで、ツールの全機能を利用できるようになる。

最後に、「特定アナライザー設定」という項目がある。このセクションには、ツールをより細かくプロジェクトの特性に合わせて調整するための、様々な追加設定が含まれている。例えば、「Analysis」カテゴリでは、分析の時間制限を設定したり、多くの警告を出す（noisyな）診断ルールを無効にしたりできる。「Coding Standards」セクションでは、準拠するコーディング標準のバージョンを設定できる。「Interface」カテゴリでは、ツールのドキュメント言語を切り替えたり、オフライン版ドキュメントを有効にしたりするなど、ユーザーインターフェースに関する様々な設定を行うことができる。これらの詳細設定を適切に行うことで、PVS-Studioを最大限に活用し、プロジェクトに最適な形でコード品質を向上させることが可能となる。

これらの初期設定が完了したら、いよいよ分析の初回実行だ。これは非常に簡単に行える。PVS-StudioのVisual Studioプラグインでは、ソリューション全体、個別のプロジェクト、あるいは特定のファイル単位で分析を実行するオプションが提供されている。ここで特に重要な注意点として、分析を正しく行うためには、チェック対象となるプロジェクトが正しくコンパイルできる状態にある必要がある。コンパイルエラーがある状態では、静的解析も正確に機能しない可能性があるからだ。分析は、プラグインのメニューから実行できるだけでなく、ファイルのエディタ上での右クリックメニューや、ファイル名のコンテキストメニューからも開始できる。

分析を開始すると、プロジェクトの規模に応じて多少の待ち時間が発生するが、すぐに分析結果のレポートが表示される。このレポート画面では、見つかった警告に対して様々な操作が可能だ。例えば、特に気になる警告にマークをつけたり、誤検出と判断した警告を非表示にしたり、警告をカテゴリごとに分類して表示したりできる。また、信頼度レベルでソートしたり、各診断ルールの詳細な説明ドキュメントを開いたりすることもできる。これらの機能の詳細は次の記事で詳しく解説される予定だ。

初めて静的解析ツールを使う場合、大量の警告が表示されて何から手をつけて良いか迷うかもしれない。そのような初心者の方のために、PVS-Studioには「Best Warnings」という非常に便利な機能が用意されている。この機能は、分析レポートの中から最も重要で信頼性の高い警告を自動的に選出し、ハイライト表示してくれる。レポート画面で「Best」ボタンをクリックするだけで、あなたのプロジェクトにとって最も影響の大きいと考えられる上位10個の警告が提示される。これにより、静的解析がどのような問題を発見できるのかを効率的に理解し、残りの警告の有用性について判断する上での良い手がかりを得ることができるだろう。

PVS-Studioの初回実行と設定は、一見複雑に思えるかもしれないが、この記事で説明した手順を踏めば、システムエンジニアを目指す初心者でも十分に理解し、実践できるはずだ。コードの品質向上は、より堅牢で信頼性の高いソフトウェア開発につながる重要なステップである。レポートの活用方法や警告への対処方法については、今後の記事でさらに詳しく解説される予定なので、引き続き関心を持って学習を続けてほしい。もし設定やツールの動作に関して疑問点があれば、公式ドキュメントを参照したり、フィードバックフォームを通じて質問したりすることも可能である。このツールを使いこなし、あなたの開発スキルを次のレベルへと引き上げてほしい。