stabs是用来做调试的信息，存储在符号表中。 名称来自symbol table entries。

这里是英文的介绍 ：http://www.math.utah.edu/docs/info/stabs_toc.html

还有这里　： http://sourceware.org/gdb/current/onlinedocs/stabs/index.html

GNU C 编译器把c源代码编译成汇编语言.s文件， .s文件然后被翻译成.o文件，.o文件被链接成可执行文件。

如果编译的时候加了-g 参数 ， gcc 会添加额外的调试信息到.s文件中。 这些调试信息最终被带到可执行文件中。这些调试信息包含了源文件的行号，类型变量，函数，以及他们的参数及作用域等等。

对于某些目标文件格式，这些调试信息放在.stab后面，这些信息分散在生成的代码中间。stabs是a.out和xcoff目标文件的原原生格式。GNU工具也可以在coff和ecoff目标文件中加入stabs格式。

汇编器把stabs信息添加到目标文件的符号表和字串表中。链接器再把所有目标文件中的符号表和字串表合并成一个。调试器会最终使用可执行文件中的这两个表最为调试信息的来源。

stabs格式中有三个关键字 .stabs (string), .stabn (number), or .stabd (dot).

每种类型的格式为：

.stabs 中 ， string 域包含名字和类型信息。

.stabd 中， value 域是隐含的，为当前文件所在的位置，否则，value 域为重定向表的地址，函数帧指针偏移或者寄存器数.

理解stab的关键在于type域，每个可能的type数字定义了一种stab类型，而stab类型进一步定义了其string，desc，value的解释方式。表A 列出了所有可能的type域的值。

.stabs 的 "string" 域则包含了调试信息。这里的格式并没有预先定义下来，这保留了stabs格式的可扩展性。对某些stab类型，string域仅仅包含一个名字，对于另外一些stab类型而言，其中的内容可能是非常复杂的。

"string" 域的格式为:

name 是stab记录的符号的名字。

symbol_descriptor 为字符描述信息，如果这个域没有但是有类型信息，那么这个stab表示一个局部变量。表C中列出了所有的 symbol_descriptors.

类型信息要么是 type_number，要么是  `type_number=’. 单单的 type_number 是一个类型引用，指向一个已经定义的类型。

`type_number=’ 是一个类型定义， 其中数字表示一个即将定义的新类型，这个类型定义可以通过数字引用其他的类型，这些类型值可以通过=来进行递归定义。

在类型定义中，如果=后不是数字，那么他就是一个类型描述，说明什么样的类型将被定义。在类型描述（）后可能跟各种东西这个据每种不同的类型而定。如果=后是一个数字，那么这个数字就是一个类型引用。表D 是所有类型描述的列表。

如上所述，sring域可能很长，当string太长时，编译器可以可以把一个stabs分成两个，这两个stabs除了string意外，完全一样。只是第一个stabs的string以双反斜杠结尾。

main() { printf(“Hello world”); }

当编译时添加-g参数时，会生成下面的.s文件，行号是后加上去的.

Table B shows the types of symbol table entries that hold assembler and linker symbols.

The #define names for these n_types values are defined in /include/aout/aout64.h

本文地址: http://www.bagualu.net/wordpress/archives/2349 转载请注明