符号表

在电脑科学中，符号表是一种用于语言翻译器（例如编译器和解释器）中的数据结构。在符号表中，程序原始码中的每个标识符都和它的声明或使用资讯绑定在一起，比如其数据类型、作用域以及内存地址。

实现

散列表是用来实现符号表的一种常用技术。编译器可能会使用一个很大的符号表来包含所有的符号，或是针对不同的作用域使用层次结构的多个独立的符号表。

使用

目标文件中通常会有一个包含了所有外部可见标识符的符号表。在链接不同的目标文件时，链接器会使用这些文件中的符号表来解析所有未解析的符号引用。

符号表可能只存在于翻译阶段，也可能被嵌入到该阶段的输出文件中，以供后续阶段使用。比如，它可用于交互式的调试器中，也可以在程序执行过程中或结束后提供格式化的诊断报告。

在逆向工程中，许多工具会通过符号表来检查全局变量和已知函数的地址。如果可执行文件的符号表被strip这样的工具去除掉了，则逆向工程会更加困难。

在进行动态内存分配和变量访问时，编译器需要完成许多工作，其中扩展的栈模型就需要用到符号表。

示例

下图是一个小程序的符号表。该表是用GNU Binutils中的nm工具生成的。其中有一个数据类型符号（由类型 "D" 表明）和许多函数（自己定义的以及标准库中的）。第一列是每个符号在内存中的位置，第二列是"符号类型 （页面存档备份，存于互联网档案馆）"，而第三列则是符号名称。通过传递适当的参数，可以按照地址顺序生成该符号表。

Example table

地址	类型	名称
00000020	a	T_BIT
00000040	a	F_BIT
00000080	a	I_BIT
20000004	t	irqvec
20000008	t	fiqvec
2000000c	t	InitReset
20000018	T	_main
20000024	t	End
20000030	T	AT91F_US3_CfgPIO_useB
2000005c	t	AT91F_PIO_CfgPeriph
200000b0	T	main
20000120	T	AT91F_DBGU_Printk
20000190	t	AT91F_US_TxReady
200001c0	t	AT91F_US_PutChar
200001f8	T	AT91F_SpuriousHandler
20000214	T	AT91F_DataAbort
20000230	T	AT91F_FetchAbort
2000024c	T	AT91F_Undef
20000268	T	AT91F_UndefHandler
20000284	T	AT91F_LowLevelInit
200002e0	t	AT91F_DBGU_CfgPIO
2000030c	t	AT91F_PIO_CfgPeriph
20000360	t	AT91F_US_Configure
200003dc	t	AT91F_US_SetBaudrate
2000041c	t	AT91F_US_Baudrate
200004ec	t	AT91F_US_SetTimeguard
2000051c	t	AT91F_PDC_Open
2000059c	t	AT91F_PDC_DisableRx
200005c8	t	AT91F_PDC_DisableTx
200005f4	t	AT91F_PDC_SetNextTx
20000638	t	AT91F_PDC_SetNextRx
2000067c	t	AT91F_PDC_SetTx
200006c0	t	AT91F_PDC_SetRx
20000704	t	AT91F_PDC_EnableRx
20000730	t	AT91F_PDC_EnableTx
2000075c	t	AT91F_US_EnableTx
20000788	T	__aeabi_uidiv
20000788	T	__udivsi3
20000884	T	__aeabi_uidivmod
2000089c	T	__aeabi_idiv0
2000089c	T	__aeabi_ldiv0
2000089c	T	__div0
200009a0	D	_data
200009a0	A	_etext
200009a0	D	holaamigosh
200009a4	A	__bss_end__
200009a4	A	__bss_start
200009a4	A	__bss_start__
200009a4	A	_edata
200009a4	A	_end

参见

• Debug symbol