2010-10-24 68 views
3

我正在查看switch语句的汇编语言代码。开关外壳汇编语言

我明白代码的工作原理和情况。我的问题是如何决定案例名称?

下面是汇编语言代码,随后我会解释它。我基本上只需要使用跳转表并填写案例名称。

1 8048420: push %ebp 
    2 8048421: mov %esp, $ebp 
    3 8048423: mov 0x8(%ebp), %eax  // x 
    4 8048426: mov 0xc(%ebp), %edx  // n 
    5 8048429: sub $0x32, %edx   // so least value of case is 32 
    6 804842c: cmp $0x5, %edx   // max value is 37 
    7 804842f: ja 8048448 <switch+0x28> // if >37, go to default 
    8 8048431: jmp *0x80485d0(, %edx, 4) //THIS RIGHT HERE ? 
    9 8048438: shl $0x2, %eax    // CASE A 
    10 804843b: jmp 804844b <switch+0x2b> //break; 
    11 804843d: sar $0x2, %eax    //CASE B 
    12 8048440: jmp 804844b <switch+0x2b> //break 
    13 8048442: lea (%eax, %eax, 2), %eax //CASE C 
    14 8048445: imul %eax, %eax  
    15 8048448: add $0xa, %eax    //fall through to default 
    16 804844b: pop %ebp     //return 
    17 804844c: ret 

的GDB命令创建跳转表: 我做X/6W 0x80485d0

0x80485d0: 0x08048438 0x08048448 0x08048438 0x0804843d 
0x80485e0: 0x08048442 0x08048445 

我的解释:

int result = x; 
switch(n) { 
case __: 
    x = x << 2; 
    break; 
case __: 
    x = x >> 2 
    break; 
case __: 
    x = 4*x; 
    x = x*x 
case __: //default 
    x += 0xa 
return x; 
} 

我只是不明白怎么看查看跳转表,并确定32和37之间的哪个值适合于哪个空白。

任何帮助,将不胜感激。 谢谢。

+0

请注意'0x32'是50,而不是32. – 2010-10-24 14:05:06

+0

我不确定我是否理解这个问题;你已经完成了艰苦的工作!跳转表的第一个元素对应于“0x32”,第二个对应于“0x33”,依此类推。 – 2010-10-24 14:06:22

+1

“x = 4 * x”不应该是“x = 3 * x”(或者更准确地说,“x = x + 2 * x”)? – outis 2010-10-24 14:51:37

回答

5

正如Oli所说,没有太多的事情要做。 n-50存储在%edx中,然后switch + 0x11跳转到存储在0x80485d0 + %edx * 4中的地址。查看表格,当n == 50或52时,开关+ 0x18,当n == 51时开关+ 0x28,当n == 53时开关+ 0x1d,当n == 54时开关+ 0x22,当n = = 55。

1

跳转表有6个值,其中5个是不同的(因此,有5种情况,包括默认值0x8048448)。第一个和第三个(对应于0x32和0x34)转到第一个情况,第二个(0x33)到最后一个(第五个)情况,第四个(0x35)转到第二个情况,第五个(0x36)转到第三个情况,第六个(0x37)到第四个案例。其他一切都会进入最后一个(第五个)案例,这就是默认设置。

switch (n) 
{ 
    case 0x32: 
    case 0x34: 
    x <<= 2; 
    break; 
    case 0x35: 
    x >>= 2; 
    break; 
    case 0x36: 
    x *= 3; 
    case 0x37: 
    x *= x; 
    //case 0x33: // not really necessary 
    default: 
    x += 10; 
} 
return x;