一. 实验介绍

实验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

参考:

https://blog.csdn.net/qq_29542611/article/details/79306304