汇编语言局部变量应用

广告位

高级语言中,在单一子程序内新建、使用和撤销的变量被称为局部变量 (local variable)。局部变量创建…

高级语言中,在单一子程序内新建、使用和撤销的变量被称为局部变量 (local variable)。局部变量创建于运行时堆栈,通常位于基址指针 (EBP) 之下。

尽管不能在汇编时给它们分配默认值,但是能在运行时初始化它们。可以使用与 C 和 C++ 相同的方法在汇编语言中新建局部变量。

【示例】下面的 C++ 函数声明了局部变量 X 和 Y:

  void MySub()  {      int X = 10;      int Y = 20;  }

如果这段代码被编译为机器语言,就能看出局部变量是如何分配的。每个堆栈项都默认为 32 位,因此,每个变量的存储大小都要向上取整保存为 4 的倍数。两个局部变量一共要保留 8 个字节:

变量 字节数 堆栈偏移量
X 4 EBP-4
Y 4 EBP-8

MySub 函数(在调试器中)的反汇编展示了 C++ 程序如何创建局部变量,以及如何从堆栈中删除它们。该例使用了 C 调用规则:

  MySub PROC      push ebp      mov ebp, esp      sub esp, 8                    ;创建局部变量      mov DWORD PTR [ebp-4],10      ; X      mov DWORD PTR [ebp-8],20      ; Y      mov esp, ebp                  ;从堆栈中删除局部变量      pop ebp      ret  MySub ENDP

局部变量初始化后,函数的堆栈帧如下图所示。

汇编语言局部变量应用

在结束前,函数通过将 EBP 的值赋给堆栈指针完成对其的重置,该操作的效果是把局部变量从堆栈中删除:

mov esp, ebp         ;从堆栈中删除局部变量

如果省略这一步,那么 POP EBP 指令将会把 EBP 设置为 20,而 RET 指令就会分支到内存地址 10 的位置,从而导致程序因出现处理器异常而终止。下面的 MySub 代码就是这种情况:

  MySub PROC      push ebp      mov ebp, esp      sub esp, 8                      ; 创建局部变量      mov DWORD PTR [ebp-4], 10    ; X      mov DWORD PTR [ebp-8], 20    ; Y      pop ebp      ret                             ; 返回到无效地址!  MySub ENDP

局部变量符号

为了使程序更加易读,可以为每个局部变量的偏移量定义一个符号,然后在代码中使用这些符号:

  X_local EQU DWORD PTR [ebp-4]  Y_local EQU DWORD PTR [ebp-8]    MySub PROC      push ebp      mov ebp, esp      sub esp, 8              ; 为局部变量保留空间      mov X_local, 10         ; X      mov Y_local, 20         ; Y      mov esp, ebp            ;从堆栈中删除局部变量      pop ebp      rst  MySub ENDP

关于作者: 汇编语言

为您推荐

广告位

发表评论