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一下的数据给画出来，这是因为在实际的内存中数据还保存着）
原来这两句的作用就是释放传递参数所用的内存，明白了吧。
这句作用是将求和得到的值赋给变量s。
自此子程序的调用过程我们就分析完了。从我们的分析中可以看到堆栈发挥了重要的作用，为变量开辟空间，参数传递，保存寄存器值等等，都要用到它。另外C中关于参数的传递有很多标准，我们刚才分析的应该是CDECL标准。更多信息请搜索一下网络，立刻会有你的答案的。
