C++のランタイムチェックは、プログラムの実行中にエラー、脆弱性、予期しない動作を検出するために使用されるメカニズムまたはツールです。これらのチェックはコンパイル時ではなく実行時に動的に実行され、静的解析やコードレビューでは明らかにならない問題を特定するのに役立ちます。
ソフトウェア開発の文脈では、「サニタイザー」という用語はこの種のランタイムチェックを指します。サニタイザーは、一般的なプログラミングの誤りやセキュリティ脆弱性を検出するために、追加のチェックや追跡メカニズムでコードを計装することで動作します。問題が検出されると、サニタイザーは通常、開発者が問題を理解し解決するのを支援するフィードバックまたは診断情報を提供します。
しかし、ほぼすべてのC++コンパイラがネイティブのランタイムチェックを提供していることを知っているC++開発者は多くありません。Clang、GCC、Microsoftコンパイラは、C++コードの安全性を高める高度なサニタイザーを提供しています。
Microsoftコンパイラは、デバッグモードでこれらのランタイムチェックをデフォルトで有効にします。しかし、ClangとGCCでは、手動で有効にする必要があります。
最も人気のあるサニタイザーの一部のリストは次のとおりです。
- AddressSanitizer（ASan）：AddressSanitizerは、バッファオーバーフロー、use-after-free、範囲外アクセスなどのメモリ破壊エラーを検出します。プログラムのメモリと並んでシャドウメモリ領域を割り当て、このシャドウメモリに対してメモリアクセスをチェックして違反を検出することで動作します。
- MemorySanitizer（MSan）：MemorySanitizerは、未定義の動作やセキュリティ脆弱性につながる可能性のある、未初期化メモリの使用を検出します。実行時にメモリ位置の初期化ステータスを追跡し、未初期化メモリを使用しようとする試みを報告します。
- UndefinedBehaviorSanitizer（UBSan）：UndefinedBehaviorSanitizerは、整数オーバーフロー、ヌルポインタの逆参照、符号付き整数オーバーフローなど、CおよびC++コード内の未定義の動作を検出します。コードを計装して、実行時に未定義の動作のインスタンスを検出し報告します。
- ThreadSanitizer（TSan）：ThreadSanitizerは、マルチスレッドのCおよびC++コード内のデータ競合やその他の並行処理関連のバグを検出します。プログラムの実行を分析して、異なるスレッドによる共有メモリへの競合するアクセスを特定することで動作します。
- DataFlowSanitizer（DFSan）：DataFlowSanitizerは、プログラムを通じたデータの流れを追跡し、SQLインジェクションやコマンドインジェクションなど、汚染されたデータに関わる潜在的に危険な操作を特定することで、テイント型の脆弱性を検出します。
Clang
Clangは、 こちら。
例えば：
% clang++ -fsanitize=signed-integer-overflow,null,alignment -fno-sanitize-recover=null -fsanitize-trap=alignment a.ccこのプログラムは、符号付き整数オーバーフロー後は実行を継続し、最初の無効なヌルポインタの使用後に終了し、最初のミスアラインされたポインタの使用後にトラップします。
Clangサニタイザーを使用すると、本番コードで実行時エラーやセキュリティ脆弱性として現れる前に、開発プロセスの早い段階でバグや脆弱性を特定するのに役立ちます。従来のテスト方法では捕捉できない可能性のある、診断が困難な問題を見つけるのに特に価値があります。
Microsoft C++コンパイラ
Microsoftコンパイラも、 こちら。
ランタイムチェックが有効になっているプログラムをデバッグすると、ランタイムエラーが発生したときにプログラムが停止してデバッガにブレークするのがデフォルトの動作です。このデフォルトの動作は、任意のランタイムチェックに対して変更できます。詳細については、「 デバッガによる例外の管理。
GCC
GCCは、通常生成されるコードへのランタイム計装の追加を制御する多くのコマンドラインオプションをサポートしています。例えば、計装の目的の一つは、プログラムのホットスポットの検出、コードカバレッジ分析、またはプロファイルガイド付き最適化に使用するプロファイリング統計を収集することです。プログラム計装のもう一つのクラスは、無効なポインタの逆参照や配列の範囲外アクセスなどのプログラミングエラーを検出するためのランタイムチェックの追加であり、スタックスマッシングやC++ vtableハイジャックなどの意図的に敵対的な攻撃も検出します。サニタイザーの完全なリストは こちら。
C++サニタイザーの使用を習慣にするにはどうすればよいでしょうか？
- サニタイザーについて学ぶ：AddressSanitizer（ASan）、UndefinedBehaviorSanitizer（UBSan）、ThreadSanitizer（TSan）など、C++で利用可能なさまざまな種類のサニタイザーについて、自分自身とチームを教育しましょう。各サニタイザーがコード内の特定の種類のバグや脆弱性をどのように検出するかを理解しましょう。
- ビルドプロセスへのサニタイザーの統合：C++プロジェクトのビルドプロセス中にサニタイザーを有効にすることを標準的な慣行にしましょう。ビルドスクリプトまたは設定ファイル（例：CMakeLists.txt）を変更して、目的のサニタイザーを有効にするコンパイラフラグを含めます。
- 小さなプロジェクトから始める：コードベース内の小さな、重要でないプロジェクトまたはモジュールにサニタイザーを組み込むことから始めましょう。これにより、自分自身やチームを圧倒することなく、プロセスに慣れることができます。
- テストとデバッグでサニタイザーを有効にする：サニタイザーを有効にしてテストとデバッグビルドを実行することを習慣にしましょう。これにより、開発サイクルの早い段階でバグを捕捉し、修正がより簡単で安価になります。
- サニタイザーの出力を定期的にレビューする：ビルドプロセス中にサニタイザーによって生成された出力に注意を払いましょう。検出された問題とその根本原因を理解する時間を取りましょう。このフィードバックを使用してコードを改善し、将来同様の問題を防ぎましょう。
- コードレビューへのサニタイザーの組み込み：チームメンバーがコードレビュー中にサニタイザーを有効にすることを奨励しましょう。サニタイザーによって検出された問題を議論し、それらに対処するために協力しましょう。
- トレーニングとサポートの提供：チームメンバーがサニタイザーを効果的に使用する方法を理解するのを助けるトレーニングセッションやワークショップを提供しましょう。特にサニタイザーの使用が初めての人には、必要に応じてサポートとガイダンスを提供しましょう。
- ベストプラクティスの文書化：組織内でのサニタイザー使用のベストプラクティスを文書化しましょう。サニタイザーをいつどのように有効にするか、サニタイザーの出力をどのように解釈するか、サニタイザーによって検出された一般的な問題にどのように対処するかについてのガイドラインを含めます。
- 目標を設定して進捗を追跡する：チームまたは組織内でのサニタイザーの使用を増やすための目標を設定しましょう。進捗を定期的に追跡し、マイルストーンを祝ってサニタイザーを使用する習慣を強化しましょう。
- 継続的な改善：サニタイザーを使用するプロセスを継続的に評価し改善しましょう。チームメンバーからフィードバックを求め、学んだ教訓に基づいてアプローチを適応させましょう。
これらの手順に従い、チーム内でサニタイザーの使用を標準的な慣行にすることで、C++サニタイザーを効果的に使用してコードの品質と安全性を向上させる習慣を身につけることができます。