DWARF
DWARFは Debugging Information Entry (DIE) というデータ構造を使って、変数、データ型、プロシージャなどを表す。DIE にはタグ(例えば、DW_TAG_variable、DW_TAG_pointer_type、DW_TAG_subprogram など)と属性(キーと値の対)があり、DIE同士の入れ子が可能で、木構造を形成できる。DIEの属性には同じ木構造上の他のDIEへの参照を格納できる。例えば、変数を表すDIEの属性 DW_AT_type が、その変数のデータ型を表す DIE を指すといった使い方をする。
シンボリックなデバッガは一般に、行番号テーブルとコールフレーム情報テーブルという大きなテーブルを必要とする。記憶領域を節約するため、これらのテーブルは単純な専用有限状態機械用のバイトコード命令列で表される。行番号テーブルはオブジェクトのコードの位置とソースコード上の位置の対応表であり、どの命令が関数プロローグやエピローグに属するかも示す。コールフレーム情報テーブルは、コールスタック上のフレームの位置をデバッガに知らせるものである。
DWARF(ドワーフ)とは、広く使われているデバッグ用データフォーマットの規格である。当初ELFと共に設計されたが、オブジェクトファイルのフォーマットとは独立している。名称は "ELF" から連想された言葉遊びだが、後に「Debugging With Arbitrary Record Formats の頭字語」とされた。