デバッガ（ソフトウェアツール）

基本機能

デバッガの代表的な機能には、次のようなものがある。

• 実行制御：プログラムの開始、停止、一時停止、再開を行う。多くの場合、文または命令を一つずつ実行するステップ実行も可能である。
• ブレークポイント：指定した位置、条件、またはイベントが発生したときに実行を自動的に停止し、プログラムの状態を調査できるようにする。
• 検査と追跡：変数、メモリ、スタックフレーム、レジスタ、オブジェクトの値を表示する。一部のデバッガは、式の変化を継続的に監視するウォッチを備える。
• 変更：修正案を試したり異なる動作を検討したりするため、実行時に変数やコードそのものを変更する。
• 事後分析：コアダンプまたはクラッシュレポートを調べ、突然の障害の原因を特定する。

種類と手法

デバッガは、そのアーキテクチャと機能がさまざまである。ソースレベルのデバッガは実行状況をソースコードの行や変数名に対応付ける。マシンレベルのデバッガはアセンブリ命令または機械命令を対象とする。シンボリックデバッガはデバッグシンボルを用いて、人間が読みやすい識別子を表示する。さらに、ローカルデバッグとリモートデバッグ（別のマシンまたはデバイス上で実行されるプログラムを制御すること）の違いがある。ハードウェア支援デバッグでは、コードを変更せずにブレークポイントを設定するため、プロセッサの機能を利用する。

技法と専門的な機能

高度なデバッガでは、特定の条件が満たされた場合にのみ作動する条件付きブレークポイント、メモリ位置が変更されたときに停止するウォッチポイント、実行履歴を逆方向にステップ実行できるリバースデバッグまたはタイムトラベルデバッグが提供されることがある。プロファイリングやトレーシングとの統合により、性能データと動作の調査を組み合わせることもできる。リモートデバッグプロトコルを使用すれば、ネットワークまたはシリアル接続を介して、デバッガのフロントエンドを対象システムに接続できる。このようなインターフェースの例は関連資料を参照。

歴史と発展

デバッグ技法は、プログラミング言語とオペレーティングシステムの発展とともに進化してきた。初期のプログラマはprint文と手作業による調査を用いていたが、システムが複雑になるにつれて、実行を制御し内部状態を明らかにできるツールが不可欠となった。現代のIDEは、呼び出しスタック、変数、ブレークポイントを使いやすい形で表示するグラフィカルなデバッガを統合している。一方で、カーネル開発や組み込み開発では、より低水準のツールも依然として重要である。

用途、例、注意点

開発者はデバッガを用いて、論理エラー、メモリ破壊、競合状態、誤った前提を見つける。デバッガは、リバースエンジニアリング、性能チューニング、未知のコードの調査にも非常に有用である。プログラムの動作を変更したり、保護されたデータを明らかにしたりできるため、デバッガはコピー保護やセキュリティ機構を回避する目的で悪用される可能性もある。強力な調査ツールを用いる際には、法的・倫理的な境界を認識することが重要である。バグと欠陥に関する一般的な情報は基礎資料を、変数値を追跡する技法については変数追跡ガイドを参照。

主な相違点とベストプラクティス

デバッガを選択または使用する際には、ソースレベルのシンボルサポート、リモート接続、ハードウェアブレークポイントのいずれが必要かを検討する。手動調査への依存を減らすため、対話的なデバッグを自動テストおよび静的解析と組み合わせる。入力と環境の詳細を記録してデバッグセッションの再現性を保つ。またチームで作業する場合は、調査結果を文書化し、製品版ビルドにブレークポイントやデバッグ専用コードを残さないようにする。

デバッガはソフトウェア工学の基礎的な要素であり、プログラムの動的な振る舞いを明らかにし、見つけにくい不具合を可視化し、制御された方法で修正を試すための手段を提供する。