C&C++   发布时间:2022-04-03  发布网站:大佬教程  code.js-code.com
大佬教程收集整理的这篇文章主要介绍了以前的堆栈变量大佬教程大佬觉得挺不错的,现在分享给大家,也给大家做个参考。
我有这个问题,我递归调用C中的函数,C是词法范围的,所以我只能访问当前的堆栈帧.我想从前一个函数调用中创建的前一个堆栈帧中提取参数和局部变量,同时我在当前堆栈帧上

我知道前一个递归调用的值仍然在堆栈上,但我无法访问这些值,因为它们被“隐藏”在活动堆栈帧下?

我想从前一个堆栈中提取参数和局部变量,并将它们复制到copy_of_buried_arg和copy_of_buried_loc;

需要使用GAS来提取变量的内联汇编,这是我到目前为止所做的,而且我整天都在尝试,我似乎无法弄明白,我把纸叠在纸上并进行了计算,但没有什么是工作,我也尝试删除对printf的调用,所以堆栈将更清洁,但我不能找出正确的算法.这是到目前为止的代码,我的函数在第二次迭代时停止

#include <stdio.h>

char glo = 97;   // just for fun 97 is ascii lowercase 'a'
int copy_of_buried_arg;
char copy_of_buried_loc;

void rec(int arg) {
  char loc;

  loc = glo + arg * 2; // just for fun,some char arithmetic
  printf("inside rec() arg=%d loc='%c'\n",arg,loc);

  if (arg != 0) {
    // after this assembly code runs,the copy_of_buried_arg and
    // copy_of_buried_loc variables will have arg,loc values from
    // the frame of the prevIoUs call to rec().
    __asm__("\n\
            movl 28(%esp),%eax #moving stack pointer to old ebp (poinTing it to old ebp)\n\
            addl $8,%eax       #Now eax points to the first argument for the old ebp \n\
            movl (%eaX),%ecx   #copy the value inside eax to ecx\n\ 
            movl %ecx,copy_of_buried_arg   # copies the old argument\n\
    \n\

");

    printf("copy_of_buried_arg=%u copy_of_buried_loc='%c'\n",copy_of_buried_arg,copy_of_buried_loc);
  } else {
      printf("there is no buried stack frame\n");// runs if argument = 0 so only the first time
  }

  if (arg < 10) {
    rec(arg + 1);
  }
}

int main (int argc,char **argv) {
  rec(0);

  return 0;
}

解决方法

我可以尝试提供帮助,但在GAS中没有Linux或程序集.但计算应该类似:

这是几次通话后的筹码.典型的堆栈帧设置创建堆栈帧的链接列表,其中EBP是当前堆栈帧并指向其先前堆栈帧的旧值.

+-------+
ESP-> |loc='c'|     <- ESP currently points here.
      +-------+
EBP-> |oldEBP |--+  <- rec(0)'s call frame
      +-------+  |
      |retaddr|  |  <- return value of rec(1)
      +-------+  |
      |arg=1  |  |  <- pushed argument of rec(1)
      +-------+  |
      |loc='a'|  |  <- local variable of rec(0)
      +-------+  |
   +--|oldEBP |<-+  <- main's call frame
   |  +-------+
   |  |retaddr|     <- return value of rec(0)
   |  +-------+ 
   |  |arg=0  |     <- pushed argument of rec(0)
   |  +-------+
  \|/ 
to main's call frame

这是由以下顺序创建的:

>首先推送参数arg.
>调用函数,按下返回地址.
>推出即将成为旧的EBP,保留先前的堆栈帧.
>将ESP(堆栈顶部,包含oldEBp)移动到EBP中,创建新的堆栈帧.
>减去局部变量的空间.

这对32位堆栈有影响,EBP 8将始终是调用的第一个参数,EBP 12是第二个参数,等等.EBP-n始终是局部变量的偏移量.

然后获取一个loc和arg的代码(在MASM中):

@H_842_13@mov ecx,[ebp] // get prevIoUs stack frame mov edx,[ecx]+8 // get first argument mov copy_of_buried_arg,edx // save it mov dl,[ecx]-1 // get first char-sized local variable. mov copy_of_buried_loc,dl // save it

或者我对GAS的最好猜测(我不知道但是知道它向MASM倒退):

@H_842_13@movl (%ebp),ecx movl 8(%ecX),edx movl edx,copy_of_buried_arg movb -1(%ecX),dl movb dl,copy_of_buried_loc

在Windows上使用VS2010使用MASM输出代码

inside rec() arg=0 loc='a'
there is no buried stack frame
inside rec() arg=1 loc='c'
copy_of_buried_arg=0 copy_of_buried_loc='a'
inside rec() arg=2 loc='e'
copy_of_buried_arg=1 copy_of_buried_loc='c'
inside rec() arg=3 loc='g'
copy_of_buried_arg=2 copy_of_buried_loc='e'
inside rec() arg=4 loc='i'
copy_of_buried_arg=3 copy_of_buried_loc='g'
inside rec() arg=5 loc='k'
copy_of_buried_arg=4 copy_of_buried_loc='i'
inside rec() arg=6 loc='m'
copy_of_buried_arg=5 copy_of_buried_loc='k'
inside rec() arg=7 loc='o'
copy_of_buried_arg=6 copy_of_buried_loc='m'
inside rec() arg=8 loc='q'
copy_of_buried_arg=7 copy_of_buried_loc='o'
inside rec() arg=9 loc='s'
copy_of_buried_arg=8 copy_of_buried_loc='q'
inside rec() arg=10 loc='u'
copy_of_buried_arg=9 copy_of_buried_loc='s'

大佬总结

以上是大佬教程为你收集整理的以前的堆栈变量全部内容,希望文章能够帮你解决以前的堆栈变量所遇到的程序开发问题。

如果觉得大佬教程网站内容还不错,欢迎将大佬教程推荐给程序员好友。

本图文内容来源于网友网络收集整理提供,作为学习参考使用,版权属于原作者。
如您有任何意见或建议可联系处理。小编QQ:384754419,请注明来意。