一. 实验介绍
实验8 分析一个奇怪的程序
分析下面的程序，在运行前思考：这个程序可以正确返回吗？
运行后再思考：为什么是这种结果？
二. 实验代码
assume cs:codesg
codesg segment
mov ax,4c00h
int 21h
start:
mov ax,0
s:
nop ;nop 什么也不做占1个字节
nop
mov di,offset s ;di 存放s的位移 8H
mov si,offset s2 ;si 存放s2的位移20H
mov ax,cs:[si] ;ax 存放 jmp short s1指令数据 EBF6（F6 = -9） 实质是往前移9个，
;后面显示的jmp short s1 会转化成 jmp (ip)
mov cs:[di],ax ;将s:nop 存ax中的数据也就是 EBF6
s0:
jmp short s ;跳转到标号s处执行指令 jmp 指令，为数据 EBF6 往偏移9个位置刚好是cs:0的位置，所以能正确返回
s1:
mov ax,0
int 21h
mov ax,0
s2:
jmp short s1 ;占2个字节
nop
codesg ends
end start
三. 实验分析
代码是顺序结构进行从start标号开始执行，一直到s0 都没有进行任何的转移，执行到 jmp short s时 ，然后cs:ip又会指向标号s处的指令，为jmp 指令 数据为EBF6 ，其中F6代表要偏移的位置 转为有符号的8位二进制是-10 ，就是往前移10个字节（包含本身所占字节数） 刚好指向code段开始 翻译成jmp 指令就是 jmp 0！然后指向 mov ax,4c00,int 21h。所以程序可以正确的返回。
这里最重要的是要理解jmp 指令的本质，短转移它的二进制数的EBF6，F6代表的是偏移量，然而显示的jmp指令内容是 jmp (ip)!，(ip)会根据偏移量自动计算！所以赋值jmp指令内容 显示的汇编指令 是变动的，而二进制数却不是变动的。
image
image
总结:
- s 处的指令赋值为:
EBF6,EB开头的指令代表jmp,F6是-9. -
EBF6代表跳转到前面9字节处, 执行指令
四. 实验结果
能正确的结束程序:
image
