Dreamhack 리버싱 문제풀이: rev-basic-3

cmd로 실행시켜 아무 숫자나 넣어본다.

기적은 일어나지 않았다..ㅎㅎ

IDA로 먼저 열어준다.

문자열을 입력 받아 함수로 참거짓을 판별해 Correct나 Wrong을 출력한다.

sub_140001000 함수가 어떤 함수인지 더블 클릭해 알아본다.

복잡해보인다.

0x18번 어떤 문자열 비교를 반복하는 것 같다.

byte_140003000[i]는 입력한 문자열인 것 같고

오른쪽은 좀 더 보기 좋게 정리하면 ( i ^ 정답문자열[ i ]) + 2 * i ) 이다. 

즉 정답 문자열을 순서대로 0번부터 23번까지(0x18=24) 반복 횟수인 i와 XOR 연산한 뒤 2 * i를 더해준 것이 input 값이어야 한다는 뜻이다.

디버거로도 열어보자. 문자열 참조를 통해 input 문자열이 들어간 부분을 참조하면 메인함수를 볼 수 있다.

메인함수에서 input 처리 부분과 문자열 처리 부분 함수는 건너뛰고 그 다음 함수를 본다.

이 함수 뒤에 test exe, exe를 한 뒤 바로 je, 즉 같으면 결과값을 바로 반환시키는 함수로 연결된다.

그럼 망하니까 test exe exe 직전 함수에서 승부를 봐야 한다.

그 함수로 들어가본다.

IDA에서 살펴본 게 맞다는 걸 알 수 있다.

rax를 이용해 cmp 하며 0x18번 반복 중 몇 번째인지 체크하고 있고

rcx에 원하는 답을 lea 시킨 뒤 하나씩 계산하여 비교하고 있다.

rcx에 들어간 7FF753193000이라는 주소에 뭐가 들어가 있는지 모르니 덤프로 따라가보자.

따라가보면 49, 60, 67, ... 45까지 16진수로 24개의 숫자가 저장되어 있다.

이제 이걸 결과 값이 되게 계산한 뒤 문자로(아스키로) 내보내면 된다.

그럼 이제 원하는 답이 무엇인지 거꾸로 프로그래밍 해 알아내 보자.

IDA에서 살펴본 것처럼 'input 값=( i ^ 정답문자열[ i ]) + 2 * i )'이므로

정답문자열을 알아내려면 거꾸로 계산해야 한다.

 i ^ 정답문자열[ i ] = input값 -  2 * i 

 정답문자열[ i ] = (input값 -  2 * i ) ^ i (XOR의 XOR을 하면 원래로 돌아가기 때문)

위의 식처럼 되므로

C++을 사용해 문자열에 7FF753193000에 들어있는 숫자들 24개를 입력해주고

정답이 될 결과값을 출력시켰다.

정답 문자열이 깜찍하다.

cmd 창에 입력해주면

Correct~（￣︶￣）↗