🚀 go-pugleaf

On Sat, 28 Jun 2008 01:41:03 +0200 Bartosz Wójcik
<antispam@dont.use.it> wrote:

> > Z ciekawości: daj jakiś mało rozbudowany przykład kodu
> > przed i po mutacji.
> > 
> > w.
> 
> "mov eax, [edx + 4]"
> 
> 2-krotna mutacja, bez zmiany flow, bez junkow, ogolnie bez niczego
> ciekawego
> 
> [...]

Można sobie łatwo z tym poradzić --- przekonwertować kod asemblerowy
wprost na C, skompilować z optymalizacją i większość śmieci znika.  Dla
próby przepisałem ręcznie te dwa kawałki i gcc -O3 ładnie wyprowadził
wszystkie stałe.  Przy odrobinie wysiłku można napisać automatyczny
translator asm -> C.

Kod dla drugiego przykładu:
---
#include <stdlib.h>
#include <stdio.h>
#include <stdint.h>

int main(int argc, char* argv[]) {
	uint32_t eax, edx, tmp;
	int16_t ax;

	//mov         eax,000007F75
	eax = 0x000007F75;

	//cwde
	ax  = (eax & 0xffff);
	eax = ax;
	
	//lea         eax,[eax][04E7F811F]
	eax += 0x04EC00AF3;

	//or          eax,000400A63
	eax |= 0x000400A63;

	//mov         eax,[edx][eax][-04EC00AF3]
	tmp = eax - 0x04E7F811F;
	// i tutaj odczyt z pamięci, spod adresu edx + tmp
	
	printf("eax = %d, edx = %d, addr = %d\n", eax, edx, tmp);
	return 0;
}
---

To co wyprodukował gcc (przycięte):
---
main:
	leal	4(%esp), %ecx
	andl	$-16, %esp
	pushl	-4(%ecx)
	pushl	%ebp
	movl	%esp, %ebp
	pushl	%ecx
	subl	$20, %esp
	movl	$4262220, 12(%esp)	<--- wyniki
	movl	$0, 8(%esp)		<--- obliczeń
	movl	$1321241195, 4(%esp)	<---
	movl	$.LC0, (%esp)
	call	printf
	addl	$20, %esp
	xorl	%eax, %eax
	popl	%ecx
	popl	%ebp
	leal	-4(%ecx), %esp
	ret
---

w.