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

까막눈이다.シ

Dreamhack에서 푼 리버싱 문제의 풀이 과정을 정리하려고 한다.

푼 문제는 워게임의 rev-basic-0이다.

문제 정보

입력값에 따라 correct 또는 wrong을 출력하는 프로그램으로 correct가 출력 되는 입력값을 찾는 문제이다.

문제 파일을 다운 받아 압축 파일을 해제한 뒤 x64dbg에 들어가 파일을 열었다.

x64dbg는 https://x64dbg.com/에서 다운로드 받을 수 있다.

 

문제 풀이 과정

x64dbg에서 위쪽 좌측 '파일(F)'을 누르고 '파일 열기'를 해서 압축을 해제한 파일을 오픈한다. 

파일을 처음 열면 위와 같은 화면을 볼 수 있다.

매우 짧은 코드도 어셈블리에서는 수많은 줄의 언어로 번역 되기 때문에 맨 위의 줄부터 하나하나 살펴볼 수는 없다.

효과적으로 문제를 푸는데 필요한 부분을 찾기 위해 우선 출력값, 즉 printf를 했을 때 뜨는 문자열을 찾아준다.

출력 되는 문자열인 "correct" 또는 wrong"을 찾기 위해 문자열 참조에 들어가 검색해준다.

문자열을 참조하는 방법은 화면에 뜨는 4개의 창 중 가장 큰 창에 마우스를 두고 우측 클릭, 

다음을 찾기, 모든 모듈, 문자열 참조를 클릭하면 된다.

문자열 참조에 들어간 뒤 맨 아래의 검색창에 찾는 문자열을 검색한다.

"input", "wrong", "correct" 중 아무거나 검색해도 상관없다. 나는 "wrong"이라는 문자열로 검색했다.

3줄의 검색 결과가 나오는데 그중 출력 된 문자열을 나타내는 가장 첫 줄을 더블 클릭한다.

더블 클릭하면 이렇게 "wrong"의 출력과 관련된 코드로 이동한다.

입력과 출력 부분이 나와 있으므로 main 함수와 관련된 부분임을 알 수 있다.

이제 조금 자세히 살펴보아야 한다.

'call'이라는 옵코드는 함수를 불러오는 명령어이다. 

main 함수 안에서 옵코드 call이 이끄는 여러 코드들이 보인다. 

가장 위에 보이는 call은 "input" 바로 다음 줄이므로 입력과 관련된 함수를 불러온 것이고,

그 다음 call도 "%256s" 뒤이므로 문자열 관련 함수이다. 

두 call 모두 우리가 찾는 함수를 불러오지 않는다. 탈락.

다음 call 밑의 줄에는 test eax, eax가 있다.

test는 AND 연산을 수행하므로 test 뒤의 두 오퍼랜드가 같으면 1, 다르면 0 값을 저장한다.

eax와 eax, 같은 값을 가진 오퍼랜드끼리 서로 비교하므로 AND 연산결과는 1이다.

이때 ZF는 계산 결과가 0이면 1을, 1이면 0을 저장하므로, ZF는 0이다.

test 밑의 줄인 je는 ZF가 0일때 점프하는 옵코드이다.

점프를 하게 되면 "wrong"을 출력하는 코드로 이동하게 된다.

따라서 'call cha110.7FF75D181000'이라는 함수를 실행했을 때 test eax, eax를 만나지 않도록 해야 한다.

즉, call cha110.7FF75D181000이 "correct" 또는 "wrong" 중 어떤 문자열을 출력할지 선택하는 결정적 코드이다.

이 함수를 더블 클릭 해서 어떤 함수인지 살펴보면 옆에 문자열이 발견된다.

cmd 창을 열어 "input: "에 답을 입력해주면

나는 맨 앞의 'C'를 처음에 소문자로 입력해서 한 번 틀렸지만, (¬_¬")

제대로 'compar3_the_str1ng'을 입력해주면 'Correct'가 뜬다. 정답이다.