Scroll to navigation

ELF(5) Linux Programmer's Manual ELF(5)

名前

elf - 実行可能リンクフォーマット (ELF) ファイルのフォーマット

書式

#include <elf.h>

説明

ヘッダファイル <elf.h> は ELF 実行可能バイナリファイルのフォーマットを定義する。 これらのファイルとしては、通常の実行可能ファイル・ 再配置可能オブジェクトファイル・コアファイル・共有ライブラリがある。

ELF ファイルフォーマットを使う実行可能ファイルは、 ELF ヘッダの後にプログラムヘッダテーブルまたは セクションヘッダテーブル (またはその両方) が続く構成である。 ELF ヘッダは常にファイルのオフセット 0 にある。 プログラムヘッダテーブルとセクションヘッダテーブルの ファイル内でのオフセットは、ELF ヘッダに定義されている。 この 2 つのテーブルはファイルの残りの部分の詳細を記述する。

このヘッダファイルは上記のヘッダを C 言語の構造体で記述し、 また動的セクション・再配置可能セクション・シンボルテーブルの構造体も 含んでいる。

以下の型は N ビットアーキテクチャで使われる (N=32,64 であり ElfNElf32 または Elf64 を表し、 uintN_tuint32_t または uint64_t を表す):

ElfN_Addr       符号なしのプログラムアドレス, uintN_t
ElfN_Off        符号なしのファイルオフセット, uintN_t
ElfN_Section    符号なしのセクションインデックス, uint16_t
ElfN_Versym     符号なしのバージョンシンボル情報, uint16_t
Elf_Byte        unsigned char
ElfN_Half       uint16_t
ElfN_Sword      int32_t
ElfN_Word       uint32_t
ElfN_Sxword     int64_t
ElfN_Xword      uint64_t

(注意: *BSD での用語は少し異なる。 Elf64_HalfElf32_Half の 2 倍であり、 Elf64Quarteruint16_t に用いられる。 混乱を避けるため、以下では、これらの型はサイズが自明な型に置き換えてある。)

このファイルフォーマットが定義する全てのデータ構造体は、 関連するクラスの "自然な" サイズと配置の指針に従う。 必要な場合、データ構造体では明示的なパディング (padding, 詰め込み) が行なわれる。これは 4 バイトオブジェクトに対する 4 バイト配置を保証するためや、 構造体のサイズを 4 の倍数にするためなどである。

ELF ヘッダは型 Elf32_Ehdr または Elf64_Ehdr で記述される:

#define EI_NIDENT 16
typedef struct {

unsigned char e_ident[EI_NIDENT];
uint16_t e_type;
uint16_t e_machine;
uint32_t e_version;
ElfN_Addr e_entry;
ElfN_Off e_phoff;
ElfN_Off e_shoff;
uint32_t e_flags;
uint16_t e_ehsize;
uint16_t e_phentsize;
uint16_t e_phnum;
uint16_t e_shentsize;
uint16_t e_shnum;
uint16_t e_shstrndx; } ElfN_Ehdr;

フィールドは以下の意味を持つ:

このバイト配列は、プロセッサやファイルの他の部分には依存せずに、 ファイルを解釈 (interpret) するために指定される。 この配列内のすべてのものは、接頭辞 EI_ で始まるマクロの名前が付き、接頭辞 ELF で始まる値を持つ。 以下のマクロが定義されている:
マジックナンバーの第 1 バイト。 ELFMAG0 で埋めなければならない。 (0: 0x7f)
マジックナンバーの第 2 バイト。 ELFMAG1 で埋めなければならない。 (1: 'E')
マジックナンバーの第 3 バイト。 ELFMAG2 で埋めなければならない。 (2: 'L')
マジックナンバーの第 4 バイト。 ELFMAG3 で埋めなければならない。 (3: 'F')
第 5 バイトは、このバイナリのアーキテクチャを示す:
ELFCLASSNONE
このクラスは不正である。
32 ビットアーキテクチャを定義する。 ファイルと仮想アドレス空間が 4 ギガバイトまでのマシンをサポートする。
64 ビットアーキテクチャを定義する。
第 6 バイトはファイル内のプロセッサ固有データの データエンコーディングを指定する。 現在のところ以下のエンコーディングがサポートされている:
ELFDATANONE
不明なデータフォーマット。
2 の補数、リトルエンディアン。
2 の補数、ビッグエンディアン。
EI_VERSION
The seventh byte is the version number of the ELF specification:
不正なバージョン。
現在のバージョン。
The eighth byte identifies the operating system and ABI to which the object is targeted. Some fields in other ELF structures have flags and values that have platform-specific meanings; the interpretation of those fields is determined by the value of this byte. E.g.:
ELFOSABI_NONE
ELFOSABI_SYSV と同じ。
UNIX System V ABI.
HP-UX ABI.
NetBSD ABI.
Linux ABI.
Solaris ABI.
IRIX ABI.
FreeBSD ABI.
TRU64 UNIX ABI.
ARM アーキテクチャ ABI.
スタンドアロン (組み込み) ABI.
The ninth byte identifies the version of the ABI to which the object is targeted. This field is used to distinguish among incompatible versions of an ABI. The interpretation of this version number is dependent on the ABI identified by the EI_OSABI field. Applications conforming to this specification use the value 0.
パディングの開始。 これらのバイトは予約されており、0 に設定されている。 これらを読み込むプログラムは、これらのバイトを無視すべきである。 現在使われていないバイトに意味が与えられる場合、 EI_PAD の値は将来変更されるかもしれない。
e_ident 配列のサイズ。
この構造体のメンバはオブジェクトファイルタイプを示す:
ET_NONE
不明なタイプ。
再配置可能ファイル。
実行可能ファイル。
共有オブジェクト。
コアファイル。
このメンバは個々のファイルに必要とされるアーキテクチャを指定する。 例:
EM_NONE
不明なマシン。
AT&T WE 32100.
Sun Microsystems SPARC.
Intel 80386.
Motorola 68000.
Motorola 88000.
Intel 80860.
MIPS RS3000 (ビッグエンディアンのみ)。
HP/PA.
拡張命令セット付き SPARC。
PowerPC.
PowerPC 64-bit.
IBM S/390
Advanced RISC Machines
Renesas SuperH
SPARC v9 64-bit.
Intel Itanium
AMD x86-64
DEC Vax.
このメンバはファイルバージョンを示す:
EV_NONE
不正なバージョン。
現在のバージョン。
このメンバは、システムが最初に制御を渡す、 つまりプロセスを開始する仮想アドレスを指定する。 ファイルにエントリポイントが関連付けられていない場合、 このメンバには 0 が入る。
このメンバはプログラムヘッダテーブルの ファイルオフセット (バイト単位) を保持する。 ファイルにプログラムヘッダテーブルがない場合、 このメンバには 0 が入る。
このメンバはセクションヘッダテーブルの ファイルオフセット (バイト単位) を保持する。 ファイルにセクションヘッダテーブルがない場合、 このメンバには 0 が入る。
このメンバはファイルに関連付けられたプロセッサ固有のフラグを保持する。 フラグの名前は EF_`machine_flag' という形式である。 現在のところフラグは定義されていない。
このメンバは ELF ヘッダサイズ (バイト単位) を保持する。
このメンバはこのファイルのプログラムヘッダテーブルの 1 エントリあたりのサイズ (バイト単位) を保持する; 全てのエントリは同じサイズである。
このメンバはプログラムヘッダテーブルにあるエントリの数を保持する。 よって e_phentsizee_phnum の積がテーブルサイズ (バイト単位) になる。 ファイルにプログラムヘッダがない場合、 e_phnum は値 0 を保持する。
プログラムヘッダテーブルのエントリー数が PN_XNUM (0xffff) 以上の場合、 このメンバは PN_XNUM (0xffff) になり、プログラムヘッダテーブルの エントリーの実際の数は、セクションヘッダテーブルの最初のエントリーの sh_info メンバに格納される。それ以外の場合、セクションヘッダテーブルの 最初のエントリーの sh_info メンバには値 0 が格納される。
e_phnum が保持できる最大値を表し、 0xffff に定義されている。 e_phnum はプログラムヘッダの実際の数がどこに割り当てられているかを示す。
このメンバはセクションヘッダのサイズ (バイト単位) を保持する。 セクションヘッダはセクションヘッダテーブルの 1 つのエントリである; 全てのエントリは同じサイズである。
このメンバはセクションヘッダテーブルにあるエントリの数を保持する。 よって e_shentsizee_shnum の積はセクションヘッダテーブルのサイズ (バイト単位) になる。 ファイルにセクションヘッダテーブルがない場合、 e_shnum は値 0 を保持する。
セクションヘッダテーブルのエントリー数が SHN_LORESERVE (0xff00) 以上の場合、 e_shnum には値 0 が入り、セクションヘッダテーブルのエントリーの実際の数は セクションヘッダテーブルの最初のエントリーの sh_size メンバに格納される。 それ以外の場合、セクションヘッダテーブルの最初のエントリーの sh_info メンバ には値 0 が格納される。
このメンバはセクション名文字列テーブルに関連付けられたエントリの セクションヘッダテーブルインデックスを保持する。 ファイルにセクション名文字列テーブルがない場合、 このメンバは値 SHN_UNDEF を保持する。 SHN_UNDEF.
セクション名前文字列テーブルのインデックスが SHN_LORESERVE (0xff00) 以上の 場合、このメンバには SHN_XINDEX (0xffff) が入り、セクション名前文字列 テーブルの実際のインデックスはセクションヘッダテーブルの最初のエントリーの sh_link メンバに格納される。それ以外の場合、セクションヘッダテーブルの 最初のエントリーの sh_link メンバには値 0 が格納される。
この値は未定義・存在しない・無関係その他、 意味のないセクションの参照であることを表す。 例えば、セクション番号 SHN_UNDEF に関連づけて「定義」されたシンボルは、「未定義」なシンボルである。
この値は予約済みのインデックス領域の下限を指定する。
この値以上で SHN_HIPROC 以下の値はプロセッサ固有の意味に予約されている。
この値以下で SHN_HIPROC 以上の値はプロセッサ固有の意味に予約されている。
この値は対応する参照の絶対値を指定する。 例えば、セクション番号 SHN_ABS に関連づけられたシンボルは絶対値を保持し、再配置に影響されない。
このセクションに関連して定義されたシンボルは、 Fortran の COMMON や C の未割り当て external 変数のような、 共通シンボルである。
この値は予約されたインデックスの範囲の上限を指定する。 SHN_LORESERVESHN_HIRESERVE は含まれる。 この値はセクションヘッダテーブルを参照しない。 つまり、セクションヘッダテーブルは 予約されたインデックスのエントリを 含まない 。

実行可能ファイルまたは共有オブジェクトファイルのプログラムヘッダテーブルは、 システムによるプログラム実行準備に必要な、 セグメント等の情報を記述する構造体の配列である。 オブジェクトファイルの セグメント には 1 つ以上の セクション が含まれる。 プログラムヘッダは実行可能ファイルと共有オブジェクトファイルでのみ意味を持つ。 ファイルは自身のプログラムヘッダサイズを ELF ヘッダの e_phentsize メンバと e_phnum メンバで指定する。 ELF プログラムヘッダは Elf32_Phdr 型または Elf64_Phdr 型で記述される (どちらになるかはアーキテクチャ依存):

typedef struct {

uint32_t p_type;
Elf32_Off p_offset;
Elf32_Addr p_vaddr;
Elf32_Addr p_paddr;
uint32_t p_filesz;
uint32_t p_memsz;
uint32_t p_flags;
uint32_t p_align; } Elf32_Phdr;


typedef struct {

uint32_t p_type;
uint32_t p_flags;
Elf64_Off p_offset;
Elf64_Addr p_vaddr;
Elf64_Addr p_paddr;
uint64_t p_filesz;
uint64_t p_memsz;
uint64_t p_align; } Elf64_Phdr;

32 ビットと 64 ビットのプログラムヘッダの主な違いは、構造体における p_flags メンバの位置にある。

Phdr 構造体のこのメンバは、 この配列要素がどのような種類のセグメントを記述しているか、 またはこの配列要素の情報をどのように解釈するか、を表す。
この配列要素は使用されておらず、その他のメンバの値は未定義である。 これにより、このプログラムヘッダのエントリは無視される。
この配列要素は p_fileszp_memsz で記述されるロード可能セグメントを指定する。 このファイルからのバイトデータが、このメモリセグメントの先頭からマップされる。 セグメントのメモリサイズ Syp_memsz がファイルサイズ Syp_filesz より大きい場合、 「余った」バイトは値 0 となり、 そのセグメント初期化データの後ろに置かれると定められている。 ファイルサイズはメモリサイズより大きくてはいけない。 プログラムヘッダテーブルのロード可能セグメントエントリは、 p_vaddr メンバの昇順にソートされて出現する。
この配列要素は動的リンク情報を指定する。
この配列要素は、インタプリタとして起動されるパス名 (NULL 文字終端) の位置とサイズを指定する。 このセグメント型は (共有オブジェクトにもあるかも知れないが) 実行可能ファイルでのみ意味を持つ。 ただし、このセグメント型は 1 つのファイルに 2 回以上出現してはならない。 もし存在する場合、このセグメント型は 全てのロード可能セグメントエントリより前になければならない。
この配列要素は補足情報 (auxiliary information) の位置とサイズを指定する。
このセグメント型は予約されているが、意味は指定されていない。 この型の配列要素を保持するプログラムは ABI に準拠しない。
この配列要素は、もし存在しているならば、 ファイルおよびプログラムのメモリイメージ双方における プログラムヘッダテーブル自身の位置とサイズを指定する。 このセグメント型は 1 つのファイルに 2 回以上出現してはならない。 さらに、このセグメント型が存在してもよいのは、プログラムヘッダテーブルが プログラムのメモリイメージの一部である場合のみである。 もし存在する場合、これは全てのロード可能セグメントエントリより 前になければならない。
この値以上で PT_HIPROC 以下の値はプロセッサ固有の意味に予約されている。
この値以下で PT_LOPROC 以上の値はプロセッサ固有の意味に予約されている。
GNU 拡張であり、Linux カーネルが p_flags のメンバーにセットされたフラグ経由でスタックの状態を制御するために使用する。
このメンバは、セグメントの先頭バイトがある (ファイル先頭からの) オフセットを保持する。
このメンバは、セグメントの先頭バイトがある メモリの仮想アドレスを保持する。
物理アドレスが意味をもつシステムでは、 このメンバはセグメントの物理アドレスとして予約されている。 BSD ではこのメンバは使用されない。0 でなければならない。
このメンバはセグメントのファイルイメージのバイト数を保持する。 これは 0 でもよい。
このメンバはセグメントのメモリイメージのバイト数を保持する。 これは 0 でもよい。
このメンバはセグメントに関連するフラグのビットマスクを保持する:
PF_X
実行可能セグメント。
書き込み可能セグメント.
読み込み可能セグメント。
テキストセグメントは一般にフラグ PF_XPF_R を持つ。 データセグメントは一般に PF_X, PF_W, PF_R を持つ。
このメンバは、セグメントがメモリおよびファイルにおいて配置 (align) される値を保持する。 ロード可能プロセスセグメントは、ページサイズを法として p_vaddrp_offset と合同でなければならない (訳注:「p_vaddr mod ページサイズ = p_offset mod ページサイズ」 でなければならない)。。 0 と 1 という値は配置が必要ないことを意味する。 それ以外の場合、 p_align は正で 2 の整数乗でなければならず、 p_vaddrp_align を法として p_offset と合同でなければならない (訳注:「p_vaddr mod p_align = p_offset mod p_align」でなければならない)。

ファイルのセクションヘッダテーブルには、 全てのファイルセクションの場所が記述されている。 セクションヘッダテーブルは Elf32_Shdr 構造体または Elf64_Shdr 構造体の配列である。 ELF ヘッダの e_shoff メンバはファイルの先頭から セクションヘッダテーブルへのバイトオフセットである。 e_shnum はセクションヘッダテーブルに含まれるエントリの数を保持する。 e_shentsize は各エントリのサイズ (バイト単位) を保持する。

セクションヘッダテーブルインデックスは、この配列の添字である。 いくつかのセクションヘッダテーブルインデックスは予約されている。予約されて いるのは、最初のエントリーと、SHN_LORESERVESHN_HIRESERVE の間の インデックスである。 最初のエントリーは、ELF 拡張で e_phnum, e_shnum, e_strndx に使用 される。それ以外の場合、最初のエントリーの各フィールドには 0 が設定される。 オブジェクトファイルにはこれらの特別なインデックスに対応するセクションはない。

この値は未定義・不明・無関係・無意味なセクション参照の印となる。
この値は予約済みのインデックス領域の下限を指定する。
この値以上で SHN_HIPROC 以下の値はプロセッサ固有の意味に予約されている。
この値以下で SHN_HIPROC 以上の値はプロセッサ固有の意味に予約されている。
この値は対応する参照の絶対値を指定する。 例えば、セクション番号 SHN_ABS に関連して定義されているシンボルは、 絶対値を保持しているので、再配置に影響されない。
このセクションに関連して定義されているシンボルは、 FORTRAN の COMMON や C の未割り当て外部変数のような共通シンボルである。
この値は予約済みのインデックス領域の上限を指定する。 システムは SHN_LORESERVESHN_HIRESERVE を含む範囲を予約する。 セクションヘッダテーブルは予約されたインデックスに対応するエントリを持たない。

セクションヘッダは以下の構造体を持つ:

typedef struct {

uint32_t sh_name;
uint32_t sh_type;
uint32_t sh_flags;
Elf32_Addr sh_addr;
Elf32_Off sh_offset;
uint32_t sh_size;
uint32_t sh_link;
uint32_t sh_info;
uint32_t sh_addralign;
uint32_t sh_entsize; } Elf32_Shdr;


typedef struct {

uint32_t sh_name;
uint32_t sh_type;
uint64_t sh_flags;
Elf64_Addr sh_addr;
Elf64_Off sh_offset;
uint64_t sh_size;
uint32_t sh_link;
uint32_t sh_info;
uint64_t sh_addralign;
uint64_t sh_entsize; } Elf64_Shdr;

32 ビットと 64 ビットのセクションヘッダには実際の違いはない。

このメンバはセクション名を定める。 この値はセクションヘッダ文字列テーブルセクションのインデックスであり、 NULL 文字で終端された文字列の場所を示す。
このメンバはセクションの内容と意味が含まれるカテゴリを示す。
この値はセクションヘッダが不活性であることを示す。 これは関連するセクションを持たない。 このセクションヘッダの他のメンバは、未定義の値を持つ。
このセクションはプログラムにより定義される情報を保持する。 この情報の形式と意味は、ひとえにプログラムによって決定される。
このセクションはシンボルテーブルを保持する。 一般には SHT_SYMTAB はリンク編集のためのシンボルを提供するが、 動的リンクにも使われる。 完全なシンボルテーブルとして、動的リンクには不要な 多くのシンボルを保持できる。 オブジェクトファイルも SHT_DYNSYM セクションを持つことができる。
このセクションは文字列テーブルを保持する。 オブジェクトファイルは複数の文字列テーブルセクションを持つことができる。
このセクションは明示的な加数 (addend) を持つ再配置エントリを保持する。 再配置エントリの型は、オブジェクトファイルの 32 ビットクラスでは Elf32_Rela である。 オブジェクトファイルは複数の再配置セクションを持つことができる。
このセクションはシンボルハッシュテーブルを保持する。 動的リンクされるオブジェクトは、 シンボルハッシュテーブルを含んでいなければならない。 オブジェクトファイルは 1 つのハッシュテーブルのみを持つことができる。
このセクションは動的リンクの情報を保持する。 オブジェクトファイルは 1 つの動的セクションのみを持つことができる。
このセクションはファイルに何らかの印を付ける情報を保持する。
このタイプのセクションはファイルの領域を使わないという以外は、 SHT_PROGBITS と似ている。 このセクションは 1 バイトも含まないが、 sh_offset メンバは概念的なファイルオフセットを持つ。
このセクションは明示的な加数を持たない再配置オフセットを保持する。 再配置オフセットの型は、オブジェクトファイルの 32 ビットクラスでは Elf32_Rel である。 オブジェクトファイルは複数の再配置セクションを持つことができる。
このセクションは予約されているが、意味は指定されていない。
このセクションは動的リンクシンボルの最小セットを保持する。 オブジェクトファイルは SHT_SYMTAB セクションも含むことができる。
この値以上で SHT_HIPROC 以下の範囲はプロセッサ固有の意味に予約されている。
この値以下で SHT_LOPROC 以上の範囲はプロセッサ固有の意味に予約されている。
この値はアプリケーションプログラムのために予約される インデックス範囲の下限を指定する。
この値はアプリケーションプログラムのために予約される インデックス範囲の上限を指定する。 SHT_LOUSER から SHT_HIUSER の間のセクションタイプは、 現在または将来のシステム定義セクションタイプと衝突することなく、 アプリケーションで使用することができる。
様々な属性を記述するための 1 ビットのフラグをサポートするセクション。 フラグビットが sh_flags に設定された場合、そのセクションについての属性は "オン" になる。 それ以外の場合、属性が "オフ" であるか属性が適用されない。 未定義の属性は 0 に設定される。
このセクションはプロセス実行中に書き込み可能なデータを含む。
このセクションはプロセス実行中にメモリを使用する。 制御セクションの中には、オブジェクトファイルのメモリイメージには 存在しないものもある。 そうしたセクションの場合、この属性はオフである。
このセクションは実行可能なマシン命令を含む。
このマスクに含まれる全てのビットはプロセッサ固有の意味に予約されている。
このセクションがプロセスのメモリイメージにある場合、 このメンバはセクションの最初のバイトが存在するアドレスを保持する。 それ以外の場合、このメンバは 0 である。
このメンバの値は、ファイルの先頭からセクションの最初のバイトへの バイトオフセットを保持する。 セクションタイプ SHT_NOBITS はファイルの領域を全く使用せず、このタイプの sh_offset メンバはファイルの概念的な位置を示す。
このメンバはセクションのサイズ (バイト単位) を保持する。 セクションタイプが SHT_NOBITS でない限り、そのセクションはファイル中の sh_size バイトを使用する。 タイプが SHT_NOBITS のセクションはサイズが 0 でないが、ファイルの領域を使用しない。
このメンバは、セクションヘッダテーブルインデックスリンクを保持する。 この解釈はセクションタイプに依存する。
このメンバは追加情報を保持する。 この解釈はセクションタイプに依存する。
アドレス配置に制約があるセクションもある。 セクションが倍長語 (doubleword) を保持する場合、 システムは全てのセクションについて倍長語の配置を保証しなければならない。 つまり、 sh_addr の値は sh_addralign の値を法として 0 と合同でなければならない (訳注:「sh_addr mod sh_addralign = 0 でなければならない)。 2 の 0 乗と正の整数乗のみが許可される。 0 または 1 はセクションの配置に制約がないことを意味する。
シンボルテーブルのような固定サイズエントリのテーブルを保持する セクションもある。 このようなセクションでは、 このメンバは各エントリのサイズ (バイト単位) を表す。 このメンバが 0 の場合、 そのセクションは固定サイズエントリのテーブルを保持しない。

さまざまなセクションにプログラム情報・制御情報が保持される:

.bss
このセクションはプログラムのメモリイメージに配置される 非初期化データを保持する。 定義上、システムはプログラムの実行開始時に、データを 0 で初期化する。 このセクションのタイプは SHT_NOBITS である。 属性タイプは SHF_ALLOCSHF_WRITE である。
.comment
このセクションはバージョン制御情報を保持する。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは使用されない。
.ctors
このセクションは C++ コンストラクタ関数への初期化されたポインタを保持する。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは SHF_ALLOCSHF_WRITE である。
.data
このセクションはプログラムのメモリイメージに配置される 初期化済みデータを保持する。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは SHF_ALLOCSHF_WRITE である。
.data1
このセクションはプログラムのメモリイメージに配置される 初期化済みデータを保持する。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは SHF_ALLOCSHF_WRITE である。
.debug
このセクションはシンボリックデバッグ用の情報を保持する。 その内容は指定されていない。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは使用されない。
.dtors
このセクションは C++ デストラクタ関数への初期化されたポインタを保持する。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは SHF_ALLOCSHF_WRITE である。
.dynamic
このセクションは動的リンク情報を保持する。 このセクションの属性は SHF_ALLOC ビットを含む。 SHF_WRITE ビットが設定されるか否かはプロセッサによる。 このセクションのタイプは SHT_DYNAMIC である。 上記の属性を参照すること。
.dynstr
このセクションは動的リンクに必要な文字列を保持する。 最も一般的には、この文字列はシンボルテーブルエントリと 関連づけられた名前を表す。 このセクションのタイプは SHT_STRTAB である。 使用される属性タイプは SHF_ALLOC である。
.dynsym
このセクションは動的リンクシンボルテーブルを保持する。 このセクションのタイプは SHT_DYNSYM である。 使用される属性タイプは SHF_ALLOC である。
.fini
このセクションはプロセス終了コードに置かれる実行可能命令を保持する。 プロセスが正常に終了した場合、システムはこのセクションにある コードを配置して実行する。 このセクションのタイプは SHT_PROGBITS である。 使用される属性タイプは SHF_ALLOCSHF_EXECINSTR である。
.gnu.version
このセクションはバージョン・シンボル・テーブルを保持する。 その内容は ElfN_Half 要素の配列である。 このセクションのタイプは SHT_GNU_versym である。 使用される属性タイプは SHF_ALLOC である。
.gnu.version_d
このセクションはバージョンシンボルの定義を保持する。 その内容は ElfN_Verdef 構造体のテーブルである。 このセクションのタイプは SHT_GNU_verdef である。 使用される属性タイプは SHF_ALLOC である。
.gnu.version_r
このセクションはバージョンシンボルが必要とする要素を保持する。 その内容は ElfN_Verneed 構造体のテーブルである。 このセクションのタイプは SHT_GNU_versym である。 使用される属性タイプは shf_alloc である。
.got
このセクションはグローバルオフセットテーブルを保持する。 このセクションのタイプは SHT_PROGBITS である。 属性はプロセッサ毎に異なる。
.hash
このセクションはシンボルハッシュテーブルを保持する。 セクションのタイプは SHT_HASH である。 使用される属性は SHF_ALLOC である。
.init
このセクションはプロセス初期化コードに配置される実行可能命令を保持する。 プログラムが実行を開始すると、 システムはメインプログラムエントリポイントを呼び出す前に、 このセクションにあるコードを配置して実行する。 このセクションはのタイプは SHT_PROGBITS である。 使用される属性は SHF_ALLOCSHF_EXECINSTR である。
.interp
このセクションはプログラムインタプリタのパス名を保持する。 ファイルにこのセクションを含むロード可能セグメントがある場合、 そのセクションの属性には SHF_ALLOC ビットが含まれる。 それ以外の場合このビットはオフになる。 このセクションのタイプは SHT_PROGBITS である。
.line
このセクションはシンボリックデバッグのための行番号情報を保持する。 ここにはプログラムソースコードとマシンコードの対応関係が記述される。 内容は指定されていない。 このセクションのタイプは SHT_PROGBITS である。 属性タイプは使用されない。
.note
このセクションは "Note Section" 形式で情報を保持する。このセクションのタイプ は SHT_NOTE である。属性タイプは使用されない。通常 OpenBSD ネイティブ実行 可能ファイルは自身を識別するために .note.openbsd.ident セクションを持つ。 これによりカーネルは、ファイルをロードする際に 互換 ELF バイナリエミュレーショ ンテストを回避できる。
.note.GNU-stack
このセクションは Linux のオブジェクトファイルで スタック属性を宣言するのに使用される。 セクションのタイプは SHT_PROGBITS である。使用される属性は SHF_EXECINSTR だけである。この属性は GNU リンカに対して オブジェクトファイルが実行可能なスタック (executable stack) を必要とする 示すものである。
.plt
このセクションは手続き (procedure) リンクテーブルを保持する。 このセクションのタイプは SHT_PROGBITS である。 属性はプロセッサ毎に異なる。
.relNAME
このセクションは以下に記述される再配置情報を保持する。 ファイルが再配置を含むロード可能セグメントを持っている場合、 このセクションの属性は SHF_ALLOC ビットを含む。 それ以外の場合、そのビットはオフである。 慣例として、 "NAME" は再配置が適用されるセクションが指定される。 よって .text についての再配置セクションは、通常は .rel.text という名前を持つ。 このセクションのタイプは SHT_REL である。
.relaNAME
このセクションは以下に記述される再配置情報を保持する。 ファイルが再配置を含むロード可能セグメントを持っている場合、 このセクションの属性は SHF_ALLOC ビットを含む。 それ以外の場合、そのビットはオフである。 慣例として、 "NAME" は再配置が適用されるセクションが指定される。 よって .text についての再配置セクションは、通常は .rela.text という名前を持つ。 このセクションのタイプは SHT_RELA である。
.rodata
このセクションはリードオンリーのデータを保持する。 このデータはプロセスイメージにおける書き込み不可能なセグメントに置かれる。 このセクションのタイプは SHT_PROGBITS である。 使用される属性は SHF_ALLOC である。
.rodata1
このセクションはリードオンリーのデータを保持する。 このデータはプロセスイメージにおける書き込み不可能なセグメントに置かれる。 このセクションのタイプは SHT_PROGBITS である。 使用される属性は SHF_ALLOC である。
.shstrtab
このセクションはセクション名を保持する。 このセクションのタイプは SHT_STRTAB である。 属性タイプは使用されない。
.strtab
このセクションは文字列を保持する。 最も一般的なのは、シンボルテーブルエントリに関連づけられた 名前を表す文字列である。 ファイルがシンボル文字列テーブルを含むロード可能セグメントを持つ場合、 セクションの属性は SHF_ALLOC ビットを含む。 それ以外の場合、そのビットはオフである。 このセクションのタイプは SHT_STRTAB である。
.symtab
このセクションはシンボルテーブルを保持する。 ファイルがシンボルテーブルを含むロード可能セグメントを持つ場合、 セクションの属性は SHF_ALLOC ビットを含む。 それ以外の場合、ビットはオフである。 このセクションのタイプは SHT_SYMTAB である。
.text
このセクションはプログラムの "テキスト" または実行可能命令を保持する。 セクションのタイプは SHT_PROGBITS である。 使用される属性は SHF_ALLOCSHF_EXECINSTR である。

文字列テーブルセクションは NULL 文字で終端されたキャラクタ配列 (通常文字列と呼ばれるもの) を保持する。 オブジェクトファイルはこれらの文字列を シンボル名とセクション名を表すために使う。 文字列は、文字列テーブルセクションへのインデックスとして参照される。 インデックス 0 の最初のバイトは、NULL バイト ('\0') を 保持すると定義されている。 同様に文字列テーブルの最後のバイトも NULL 文字を保持すると定義されている。 これは全ての文字列が NULL バイトで終端されていることを保証するためである。

オブジェクトファイルのシンボルテーブルは、 プログラムのシンボル定義と参照を配置または再配置するのに 必要な情報を保持する。

typedef struct {

uint32_t st_name;
Elf32_Addr st_value;
uint32_t st_size;
unsigned char st_info;
unsigned char st_other;
uint16_t st_shndx; } Elf32_Sym;


typedef struct {

uint32_t st_name;
unsigned char st_info;
unsigned char st_other;
uint16_t st_shndx;
Elf64_Addr st_value;
uint64_t st_size; } Elf64_Sym;

32 ビット版と 64 ビット版は同じメンバを持ち、単に順番が異なるだけである。

このメンバはオブジェクトファイルのシンボル文字列テーブルの インデックスを保持する。 シンボル文字列テーブルはシンボル名の文字表現を保持する。 この値が 0 でない場合、シンボル名を得るための文字テーブルインデックスを表す。 それ以外の場合、シンボルテーブルは名前を持たない。
このメンバは関連づけられたシンボルの値を表す。
多くのシンボルにはそれに関連づけられたサイズがある。 シンボルがサイズを持たない場合、またはサイズが不明な場合、 このメンバは 0 である。
このメンバはシンボルのタイプとバインディング (binding) 属性を指定する:
シンボルのタイプが定義されていない。
シンボルはデータオブジェクトに関連づけられている。
シンボルは関数またはその他の実行コードに関連づけられている。
シンボルはセクションに関連づけられている。 このタイプのシンボルテーブルエントリは、 主として再配置のために存在し、通常は STB_LOCAL バインディングを持つ。
慣例として、シンボルの名前は オブジェクトファイルに関連づけられたソースファイルの名前を指定する。 ファイルシンボルは STB_LOCAL バインディングを持ち、そのセクションインデックスは SHN_ABS である。 ファイルシンボルは、ファイルに他の STB_LOCAL シンボルがある場合は、それよりも先に来る。
この値以上で STT_HIPROC 以下の範囲はプロセッサ固有の意味に予約されている。
この値以下で STT_LOPROC 以上の範囲はプロセッサ固有の意味に予約されている。
局所的シンボルはその定義を含むオブジェクトファイルの外からは見えない。 同じ名前の局所的シンボルは、お互いに影響を受けることなく、 複数のファイルに存在できる。
大域的シンボルは結びつけられている全てのオブジェクトファイルから見える。 1 つのファイルで大域的シンボルが定義されていたら、 他のファイルでは同じシンボルへの参照は未定義でなければならない。
弱シンボルは大域的シンボルに似ているが、その定義は優先度が低い。
この値以上で STB_HIPROC 以下の範囲はプロセッサ固有の意味に予約されている。
この値以下で STB_LOPROC 以上の範囲はプロセッサ固有の意味に予約されている。
バインディングとタイプフィールドを パックしたりアンパックしたりするマクロがある:
ELF32_ST_BIND(info) または ELF64_ST_BIND(info) st_info の値からバインディングを取り出す。
ELF32_ST_TYPE(info) または ELF64_ST_TYPE(info)
st_info の値からタイプを取り出す。
ELF32_ST_INFO(bind, type) または ELF64_ST_INFO(bind, type)
バインディングとタイプを st_info の値に変換する。
このメンバはシンボルの visibility (見える範囲) を規定する。
STV_DEFAULT
デフォルトのシンボル visibility ルール。
プロセッサ固有の隠しクラス。
シンボルは他のモジュールからは利用できない。
横取りできず (not preemptible)、公開されない。

visibility 種別を抽出するためのマクロがある。

ELF32_ST_VISIBILITY(other) または ELF64_ST_VISIBILITY(other)

各シンボルテーブルエントリは、いくつかのセクションに関連して "定義されている"。 このメンバは関連するセクションヘッダテーブルインデックスを保持する。

再配置はシンボル参照とシンボル定義を結合するプロセスである。 再配置可能ファイルはセクションの内容をどのように修正するかに関する 情報を持たなければならない。 これにより、実行可能ファイルと共有オブジェクトファイルは プロセスのプログラムイメージについての正しい情報を持つことができる。 再配置エントリは以下のようなデータである。

加数を必要としない再配置構造体。

typedef struct {

Elf32_Addr r_offset;
uint32_t r_info; } Elf32_Rel;


typedef struct {

Elf64_Addr r_offset;
uint64_t r_info; } Elf64_Rel;

加数を必要とする再配置構造体。

typedef struct {

Elf32_Addr r_offset;
uint32_t r_info;
int32_t r_addend; } Elf32_Rela;


typedef struct {

Elf64_Addr r_offset;
uint64_t r_info;
int64_t r_addend; } Elf64_Rela;

このメンバは再配置動作が適用される位置を与える。 再配置可能ファイルの場合、この値はセクションの先頭から 再配置で影響を受ける格納単位 (storage unit) までのバイトオフセットである。 実行可能ファイルまたは共有オブジェクトの場合、 この値は再配置で影響を受ける格納単位の仮想アドレスである。
このメンバは、再配置が行われなければならないシンボルテーブルインデックスと、 適用される再配置のタイプの両方を与える。 再配置タイプはプロセッサ毎に異なる。 テキストが再配置エントリの再配置タイプ またはシンボルテーブルインデックスを参照している場合、 それぞれエントリの r_info メンバに対して、それぞれ ELF[32|64]_R_TYPEELF[32|64]_R_SYM を適用した結果を意味する。
このメンバは定数の加数を指定する。 この加数は再配置可能フィールドに格納される値を計算するために使われる。

.dynamic セクションは、関連する動的リンク情報を保持している 一連の構造体を保持する。 d_tag メンバは d_un の解釈を制御する。

typedef struct {

Elf32_Sword d_tag;
union {
Elf32_Word d_val;
Elf32_Addr d_ptr;
} d_un; } Elf32_Dyn; extern Elf32_Dyn _DYNAMIC[];


typedef struct {

Elf64_Sxword d_tag;
union {
Elf64_Xword d_val;
Elf64_Addr d_ptr;
} d_un; } Elf64_Dyn; extern Elf64_Dyn _DYNAMIC[];

このメンバは以下の値を持つことができる:
動的セクションの終りのマーク
必要なライブラリの名前への文字列テーブルオフセット
PLT 再配置 (reloc) テーブルのサイズ (バイト単位)
PLT と GOT (または何れか一方) のアドレス
シンボルハッシュテーブルのアドレス
文字列テーブルのアドレス
シンボルテーブルのアドレス
Rela 再配置テーブルのアドレス
Rela テーブルのサイズ (バイト単位)
Rela テーブルエントリのサイズ (バイト単位)
文字列テーブルのサイズ (バイト単位)
シンボルテーブルエントリのサイズ (バイト単位)
初期化関数のアドレス
終了関数のアドレス
共有オブジェクトの名前への文字列テーブルオフセット
ライブラリ検索パスへの文字列テーブルオフセット (推奨されない)
リンカがシンボルの実行可能ファイルより前に この共有オブジェクトを検索した場合は、警告を出す。
Rel 再配置テーブルのアドレス
Rel テーブルのサイズ (バイト単位)
Rel テーブルエントリのサイズ (バイト単位)
PLT が参照する再配置テーブルのタイプ (Rela または Rel)
デバッグのために使用されている。内容は定義されていない。
これが指定されていない場合、 書き込み不可のセグメントには再配置は適用されない。
PLT 専用の再配置エントリのアドレス
実行可能ファイルに制御を譲る前に、 全ての再配置を処理するように動的リンカに指示する。
ライブラリ検索パスへの文字列テーブルオフセット
プロセッサ固有の意味の開始
プロセッサ固有の意味の終了
このメンバは様々な意味に解釈される整数値である。
このメンバはプログラムの仮想アドレスを表す。 これらのアドレスを解釈する際に、 実際のアドレスは元々のファイルの値と メモリの基底アドレスから計算される。 ファイルにはこれらのアドレスを修正するための 再配置エントリを含めてはならない。
_DYNAMIC
.dynamic セクションにある全ての動的構造体を含む配列。 これは自動的にリンカに渡される。

注意

ELF は System V で初めて登場した。 ELF 自体は System V で初めて登場した。 ELF フォーマットは採択された標準である。

e_phnum, e_shnum, e_strndx に対する拡張は、いずれも Linux での拡張で ある。Sun, BSD, AMD64 もこれに対応している。詳しい情報は、関連項目を参照。

関連項目

as(1), gdb(1), ld(1), objdump(1), execve(2), core(5)

Hewlett-Packard, Elf-64 Object File Format.

Santa Cruz Operation, System V Application Binary Interface.

UNIX System Laboratories, "Object Files", Executable and Linking Format (ELF).

Sun Microsystems, Linker and Libraries Guide.

AMD64 ABI Draft, System V Application Binary Interface AMD64 Architecture Processor Supplement.

この文書について

この man ページは Linux man-pages プロジェクトのリリース 3.51 の一部 である。プロジェクトの説明とバグ報告に関する情報は http://www.kernel.org/doc/man-pages/ に書かれている。

2013-04-17 Linux