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

문제 이해

드림핵 워게임 리버싱 분야에서 rev-basic-1 문제를 다운로드 받아준다.

[윈도우+R] 키를 누르고 cmd 창을 열어준다. "cd (내가 실행하고 싶은 파일 주소)" 입력하고 "(실행 프로그램).exe"를 입력하면 위 화면처럼 "Input : "이 뜬다.

 

아무 숫자나 입력해줬더니 "Wrong"이 떴다. 이 문제는 정답이 되는 특정 문자나 숫자를 입력하는 문제이다.

문제 계획

1. X64 Debuger로 프로그램을 열어 어떤 프로그램인지 분석할 준비를 한다.
2. "Wrong"이나 "Input" 관련 명령어가 어디 있는지 찾아 main 함수 부분을 알아낸다.
3. "Wrong" 또는 "Correct"를 결정짓는 코드, 또는 함수가 무엇인지 알아낸다.
4. 그 결정짓는 코드를 분석해 어떤 값을 입력해야 출력값이 "Correct"가 되는지 알아낸다.

문제 실행

X64 Debuger로 chall1 파일을 열어준다. 열면 위와 같은 화면이 보인다.

아는 것은 먼저 "Wrong" 출력이 어디서 이루어지는지 찾아준다. ("Input : "을 찾아줘도 좋다.)

 

우측 상단 가장 큰 화면에 마우스 우클릭 하고 [다음을 찾기]→ [문자열 참조(s)]→ [모든 모듈]로 들어가 찾아준다.

 

들어가면 위의 화면이 나온다. 아래 검색 창에 "Wrong"을 검색한 뒤 해당 명령어를 더블 클릭하여 이동한다.

 

이동하면 문자나 숫자를 입력 받고 Wrong, Correct를 판별하여 그 결과 값을 프린트 하는 함수를 발견할 수 있다.

main 함수를 찾은 것이다. 이제 main 함수에서 Wrong, Correct를 결정짓는 명령어나 함수를 찾아준다.

 

main 함수를 뜯어볼 차례이다. 단축어를 써가며 함수를 살펴본다.

cf) 함수 단축어:

F7	코드 한 줄 실행 (call 함수 진입)
F8	코드 한 줄 실행 (call 함수 진입하지 않고 지나감)
F9	프로그램 실행
ctrl + g	주소 이동

 

함수를 자세히 살펴보면 Input 다음에 첫 번째로 함수를 call한다. Input 바로 다음에 나오고 있으므로 입력 관련 함수일 것이다. %256s 다음에 call 한 함수도 문자열 처리 함수로 추측할 수 있다.

 

다음으로 'chall1.7FF6C9A61000' 함수를 호출한다. 어떤 함수인지 아직 모른다.

그런데 다음 명령어에서 test eax eax가 나오고 그 아랫줄에 je ...613B6이 나온다.

je는 'jump equal'의 약자로 같으면  'je ...613B6' 함수로 이동하라는 명령어이다.

eax와 eax는 같은 레지스터이므로 같을 수밖에 없다. 따라서 'je ...613B6' 함수로 무조건 이동하게 되는데,

'je ...613B6' 함수로 들어가면 "Wrong"이 출력되는 명령어로 이어진다.

즉 test eax eax를 만나지 않게 해야 한다.

따라서  'chall1.7FF6C9A61000' 함수가 "Wrong" 또는 "Correct" 출력을 결정하는 함수임을 알 수 있다.

 

결정적 함수를 찾았으니 더블 클릭해 더 살펴본다. 더블 클릭하면 위의 화면이 보인다.

 

함수 초반 PUSH 부분은 넘어가고 그 이후부터 살펴보면, 

위의 그림처럼 movzx, cmp, je, xor, jmp 명령어가 계속 반복되고 있다.

 

movzx는 앞의 데이터가 뒤의 데이터보다 메모리가 작아도 mov 될 수 있게 하는 명령어이다.

eax에 입력한 문자열 중 첫 번째 문자와 61(a)를 비교한다.

je이므로 같으면 다음 문자 비교 부분으로 넘어가고, 같지 않으면 바로 밑줄인 xor eax eax 부분으로 넘어가는데 이렇게 되면 call1.7FF6C9A612bE를 호출한다. 

call1.7FF6C9A612bE가 호출되면 main 함수로 return 한다.

 

따라서 입력한 문자열과 비교하고 있는 문자열이 동일해야 한다.

 

옆에 나온 문자열을 차례대로 입력해준다. 첫 번째 'C'는 대문자임에 주의한다.

"Correct" !!

오늘 배운 것

• je(jump equal) 함수가 'test eax eax'와 만나 마치 조건문처럼 역할 하고 있다.
• main 함수, 결정적 함수를 정확하게 찾아주는 것이 중요하다.

반성하기

• 'call1.7FF6C9A612bE'가 호출되어 결정적 함수를 나갈 때 정확히 어떻게 "Wrong" 출력까지 이어지는지 구체적 과정을 잘 모르겠다.