DOS下的EXE文件格式比较简单，所以咱们先把Windows下的那个复杂的EXE文件放一边，挑个软柿子捏捏（以下EXE如不特殊说明均指DOS下的EXE文件格式）。 其实网上关于EXE格式的说明很多，大都是哗啦列出大批格式说明，看得人是头晕脑胀的。等自己搞懂了，总觉的其中个别说明不太精确导致自己误解浪费了不少时间。所以，咱们要自己动手去实践一下，边动手边理解就容易多了。至于本次分析为什么用C，这个嘛，咱们随便分析一下C语言与汇编的联系，尤其是子程序的调用，这跟什么什么标准有关。好，废话少说，切入正题！ 1.软件准备 ①既然跟DOS有关，得有个DOS系统吧。现在盛行虚拟机，安装简单并且系统崩溃的话跟自己电脑的硬件没关联，安全方便。至于怎么安装，请参阅本人拙文： VMware上安装MS-DOS 6.22之一：基本系统的安装 VMware上安装MS-DOS 6.22之二：光驱驱动及其他的安装 ②另外还要安装上Turbo C。初学C的大概都用过这个东东吧。安装在DOS上吧。我用的是Turbo C++ 3。 ③还得有个能查看文件16进制的软件。例如UltraEdit。 2.生成EXE文件 我们要从最简单的分析起，所以C程序尽量简单，只包含一个子程序调用。如下 int感恩节寄语 sum(int x,int y)
{
return x京东商城的+y;
}
main()升学宴家长答谢词
{
int x,y,s;
x=1;
y=2;
s=sum(x,y);
} | |
怎么样，够简单的吧。编译链接生成EXE文件。 3.小样，来吧，让我分析分析你 ①用UltraEdit打开生成的EXE文件如下图（只截取了开头一部分） 下面着重说几个重要的偏移。 ②上图的被红框圈的两个字母看见了没，这个就是EXE文件的标示，它占用了文件最开头的俩字节。可能你纳闷了为什么用MZ呢？哈哈，自己上网查查吧。 ③再往下看，在偏移02-03h的地方存放了000C（不要告诉我存放的是0C00），在偏移04-04h的地方存放了0009（请不要替我纠“错”）。通过这两个数据可以计算出文件大小，在这里0009指出该文件用了9个块（1个块是512B），000C指出最后一个块（第9个块）没有用完只用了000C个字节。明白了吧。来，实际计算一下（9﹣1）×512B=4096，再加上12（000Ch）等于4108B。跟DOS里显示的一样。 ④偏移06-07h处为重定向项目的个数。什么叫重定向呢，简单的说就是：EXE文件必须要加载到内存中才能执行，但是文件中数据的偏移地址跟内存中偏移是不一样的，重定向就是达到重新修改偏移的目的。可以看出我们这个文件中重定向项的个数为1。在这里我们也应该看一下偏移18-19h处的数据，它指出了第一个重定向项目在本文件中的偏移，在本文件中为003Eh。即，在本文件003Eh偏移处存放了第一个重定向项目的内容，它的结构体声明为： struct EXE_RELOC
{
unsigned short offset;
unsigned short segment;
}; | |
⑤偏移08-09h处：该处数据指出了EXE头部大小，一般EXE头部后面紧跟着的就是程序数据了。本文件中为0020h，注意它的单位是节，一个节为16个字节，也即程序数据开始于文件偏移200h处。 ⑥偏移0A-0Bh处：该处数据指出了运行该程序所需的最小内存，如果小于这个内存，程序将不会被加载执行。 ⑦偏移0C-0Dh处：该处数据指出了运行该程序所需的最大内存，一般为FFFFh。 ⑧偏移0E-0Fh处：堆栈段在装入模块中的偏移，本文件中为：00E5h
偏移10-11h处：SP初始值，本文件中为：0080h
即SS：SP=00E5：0080 ⑨偏移14-15h处：IP初始值，本文件中为：0
偏移16-17h处：CS在装入模块中的偏移，本文件中为：0 我们看看实际加载到内存中是SS、SP和CS、IP是如何分配的 在DOS下DEBUG一下该EXE文件。即，输入DEBUG CASM.EXE（CASM是我的EXE文件名），用R看一下寄存器。如下图 分析：DS、ES均指向了PSP段地址，也即PSP段地址为27F2h。那么CS=2802是如何算出来的呢？我们知道PSP长度为100h，如果换算成段地址的话则为10h，那么CS=PSP段地址+10h＋CS在装入模块中的偏移＝27F2h＋10h＋0＝2802h。IP与文件中初始值相同。我们再来看看堆栈段，SS＝PSP段地址＋10h＋堆栈段在装入模块中的偏移＝27F2h＋10h＋00E5h＝28E7，另外SP的值也为初始值相同。 4.汇编与C 以上我们分析了EXE头文件的格式，下面我们简单的看一下C语言是如何编译而形成机器码的。 我们可以看到生成的EXE文件相当庞大，足足有4KB。其实我们才写了几行代码，为什么会生成这么多的代码数据呢？这是因为编译器在链接的时候加上了默认的库，这个就是C RunTime Library。我们可以在链接的时候不去装载这个库，具体如下 现在我们可以用UltraEdit查看一下，是不是减肥了不少。内存装入模块如下图 用DOS下的Debug反汇编一下，如下图 从2802:000D到2802:002E是主函数main的汇编实代码。可以看出我们声明的变量都被放在了堆栈中了，图示如下（以下的图中的堆栈向上增长这句话是错误，应该是反向，另外地址是向上增长的，但堆栈是向下增长的，不好意思向各位道歉）： 接着在调用子程序前，我们可以看到有又有参数压入堆栈，这就是为参数传递做准备。 然后是CALL 0000，这是一个进调用指令，所以只将IP入栈，并且IP是CALL指令的下一条指令的地址，也即0026入栈。 此时IP被修改为0，转移到子程序中执行代码。在子程序中第一句PUSH BP第二句MOV BP,SP，经过这两条指令后 然后就是从堆栈中取传递的参数了， MOV AX,[BP+04]
ADD AX,[BP+06] | |
这两句正好取走了主函数中传递的参数，并实现了求和，并将和放在了AX寄存器中。然后执行 恢复BP寄存器的值。后边的RET指令将保存在堆栈中IP的值弹出并把它赋予IP寄存器，这时程序返回主程序执行指令。 这两条指令是什么意思呢，为了方便分析，我们再把堆栈图画一下，注意SP此时的指向。 （注意在这里为什么还把SP一下的数据给画出来，这是因为在实际的内存中数据还保存着） 原来这两句的作用就是释放传递参数所用的内存，明白了吧。 MOV 我的暑假生活手抄报图片[BP-06],AX | |
这句作用是将求和得到的值赋给变量s。 自此子程序的调用过程我们就分析完了。从我们的分析中可以看到堆栈发挥了重要的作用，为变量开辟空间，参数传递，保存寄存器值等等，都要用到它。另外C中关于参数的传递有很多标准，我们刚才分析的应该是CDECL标准。更多信息请搜索一下网络，立刻会有你的答案的。 | 
发表评论