CodeView シンボルレコード¶

はじめに ¶

このドキュメントでは、LLVMが理解するさまざまな CodeView シンボルレコードの使用法とシリアル化形式について説明します。 CodeView タイプレコードと同様に、最新の C++ ツールチェーンによって生成される重要なタイプのみを説明します。

レコードのカテゴリ ¶

シンボルレコードは、タイプレコードと1つの大きな類似点を共有しています。これらは同じレコードプレフィックスで始まり、これについては再説明しません (説明については前のリンクを参照してください)。この結果、シンボルレコードのシーケンスは、タイプレコードを処理するコードとほぼ同じコードで処理できます。シンボルレコードとタイプレコードの間には、いくつかの重要な違いがあります。

シンボルレコードは、PDB 公開シンボルストリーム、PDB グローバルシンボルストリーム、およびモジュール情報ストリームにのみ出現します。
タイプレコードは、TPI & IPI ストリームにのみ出現します。
タイプはタイプインデックスを介して他のCodeViewレコードから参照されますが、シンボルレコードは、それが含まれるストリーム内のレコードのバイトオフセットによって参照されます。
タイプはタイプ (タイプインデックス経由) を参照でき、シンボルはタイプ (タイプインデックス経由) とシンボル (オフセット経由) の両方を参照できますが、タイプがシンボルを参照することは決してありません。
タイプにあるようなリーフレコードやメンバーレコードという概念はありません。すべてのシンボルレコードは、それ自身の長さを記述します。
特定の特別なシンボルレコードは「スコープ」を開始します。これらのレコードでは、次のS_ENDレコードまでのすべての後続のレコードが、このシンボルレコードの「子」になります。たとえば、特定の関数を記述するシンボルレコードが与えられた場合、この関数のすべてのローカル変数は、対応するS_ENDレコードまで、その関数の後に現れます。

最後に、シンボルレコードには、PDBファイル内で出現することが許可されている場所によってグループ化された、3つの一般的なカテゴリがあります。公開シンボル (公開ストリームにのみ出現)、グローバルシンボル (グローバルストリームにのみ出現)、およびモジュールシンボル (モジュール情報ストリームに出現) です。

公開シンボル ¶

公開シンボルは、DWARFの.debug_pubnamesに相当する CodeView です。マングルされた名前を持つプログラム内のすべての関数または変数に対して、1つの公開シンボルレコードがあります。これらのレコードを含む公開ストリームには、マングルされた名前でレコードをすばやく見つけることができるハッシュテーブルが追加で含まれています。

公開シンボルには、マングルされた名前、それがどのような種類のシンボルであるか (例: 関数、変数) を示すフラグ、およびシンボルのアドレスを記述するS_PUB32という1つのタイプのみがあります。DBI ストリームのセクションマップサブストリームを参照して、このアドレスがどのモジュールに対応するかを判断できます。そこから、そのモジュールのモジュールデバッグストリームを参照して、指定されたアドレスを持つシンボルの完全な情報を特定できます。

グローバルシンボル ¶

プログラム内のすべての外部リンケージを持つシンボルに対して1つの公開シンボルがあるのに対し、プログラム内のすべてのリンケージ (内部リンケージを含む) を持つシンボルに対して1つのグローバルシンボルがあります。その結果、内部リンケージを持つシンボルはマングルを持つ必要がない場合があり、アドレスを持つ必要もない可能性があるため、グローバルシンボルはマングルされた名前またはアドレスを記述しません。したがって、すべてのグローバルシンボルは、モジュール/オフセットの組み合わせを介して完全なシンボルレコードを直接参照します。

公開シンボルと同様に、すべてのグローバルシンボルは単一のグローバルストリームに含まれており、完全修飾名をグローバルストリーム内の対応するレコードにマッピングするハッシュテーブルが含まれています (前述のように、これにより、対応するモジュールシンボルストリーム内の完全なレコードを見つけることができます)。

この設計の帰結および制限は、コンパイラがエミットすることにしたものの正確なテキスト一致の完全修飾名以外のものによるプログラム全体のルックアップが非実用的であるということです。これは、特定のスコープ (O(1) スコープを含む) 内のベース名による O(1) ルックアップが必ずしも必要ではない DWARF とは異なり、少なくとも特定のスコープ内では O(n) アクセスが可能です。

重要

正確なテキスト一致の完全修飾名以外の名前によるプログラム全体のルックアップは不可能です。