collision

col@pwnable:~$ cat col.c
#include <stdio.h>
#include <string.h>
unsigned long hashcode = 0x21DD09EC;
unsigned long check_password(const char* p){
	int* ip = (int*)p;
	int i;
	int res=0;
	for(i=0; i<5; i++){
		res += ip[i];
	}
	return res;
}

int main(int argc, char* argv[]){
	if(argc<2){
		printf("usage : %s [passcode]\n", argv[0]);
		return 0;
	}
	if(strlen(argv[1]) != 20){
		printf("passcode length should be 20 bytes\n");
		return 0;
	}

	if(hashcode == check_password( argv[1] )){
		system("/bin/cat flag");
		return 0;
	}
	else
		printf("wrong passcode.\n");
	return 0;
}

소스코드를 보면,

argv[1]으로 인자를 받아서 check_password()라는 함수에 집어넣어 연산과정을 거친다음,

그 리턴값을 hashcode와 비교해 둘이 값이 같으면 flag를 출력하는 코드인 것을 대략 유추할 수 있다.

 

check_password 함수를 보면 char*를 int형으로 형변환을 해서 4바이트씩 읽을 것이다.

그리고 반복문으로 5번 4바이트씩 읽어 res변수에 대입하고 res를 리턴한다.

 

그러면 우리는 0x21DD09EC를 5로 나눈 값을 4바이트씩 쪼개 20바이트를 맞춰서 인자로 넣어주면  검사를 통과할 것이다.

>>> 0x21DD09EC /5
113626824.8
>>> 0x21DD09E9 /5
113626824.2
>>> 0x21DD09E8 /5
113626824.0
>>> hex(113626824)
'0x6c5cec8'
>>>

5로 딱 나누어 떨어지지 않아서 0x6c5cec8을 4번, 1번은 0x6c5cecc를 입력하면 될거같다.

 

col@pwnable:~$ ./col `python -c 'print "\xc8\xce\xc5\x06" *4 + "\xcc\xce\xc5\x06"'`
daddy! I just managed to create a hash collision :)

리틀엔디안을 고려해서 파이썬으로 인자를 주면 flag를 획득할 수 있다.

flag = daddy! I just managed to create a hash collision :)