| STAB(5) | FreeBSD File Formats Manual | STAB(5) |
名称
stab — シンボルテーブルの型書式
#include < stab.h>解説
< stab.h> ファイルは a.out ファイルで使われる、シンボルテーブルのいくつかの n_type フィールド値を定義します。これらは、恒久的なシンボル形式であり (つまり、ローカルなラベルなどではない)、古いデバッガである sdb や Berkeley Pascal コンパイラ pc(1) で使われます。シンボルテーブルエントリは .stabs アセンブラディレクティブによって生成することができます。ここでは、ダブルクォートで区切られた名前、シンボルの型、シンボルについての char 1 つと short 1 つ分の情報、そして (通常はアドレスを示す) unsigned long の整数を指定できます。アドレスフィールドに明示的なラベルを生成するのを避けるため、 .stabd ディレクティブを使い、現在の場所を指すようにすることができます。もし名前が必要ない場合、 .stabn ディレクティブを使うことで、シンボルテーブルエントリを生成することができます。ローダは、 .stab ディレクティブによって生成されたシンボルテーブルのエントリ順を変えないことを保証します。 a.out(5) に記述されているように、シンボルテーブルの要素は以下の構造を持ちます。
/*
* シンボルテーブルエントリの書式
*/
struct nlist {
union {
const char *n_name; /* コア内部 (in-core) 時で使用 */
long n_strx; /* ファイル文字列表への
インデックス */
} n_un;
unsigned char n_type; /* 型のフラグ */
char n_other; /* 使用されていない */
short n_desc; /* 以下の struct desc 参照 */
unsigned n_value; /* アドレスまたはオフセットまたは
行 */
};
n_type フィールドの下位ビットは、シンボルをたかだか 1 つのセグメントに置くために使用します。どのセグメントに置くかは < a.out.h> 内で定義されている以下のマスクに基づきます。これらのセグメントビットを設定しないようにすることで、シンボルをどのセグメントにも属さないようにすることができます。
/* * n_type の単純な値 */ #define N_UNDF 0x0 /* 定義されていない */ #define N_ABS 0x2 /* 絶対指定 */ #define N_TEXT 0x4 /* テキスト */ #define N_DATA 0x6 /* データ */ #define N_BSS 0x8 /* bss */ #define N_EXT 01 /* 外部参照を表すビット(or して使う) */
シンボルの n_value フィールドは、リンカ ld(1) によって、正しいセグメント内のアドレスに再配置されます。どのセグメントにも入っていないシンボルの n_value フィールドは、リンカによって変更されません。さらに、 n_type フィールドで、以下のビットのいずれもセットされていない場合は、リンカは自分が持っている規則にしたがって、いくつかのシンボルを破棄します。
/*
* その他の永続的なシンボルテーブルエントリでは、N_STAB のいくつかのビットが
* セットされています。これらは、<stab.h>内に記述があります。
*/
#define N_STAB 0xe0 /* もしこれらのビットのいずれかがセットされていれば
破棄されません */
これで、112 (7 ∗ 16) 個までのシンボルを、さまざまなセグメントで分けて定義できるようになります。これらのいくつかについては既に述べられています。古いシンボリックデバッガ sdb は、以下の n_type 値を使います。
#define N_GSYM 0x20 /* グローバルシンボル : name,,0,type,0 */ #define N_FNAME 0x22 /* 手続き名 (f77 kludge): name,,0 */ #define N_FUN 0x24 /* 手続き: name,,0,linenumber,address */ #define N_STSYM 0x26 /* 静的シンボル: name,,0,type,address */ #define N_LCSYM 0x28 /* .lcomm シンボルl: name,,0,type,address */ #define N_RSYM 0x40 /* レジスタシンボル: name,,0,type,register */ #define N_SLINE 0x44 /* ソース行: 0,,0,linenumber,address */ #define N_SSYM 0x60 /* structure elt: name,,0,type,struct_offset */ #define N_SO 0x64 /* ソースファイル名: name,,0,0,address */ #define N_LSYM 0x80 /* ローカルシンボル: name,,0,type,offset */ #define N_SOL 0x84 /* #includeされたファイル名: name,,0,0,address */ #define N_PSYM 0xa0 /* パラメータ: name,,0,type,offset */ #define N_ENTRY 0xa4 /* 別のエントリ: name,linenumber,address */ #define N_LBRAC 0xc0 /* 左かっこ: 0,,0,nesting level,address */ #define N_RBRAC 0xe0 /* 右かっこ: 0,,0,nesting level,address */ #define N_BCOMM 0xe2 /* 共通の開始符号: name,, */ #define N_ECOMM 0xe4 /* 共通の終了符号: name,, */ #define N_ECOML 0xe8 /* (ローカル名の)共通の終了符号: ,,address */ #define N_LENG 0xfe /* 長さ情報を持った2番目の stab エントリ */
ここで、コメントには与えられた n_type の n_name, n_other, n_desc, n_value フィールドと .stab s の典型的な利用法が書かれています。 sdb は、ポータブル C コンパイラ cc(1) によって使われる形式の型の指定子を持っている n_desc フィールドを使います。これらの型の値のフォーマットの詳細はヘッダファイル pcc.h を参照して下さい。
Berkeley Pascal コンパイラ pc(1) は、以下の n_type 値をつかいます:
#define N_PC 0x30 /* グローバルな Pascal シンボル: name,,0,subtype,line */
と、以下のサブ型を使い、別々のコンパイルファイルにまたがる型チェックを行います。
1 ソースファイル名 2 インクルードされたファイル名 3 グローバルなラベル 4 グローバルな定数 5 グローバルな型 6 グローバルな変数 7 グローバルな関数 8 グローバルな手続き 9 外部関数 10 外部手続き 11 ライブラリ変数 12 ライブラリルーチン
歴史
stab ファイルは、 4.0BSD で登場しました。バグ
もっと基本的な形式が必要でしょう。| June 10, 2010 | FreeBSD |