简介北京交通大学汇编与接口课程配套的Debug调试实验文档以leapYear.exe闰年判断程序为线索完整呈现汇编语言从源码编译、链接生成可执行文件到利用Debug工具逐步跟踪运行的实验过程。资料为1个docx格式实验报告压缩包约78.94MB正文按“编译链接运行—代码逻辑分析—Debug程序实践—代码错误修改”四部分展开既包含D、T、P等调试指令的用法说明也结合闰年/非闰年两种输入演示了寄存器、内存与流程控制的观察方法。针对程序可维护性文档还给出定位逻辑错误、修改源码并重新编译链接的排错思路适合北交大选课学生及自学汇编调试的初学者对照演练。已有521人学习下载。1. 汇编与接口 Debug 调试实验从闰年判断看清程序执行的血脉一个看似简单的“输入年份判断闰年”程序却能在 Debug 视图下暴露出教科书上绝不会写的真相——程序不是写对就完事了而是要能一步步看清寄存器、标志位和内存之间如何互相拉扯。这次拆解的项目来自某高校汇编与接口课程的上机实验目标程序 leapYear.exe 只有几十行汇编代码却涵盖了字符串转十六进制、循环乘法累加、标志位分支判断、子程序压栈恢复等汇编核心知识点。更关键的是这个项目自带一个隐藏彩蛋直接用 Debug 的 G 命令连续执行时会触发一个 CPU 循环条件的 Bug但单独运行却完全正常。从代码跑通到用 Debug 逐条指令追踪、找到并修复这个 Bug整个过程就是一个完整的汇编调试训练。适合刚开始接触 8086 汇编、想搞懂 MASM 编译链接全流程或者正在被 Debug 调试折磨得云里雾里的同学也适合有一定基础、想看看别人怎么用 T、P、G、D、E 这些指令排查真实问题的开发者。2. 架构与代码逻辑拆解leapYear.exe 从输入到输出的完整链路2.1 编译链接流程与 MASM 工具链拿到这个实验的第一件事不是打开编辑器敲代码而是先把 MASM 5 工具链准备好。实验文档里写的步骤很朴素把 masm5 文件夹放到 C 盘根目录通过 cd 命令进入对应目录然后依次执行 masm 和 link 指令生成 exe 文件。实际操作流程大致是cd C:\masm5 masm leapYear.asm link leapYear.objmasm 命令编译后工作目录里会出现一系列中间文件包括 .obj目标文件、.lst列表文件、.crf交叉引用、.map内存映射等这些文件在调试阶段各有用途。其中 .lst 特别有用它会给出每条指令对应的内存地址和机器码配合 Debug 的反汇编结果能快速对应到源代码。链接生成 leapYear.exe 后直接通过命令行输入年份就能看到结果输入 2020 显示 is a leap year输入 2026 和 2025 显示 not a leap year输入 2100 也正确返回不是闰年——这个测试用例正好覆盖了“能被 4 整除但不能被 100 整除”和“能被 400 整除”的完整判断规则。2.2 数据段与代码段的核心结构程序的数据段定义了几个关键变量代码段则按功能拆成了主程序、DATACATE 子程序和 IFYEARS 子程序三块。数据段的定义方式是这样的DATA SEGMENT INFON DB 0DH,0AH,Please input a year: $ Y DB 0DH,0AH,This is a leap year! $ N DB 0DH,0AH,This is not a leap year! $ W DW 0 BUF DB 8 DB ? DB 8 DUP(?) DATA ENDS这里的 0DH 是回车符的 ASCII 码0AH 是换行符$ 是 DOS 功能调用 INT 21H 的 AH9 字符串输出终止标志。BUF 的设计比较巧妙第一个字节声明缓冲区大小为 8第二个字节留给 DOS 的 INT 21H AH10 功能填写实际读入的字符数从第三个字节起才是真正的输入字符串内容。所以后续代码用 [BUF1] 取实际输入长度用 LEA DI, BUF2 把指针指向真正的输入内容起点都是基于这个缓冲区布局。W 是一个字类型变量用于存放转换后的十六进制年份。主程序的执行流程很清晰先传送数据段地址然后输出提示字符串接收输入调用 DATACATE 做 ASCII 到十六进制的转换再调用 IFYEARS 判断闰年最后根据 CF 标志位决定输出 Y 还是 N。这里有个值得注意的细节代码开头用 MOV AX, DATA / MOV DS, AX 传递段地址而不是直接用立即数传给 DS因为 8086 架构规定段寄存器不能直接接收立即数必须先经过通用寄存器过渡。2.3 DATACATE 子程序字符串年份转十六进制的数学原理DATACATE 这段代码是整个转换逻辑的核心它把用户输入的 ASCII 码年份逐位转换成真正的二进制数值DATACATE PROC NEAR LEA SI, BUF2 MOV BX, 0 X3: MOV AL, [SI] SUB AL, 30H MOV AH, 0 XCHG AX, BX MOV DX, 10D MUL DX XCHG AX, BX ADD BX, AX INC SI LOOP X3 MOV W, BX RET DATACATE ENDP这段代码的逻辑本质是一个迭代累乘算法每读取一个字符先减去 30H 得到对应的十进制数字比如字符 2 的 ASCII 码是 32H减 30H 后得到 02H然后利用 XCHG 和 MUL 实现“当前累加结果乘以 10再加上新数字”循环 4 次后就得到一个四位数的十六进制值。XCHG AX, BX 的交换操作在这里比较费解——先交换让原累加值进 AX用 DX 中的 10 做乘数执行 MUL乘积会同时存放在 DX:AX 中但因为我们保证结果不超过 16 位所以 DX 的内容没有意义再交换回 BX 使乘法结果回到 BX最后执行 ADD BX, AX 完成累加。这个循环的次数由 CX 控制来自主程序中 MOV CL, [BUF1]也就是实际输入字符数。调试过程中能清楚看到这一循环的执行效果输入 2020 时[SI] 依次指向 2、0、2、0每次循环 BX 的值依次变为 02H、0014H20、00CAH202、07E4H2020四次循环后 W 中存储的就是 07E4H恰好是十进制 2020 的十六进制表示。但注意MOV CL, [BUF1] 只修改了 CX 的低 8 位高位 CH 的内容没有初始化——这就是后续 Debug 连环出错的根源。2.4 IFYEARS 子程序标志位驱动的闰年判断状态机IFYEARS 子程序实现了完整的闰年判断条件“能被 4 整除且不能被 100 整除或者能被 400 整除”关键代码如下IFYEARS PROC NEAR PUSH BX PUSH CX PUSH DX MOV AX, W MOV CX, AX MOV DX, 0 MOV BX, 4 DIV BX CMP DX, 0 JNZ LAB1 MOV AX, CX MOV BX, 100 DIV BX CMP DX, 0 JNZ LAB2 MOV AX, CX MOV BX, 400 DIV BX CMP DX, 0 JZ LAB2 LAB1: CLC JMP LAB3 LAB2: STC LAB3: POP DX POP CX POP BX RET IFYEARS ENDPDIV 指令在这里的语义是AX 作为被除数除以 BX商存放在 AX余数存放在 DX。所以程序先拿年份除以 4 判断余数是否为 0不为 0 则跳 LAB1 清空 CF 标志并退出为 0 则继续除以 100 判断。这里有个状态机式的小设计LAB1 和 LAB2 之间的跳转组合形成了一个“短路判断”结构。不能被 4 整除就直接否定能被 4 整除但能被 100 整除且不能被 400 整除时经过 LAB1 清标志能被 400 整除时走 LAB2 置标志。注意 LAB2 后面没有 JMP直接顺序落入 LAB3而 LAB3 的唯一职责是恢复 DX、CX、BX 三个寄存器的原值并返回标志位不被恢复正是这一点让 CF 标志能正确传到主程序。判断分支中使用了 JNZ、JZ 和 JC 三种条件跳转分别处理“不相等则跳”“相等则跳”和“进位则跳”三种情况配合 CLC 清进位和 STC 置进位两个标志位操作指令完成状态表达。3. Debug 追踪实战从寄存器视角看闰年判断的每一步3.1 Debug 核心指令与程序加载状态在实验的调试环节里对 leapYear.exe 进行了完整的 Debug 跟踪这一节把当时的调试过程和指令用法完整记录下来。先在 DOS 命令行下执行 debug leapYear.exe 进入调试态然后用 R 命令查看初始寄存器值。能够看到 CS:IP 指向代码段起始位置比如 0C59:0000IP 初始为 0000。用 U 命令反汇编后可以列出每一条汇编指令的地址和机器码。这里有一个需要注意的细节首次进入调试时 CX 寄存器里存放的是文件大小而不是循环次数——这个初始值会影响后续 LOOP 指令的判断也是本节要牵扯出的核心故障点。Debug 的单步指令分为 T 和 P 两种它们的区别在实验中被验证得很清楚T 会进入子程序和中断内部逐条追踪而 P 则把 CALL 和 INT 当作黑匣子直接执行并停在下一条指令。实验中执行 INT 21H 中断后用 T 会遇到无法继续调试的情况因为 T 会尝试钻进 DOS 中断服务程序内部而用 P 就能直接跳过中断返回主程序。这个血泪经验是在 8086 Debug 环境中凡是碰到 INT、CALL、LOOP 这类指令能处理好的方法是优先用 P 而不要用 T除非确实需要查看子程序内部每一步执行过程。3.2 逐步追踪闰年输入 2020 的完整过程用 Debug 对输入 2020 的情况做完整追踪R 查看初始寄存器U 反汇编确认代码地址然后输入 T 执行单步调式。执行到 MOV CL, [BUF1] 后CL 的值变为 04这表示实际输入了 4 个字符。T 进入 DATACATE 子程序后可以看到 SI 被 LE A 指令设置为 0050指向 BUF2 的偏移位置AL 从 [SI] 取出字符 2ASCII 码 32HSUB AL, 30H 后变为 02H再用 MOV AH, 0 将 AX 扩展为 0002H。随后 XCHG AX, BX 交换后执行 MUL DX但因为 DX 为 0乘积也为 0交换回来后 ADD BX, AX 将数字 2 存入 BX。SI 自增到 0051进入下一次循环读入字符 0 后BX 为 0014H也就是十进制 20。继续追踪第二和第三次循环能观察到累乘的完整过程BX 从 0014H 变成 00CAH202再循环一次变成 07E4H2020。这里一个关键的操作是转换完成后 MOV W, BX 把最终值存入内存。但需要注意用 T 指令单步执行到循环尾部时程序没有正常跳出——因为 CX 的高位 CH 不是 0只有低位 CL 是循环计数LOOP 是以整个 CX 是否等于 0 作为循环条件的。接下来用 E 命令修改 W 的内存值为 07E4H跳过转换缺陷继续用 T 追踪 IFYEARS 子程序的执行。可以看到 AX 中的值除以 4 后 DX 余数为 0ZF 标志由 NZ 变为 ZRJNZ 不跳转继续执行除以 100 和除以 400 的判断最终 STC 将 CF 置 1JC 条件跳转指令触发输出 This is a leap year! 完美结束。3.3 错误输入 2021 的 Debug 验证与 Bug 定位验证错误输入的调试过程更有参考价值。输入 2021 后在 DATACATE 转换完成后 BX 为 07E5H这是 2021 的正确十六进制表示。但由于 CX 高位没有清零循环依然不会结束而是继续执行了很多轮最终 BX 变成了 71B0H。这个值是超出 16 位表示范围后只保留低四位的结果多轮循环下来无论输入什么年份得到的最终值都是同一个——71B0H。从实验记录中能看到71B0H 用十进制表示是 29104程序在处理它的模 4、模 100、模 400 判断时恰好构成闰年条件因此不管输入什么数字Debug 模式下都会输出“是闰年”。这个 Bug 很有意思单独运行 exe 时程序完全正常但在 Debug 中用 G 命令连续执行就会出错。原因很简单Debug 加载程序时把 CX 寄存器设置成了文件大小G 命令不会像 T 单步那样能观察到寄存器的变化当程序执行 MOV CL, [BUF1] 时CH 保留了这个初始值不变导致 CX 远大于 4。而单独运行时操作系统和 DOS 加载器对 CX 的初始值不完全相同且 INT 21H 的文件读取功能背后也可能改写 CX所以直接运行不出来这个 Bug。这个真实翻车现场恰恰说明了汇编程序对寄存器初始状态极度敏感——任何一条寄存器的值除非显式初始化否则都是不可预测的。3.4 实验中的其他 Debug 实践指令实验还覆盖了几个基础 Debug 操作指令D 指令查看内存数据可以看到地址右侧显示 ASCII 字符方便确认输入字符串的存储位置F 指令用相同数据填充一段连续内存适合批量初始化缓冲区A 指令允许直接在 Debug 环境下写汇编代码实验里用 A 实现了 MOV AX, 10H / MOV BX, 5H / ADD AX, BX 的加法验证用 G 和 T 分别运行都能得到正确结果H 指令计算两个十六进制数的和与差。这些指令单独用都很简单组合在一起就构成了一套完整的汇编调试工具链——R 看寄存器、U 看反汇编、T 单步进子程序、P 跳过调用、G 运行到断点、D 查内存、E 改内存值、F 批量填充。4. 调试避坑排查Debug 模式下的 5 个经典陷阱与处理4.1 CX 初始值残留导致的 LOOP 死循环现象在 Debug 模式下运行 leapYear.exe用 G 命令直接执行时发现不管输入什么年份都输出“是闰年”。用 T 单步跟踪后发现 DATACATE 循环没有在 4 次后正常退出BX 寄存器最终保存了一个远超年份大小的值 71B0H。原因Debug 加载程序时会把 CX 寄存器设置为文件大小而程序用 MOV CL, [BUF1] 只修改了 CX 的低 8 位来设置循环次数CH 高位始终残留着 Debug 写入的非零值。8086 的 LOOP 指令判断的是整个 CX 是否为 0高位不清零时即使低位已减到 0CX 仍不为 0LOOP 继续执行。DATACATE 子程序循环次数失控反复累加乘法导致 BX 溢出最终只保留低 16 位的值而这个值恰好满足闰年判断条件。解决在 MOV CL, [BUF1] 之后补一条 MOV CH, 0显式清零高 8 位。这样 LOOP 在计数到 0 时 CX 整值为 0循环正常退出。从那以后我在写任何循环前都会先确认循环计数器的位宽是否完整凡是 MOV CL 这类局部赋值都一并把高位清理干净。4.2 T 指令钻进中断黑匣子导致调试中断现象在 Debug 中用 T 单步执行 INT 21H 中断调用时程序直接跳转进入了一段无法辨识的 ROM-BIOS 代码继续 T 后整个界面输出混乱只能重新加载程序恢复调试。原因INT 是软中断指令T 的设计逻辑是执行到下一条指令但它会把 CALL INT 指令本身当作普通指令执行后单步推进。中断服务程序内部还有大量子程序调用和修改寄存器内容的指令一旦钻进去就相当于脱离了主程序上下文返回地址和寄存器环境都已经面目全非。解决遇到 INT 21H、INT 10H 这类 DOS/BIOS 中断调用以及 CALL 子程序时一律改用 P 指令它会把整个中断调用或子程序调用当作一个黑匣子整体执行完然后停在下一行主程序指令上。P 和 T 的选择在调试中非常关键我的原则是想看循环体内执行细节用 T想跳过中断或子程序调用用 P。4.3 CS:IP 指向错误导致反汇编代码错乱现象用 U 命令反汇编时某些地址区域显示的内容并非原始汇编指令而是看起来毫无意义的字节串。原因CS:IP 是代码段基址和指令指针的组合它们共同决定了下一条将要执行的指令位置。反汇编操作本身是从当前 CS:IP 指向的地址开始的如果 IP 经过多次 T 单步后指向了数据段或非代码区U 命令就会把数据当作指令解释。另外程序加载后 CS 段地址的分配顺序也受加载器影响如果目标地址区域不在代码段范围内就会出现反汇编内容错乱。解决第一步先用 R 指令查看当前 CS:IP 的实际值确认是否在主程序代码段范围内第二步用 U 指定明确的段地址和偏移量来查看特定区域。比如 U 0C59:0010 就能指定从偏移 0010 处反汇编。根本之道是每次进行单步和 G 运行之前都确认 CS:IP 的落点不要盲目跟调。4.4 使用 E 命令修改内存后忘记恢复现场现象调试过程中用 E 命令修改了 W 变量的值来跳过 DATACATE 转换随后继续执行 IFYEARS 判断并得到了预期的输出结果但重新运行整个程序时之前的修改依然保留在内存中结果和预期不一致。原因E 命令直接操作的是内存中的现行值它修改的是调试进程中加载的程序映像。如果直接退出 Debug 后重新加载程序内存会被重新初始化为原始状态但如果调试过程中用 E 修改后没有用 Q 退出、也没有重新加载程序当前映像中的 W 变量就是被修改后的值后续调试结果完全基于这个被污染的数据。解决每次用 E 修改过内存值后先记录下来原始值调试完毕后用 E 恢复现场或者直接重新加载 exe 文件重新开始调试。另外修改后的判断结果只代表当前内存状态下程序的运行表现要想验证真实代码的逻辑必须重新汇编链接后再验证。4.5 链接后忘记处理交叉引用文件导致重编译混乱现象修改了源码后重新执行 masm 和 link但生成的 exe 行为和修改之前完全一样改动没有生效。原因MASM 5 的 masm 指令默认会生成 .crf 交叉引用文件link 时也会读取配置文件。如果生成的中间文件与源码版本不匹配或者第一次编译时的 .obj 文件由于日期检查没有被替代链接器可能沿用了旧的 .obj。更常见的情况是当前目录下同时存在旧版 .exe 和新版 .obj链接时没有重新生成 .exe。解决执行 masm 和 link 之前先删除或重命名旧的 .obj、.exe、.crf 等中间文件然后重新编译链接。如果要保留不同版本的调试结果用不同的文件名保存中间文件这样既能验证对照也能避免同名覆盖导致新旧版本混淆。改完代码后必然要重新清理编译目录这是汇编项目绕不开的步骤。5. 二次开发把闰年判断改造成一个可扩展的年份处理模块这个实验项目本身只有几十行但它的架构具备不少可扩展点我改造它时做了三件事把判断逻辑扩展成 4 位以上任意年份的输入增加循环运行直到用户输入退出以及把闰年判断封装成一个可复用的过程。针对 DATACATE 子程序的循环次数写死为输入字符串长度的问题我修改后的思路是不再依赖 BUF1 的字符计数而是循环判断字符串结束符。把主程序中的 MOV CL, [BUF1] 改为在 DATACATE 内部用 CMP BYTE PTR [SI], 0DH 判断回车符作为循环停止条件同时间接地解决了 CX 高位未清零的隐患。修改后的 DATACATE 核心逻辑如下DATACATE PROC NEAR LEA SI, BUF2 MOV BX, 0 X3: MOV AL, [SI] CMP AL, 0DH JE DONE SUB AL, 30H MOV AH, 0 XCHG AX, BX MOV DX, 10D MUL DX XCHG AX, BX ADD BX, AX INC SI JMP X3 DONE: MOV W, BX RET DATACATE ENDP这里用 JE DONE 在遇到回车符时跳出循环字符串长度不再作为依赖CH 高位残留问题也从根源上消除了。我再把 IFYEARS 子程序提取出来作为一个供多个程序共享的公共模块并在主程序中加入一个循环标签让程序可以连续输入多个年份直到用户直接输入回车退出这样就变成一个功能完整的年份判断工具。过程中的收获是很实在的汇编程序调试的核心就是数据和指令之间的关系数据存放在内存中指令操作寄存器调试时始终关注指令执行前后寄存器值和内存地址的变化一切变得透明可控。二次开发时保存断点现场、恢复寄存器原值、跳转后记得出栈这些基础原则永远不会过时。运行正确和运行逻辑正确是两回事很多看起来不影响结果的代码细节换个环境就会立刻爆发成难以追踪的 Bug——你在调试场景下能稳定复现问题再用最小修改修复这个基本功比记住一堆指令格式重要得多。这个实验的价值正在于此一个简单到极致的程序也能让你踩一遍完整的汇编调试流程之后再遇到寄存器污染、标志位判断和循环控制的问题心里就有底了。希望这些经验帮到你少走些弯路。本文还有配套的精品资源点击获取