Реверсивный инженерный фрагмент сборки x86?

Question

Я пытаюсь преобразовать этот код сборки в фрагмент кода C.

movl $0, -4(%ebp) # 4 
movl -4(%ebp), %eax 
sall $2, %eax 
addl 8(%ebp), %eax 
movl (%eax), %eax 
cmpl 12(%ebp), %eax 
jg .L6 

.L6: 
nop 

Вот что у меня есть, но я думаю, что-то не так. Линия «movl (% eax), eax» смущает меня в частности.

int local = 0; 
if ((int*)((local << 2) + param1) > parameter2) { 
    ; // do nothing 
} 

Answer 1

Ваша интерпретация movl %(eax), %eax является правильным, но линии addl 8(%ebp), %eax нет. Правильный код может быть примерно таким:

// parameter1 is an int* at 8(%ebp) 
// parameter2 is an int at 12(%ebp) 
int local = 0; // at -4(%ebp) 
if (parameter1[local] > parameter2) { 
    ; // nop 
} else { 
    // whatever is betwween jg and .L6 
}