[Dreamhack] 리버싱 rev-basic-5 Writeup

 

 

이전 rev-basic 시리즈와 유사한 구조의 문제다

correct를 출력하는 플래그를 찾으면 됨

틀린 값을 입력하면 wrong을 출력함

 

IDA에 로드해서 실행파일을 분석해 보겠음

 

 

input: 여기서 사용자에게 입력값을 받고

if 문에 있는 sub_140001000에서 비교해서 일치하면 correct 출력

 

__int64 __fastcall sub_140001000(__int64 a1)
{
  int i; // [rsp+0h] [rbp-18h]

  for ( i = 0; (unsigned __int64)i < 0x18; ++i )
  {
    if ( *(unsigned __int8 *)(a1 + i + 1) + *(unsigned __int8 *)(a1 + i) != byte_140003000[i] )
      return 0LL;
  }
  return 1LL;
}

 

if ( *(unsigned __int8 *)(a1 + i + 1) + *(unsigned __int8 *)(a1 + i) != byte_140003000[i] )

위의 수식을 간소화하면 이렇게 되겠다

a1[i+1]+al[i] = byte_140003000[i]

 

그리고 byte_140003000[i] 내용은 hex view에 들어가 보면 값을 찾을 수 있다

 

 

0x18 즉 24번 반복되니까 4C에서 끝나는 게 아니라 00도 배열에 들어가는 것 같다

편의를 위해 배열 이름을 arr[i] 이렇게 바꾸자면

 

arr[i] = [ADh, D8h, CBh, CBh, 9Dh, 97h, CBh, C4h, 92h, A1h, D2h, D7h, D2h, D6h, A8h, A5h, DCh, C7h, ADh, A3h, A1h, 98h, 4Ch, 00h]
a1[i+1]+al[i] = arr[i]

 

 

이렇게 정리할 수 있다. 근데 arr 배열의 마지막 요소가 0이니까 

al[23] = al[24] = 0이라는 추론이 가능함

그리고 16진수인 4C는 76이니까 al[23]+al[22], al[22] = 4C

4C+al[21] = 98h, al[21] = 4C

이런 식으로 뒤에서 역순으로 구하면 되겠으나

하나하나 노가다로 하기보다는 코드를 짜서 해보자..

 

al[i] = arr[i]-al[i+1]

 

찾았다!