概要

このスキルは、DWARF標準に関する技術知識とDWARFファイルとの対話方法に関する専門知識を提供します。タスクには、DWARF標準に関する質問への回答、様々なDWARF機能の例の提供、DWARFファイルの解析および/または作成、DWARFデータと対話するコードの作成/修正/分析が含まれます。

このスキルを使用する場合

• コンパイル済みバイナリからDWARFデバッグ情報を理解または解析する
• DWARF標準(v3、v4、v5)に関する質問に答える
• DWARFデータと対話するコードを作成または確認する
• dwarfdumpまたはreadelfを使用してデバッグ情報を抽出する
• llvm-dwarfdump --verifyでDWARFデータの整合性を検証する
• DWARFパースライブラリ(libdwarf、pyelftools、gimli等)を操作する

このスキルを使用しない場合

• DWARF v1/v2分析: サポート対象はバージョン3、4、5に限定されています。
• 一般的なELFパース: DWARFデータが不要な場合は標準的なELFツールを使用してください。
• 実行可能ファイルのデバッグ: 実行可能コード/実行時動作のデバッグには専用デバッグツール(gdb、lldb等)を使用してください。
• バイナリリバースエンジニアリング: DWARFセクション以外を分析する場合は専用REツール(Ghidra、IDA)を使用してください。
• コンパイラデバッグ: DWARF生成の問題はコンパイラ固有であり、このスキルではカバーされていません。

権威のある情報源

DWARF標準に関する具体的な情報が必要な場合は、以下の権威のある情報源を使用してください:

1. 公式DWARF標準(dwarfstd.org): Web検索を使用してdwarfstd.orgで公式DWARF仕様の具体的なセクションを探してください。「DWARF5 DW_TAG_subprogram attributes site:dwarfstd.org」などの検索クエリが効果的です。

2. LLVM DWARF実装: llvm/lib/DebugInfo/DWARF/にあるLLVMプロジェクトのDWARF処理コードは信頼性の高い参照実装として機能します。主要ファイルには以下が含まれます:

   • DWARFDie.cpp - DIE処理と属性アクセス
   • DWARFUnit.cpp - コンパイルユニットパース
   • DWARFDebugLine.cpp - 行番号情報
   • DWARFVerifier.cpp - 検証ロジック

3. libdwarf: github.com/davea42/libdwarf-codeにある参照C実装は、DWARFデータ構造の詳細な処理を提供します。

検証ワークフロー

llvm-dwarfdumpの検証オプションを使用して、DWARFデータの整合性を検証してください:

構造検証

# DWARF構造を検証(コンパイルユニット、DIE関係、アドレス範囲)
llvm-dwarfdump --verify <binary>

# 詳細なエラー出力と概要
llvm-dwarfdump --verify --error-display=full <binary>

# 機械可読JSON形式のエラー概要
llvm-dwarfdump --verify --verify-json=errors.json <binary>

品質メトリクス

# デバッグ情報の品質メトリクスをJSON形式で出力
llvm-dwarfdump --statistics <binary>

--statistics出力は、コンパイラバージョンと最適化レベル間でのデバッグ情報の品質を比較するのに役立ちます。

一般的な検証パターン

• コンパイル後: 配布前にバイナリが有効なDWARFを持つことを確認する
• ビルドの比較: --statisticsを使用してデバッグ情報の品質低下を検出する
• デバッガのデバッグ: 不正なDWARFによるデバッガの問題を特定する
• DWARFツール開発: パーサ出力を既知の良好なバイナリに対して検証する

DWARFデバッグ情報のパース

readelf

ELFファイルはreadelfコマンドで解析できます({baseDir}/reference/readelf.md)。一般的なELF情報には これを使用しますが、DWARF固有のパースにはdwarfdumpを優先してください。

dwarfdump

DWARFファイルはdwarfdumpコマンドで解析でき、複雑なDWARF情報のパースと表示においてreadelfより効果的であり、ほとんどのDWARFパースタスクに使用するべきです({baseDir}/reference/dwarfdump.md)。

コード操作

このスキルは、DWARFデータと対話するコードの作成、修正、確認をサポートします。これには、DWARFデバッグデータをスクラッチからパースするコード、またはライブラリを活用してDWARFデータをパースおよび対話するコードが含まれる場合があります({baseDir}/reference/coding.md)。

アプローチの選択

┌─ DWARFデータの整合性を検証する必要がありますか?
│   └─ `llvm-dwarfdump --verify`を使用(上記の検証ワークフローを参照)
├─ DWARF標準についての質問に答える必要がありますか?
│   └─ dwarfstd.orgを検索するか、LLVM/libdwarfソースを参照する
├─ 単純なセクションダンプまたは一般的なELF情報が必要ですか?
│   └─ `readelf`を使用({baseDir}/reference/readelf.md)
├─ DWARFDIEノードをパース、検索、および/またはダンプする必要がありますか?
│   └─ `dwarfdump`を使用({baseDir}/reference/dwarfdump.md)
└─ DWARFデータと対話するコードを作成、修正、または確認する必要がありますか?
    └─ コーディングリファレンスを参照({baseDir}/reference/coding.md)