4.3 高级语言与机器级代码之间的对应、常用的x86汇编指令·综合题讲评

编码与执行模型

代码分析需恢复基本块和控制流边，再翻译为if/loop/call。每条内存访问写EA，栈操作写SP变化。

地址和状态推演

若cmp后jge退出，否则执行体并回跳，可恢复为条件为“小于”时继续的循环。循环次数由初值、更新和边界共同决定。

推演逐步记录PC、SP、寄存器、有效地址EA及发生的内存访问。

错解反馈与迁移

错因逐行直译而不画CFG。迁移：为一段含两个条件跳转的代码画基本块。