HateIntel · hur01

실행을 시도해보았더니, CPU 아키텍처가 안 맞아서 실행 자체가 불가능한 상태입니다. 대신 아이다를 사용한 정적분석을 해볼려고 합니다. 문자열 찾기를 통해 메인 함수를 찾아냅니다. . 디컴파일링을 아이다에서 시도해보면 현재 파일의 맞는 디컴파일러가 없다고 이야기합니다. 아이다는 ARM64 (Apple Silicon) 디컴파일러를 지원하지 않는거 같습니다. 지드라 디컴파일러로 해봅시다.

여기는 디컴파일된 코드다:

int FUN_00002224(void) {
    char input[80];
    unsigned int key_len;
    int i;
    int offset;

    offset = 4;
    printf("Input key : ");
    scanf("%s", input);
    key_len = strlen(input);

    // 입력 문자열을 변형하는 함수
    FUN_0000232c(input, offset);

    i = 0;
    while (1) {
        if (key_len <= i) {
            puts("Correct Key!");
            return 0;
        }
        if (input[i] != ((char *)&DAT_00003004)[i])
            break;
        i++;
    }
    puts("Wrong Key!");
    return 0;
}

전체 흐름

문자열 입력 받음
strlen으로 길이 계산
FUN_0000232c(input, 4) 호출 → 입력값 변형
변형된 입력값을 정답 테이블과 한 글자씩 비교
전부 같으면 “Correct Key!”

이제 진짜 필요한건 두가지로 나뉜다. FUN_0000232c() (입력값을 어떻게 바꾸는지) 와 DAT_00003004 (변형된

input == DAT_00003004).

그럼 FUN_0000232c() 디컴파일 해보자. 두번 클릭해 따라가면 된다.

void FUN_0000232c(char *param_1, int param_2) { char cVar1; size_t sVar2; int local_14; int local_10; for
(local_14 = 0; local_14 < param_2; local_14 = local_14 + 1) { for (local_10 = 0; sVar2 = strlen(param_1),
local_10 < (int)sVar2; local_10 = local_10 + 1) { cVar1 = FUN_00002494(param_1[local_10], 1);
param_1[local_10] = cVar1; } } return; }

중요 포인트

문자열 전체를 round = 4번
각 문자마다 FUN_00002494(char, 1) 적용

즉, 한 글자당 FUN_00002494(…,1)을 4번 적용한 결과가 DAT_00003004와 같아야 함

여기서 정확한 연산 방법을 알려면 FUN_00002494() 도 디컴파일 해야함: uint FUN_00002494(byte param_1, int param_2) { undefined4 local_10; undefined4 local_c; local_10 =

(uint)param_1; for (local_c = 0; local_c < param_2; local_c = local_c + 1) { local_10 = local_10 << 1; if
((local_10 & 0x100) != 0) { local_10 = local_10 | 1; } } return local_10 & 0xff; }

—> 이건 8비트 기준 왼쪽 회전 (Rotate Left, ROL) 입니다.

호출 구조

FUN_0000232c(input, 4);

그리고 내부에서:

c = FUN_00002494(c, 1);

즉,

한 문자에 대해
ROL 1을 4번 반복

결과적으로:

최종 변형 = ROL(input_char, 4) (= 8비트 기준으로 왼쪽 4비트 회전)

검증 로직 요약

ROL4(input[i]) == DAT_00003004[i]

그러므로 원래 입력 키는: input[i] = ROR4(DAT_00003004[i]) (오른쪽으로 4비트 회전)

그후 정보를 바탕으로 코드를 만들기위해, DAT_00003004 도 따라가면 값을 알수있습니다.

이것을 바탕으로 파이썬 코드입니다

data = [ 0x44, 0xf6, 0xf5, 0x57, 0xf5, 0xc6, 0x96, 0xb6, 0x56, 0xf5, 0x14, 0x25, 0xd4, 0xf5, 0x96, 0xe6,
0x37, 0x47, 0x27, 0x57, 0x36, 0x47, 0x96, 0x03, 0xe6, 0xf3, 0xa3, 0x92 ] def ror4(x): return ((x >> 4) | (x <<
4)) & 0xff key = ''.join(chr(ror4(b)) for b in data) print(key)

출력하면 키 값은 :

Do_u_like_ARM_instructi0n?:)