csapp之可重定位目标文件
目标文件分三种格式
1.可重定位目标文件:二进制代码和数据,由各个数据节(section)构成,从地址0开始。
2.可执行目标文件:可运行的二进制代码和数据。
3.共享目标文件:一种特殊类型的可重定位目标文件,动态加载链接。
在linux上,目标文件的格式称为可执行可链接格式(ELF)。
ELF可重定位目标文件大致布局如图:
(图片来源于南京大学袁春风老师课堂ppt)
关于符号表的解析
以简单源文件main.c为例:
void swap();
int buf[2]={1,2};
int buf2[2];
int main()
{
swap();
return 0;
}
得到的可重定位目标文件中的符号表 如下:
其中:
Value:在对应节的偏移。
Size:目标大小。
Type:要么是数据,要么是函数。
Bind:本地或全局。
Vis:预留。
Ndx:符号所在的节,其实是节头部表中条目的索引。
Name:符号名。
节头部表如下
根据节头部表可知,当Ndx=1,符号在.text;当Ndx=3,符号在.data,以此类推。
三个特殊伪节:
ABS:不该被重定位的符号,如main()函数。
UND:其它文件中定义,本文件中引用的符号,如swap()函数。
COM:还未分配位置的未初始化数据目标,如buf2,它最终放在.bss。