[🌱 새싹] 한 바이트의 니블을 맞바꾸는 검증 — DreamHack rev-basic-4 풀이

; check(input)  @ 0x140001000
mov   dword [rsp], 0             ; i = 0
.loop:
  movsxd rax, [rsp]             ; rax = i
  cmp    rax, 0x1c              ; i < 28 ?  (0x1c = 28)
  jae    .ok                    ; 28글자 다 통과 → return 1
 
  mov    rcx, [rsp+0x20]        ; 입력 버퍼
  movzx  eax, byte [rcx+rax]    ; eax = input[i]
  sar    eax, 4                 ; eax = input[i] >> 4         ← 상위 니블을 아래로
 
  mov    rdx, [rsp+0x20]
  movzx  ecx, byte [rdx+rax]    ; ecx = input[i]   (다시 읽음)
  shl    ecx, 4                 ; ecx = input[i] << 4
  and    ecx, 0xf0             ; ecx = (input[i] << 4) & 0xf0 ← 하위 니블을 위로
  or     eax, ecx              ; eax = 스왑된 바이트
 
  lea    rdx, [0x140003000]     ; 정답 테이블
  movzx  ecx, byte [rdx+rax]    ; ecx = table[i]
  cmp    eax, ecx              ; table[i] == swap(input[i]) ?
  je     .next
  xor    eax, eax              ; 틀리면 return 0 → Wrong
  jmp    .ret
.next:
  inc   dword [rsp]            ; i++
  jmp   .loop
.ok:
  mov   eax, 1                  ; 전부 통과 → return 1 → Correct
.ret:
  ret

objdump -d -M intel --start-address=0x140001000 --stop-address=0x14000106d chall4.exe | grep -E "^140001"

table[i] == (input[i] >> 4) | ((input[i] << 4) & 0xf0)

table[i]      == swap(input[i])
swap(table[i]) == swap(swap(input[i])) == input[i]

objdump -s -j .data chall4.exe | sed -n "1,7p"

140003000  24 27 13 c6 c6 13 16 e6 47 f5 26 96 47 f5 46 27
140003010  13 26 26 c6 56 f5 c3 c3 f5 e3 e3 00

#!/usr/bin/env python3
# rev-basic-4 solve
# check(): for i in 0..27:  table[i] == (input[i] >> 4) | ((input[i] << 4) & 0xf0)
#          == 니블 스왑(상위4비트 <-> 하위4비트)
# 니블 스왑은 자기역원 → input[i] = nibbleswap(table[i])
table = bytes.fromhex(
    "24 27 13 c6 c6 13 16 e6 47 f5 26 96 47 f5 46 27"
    "13 26 26 c6 56 f5 c3 c3 f5 e3 e3 00".replace(" ", "")
)
 
def swap(b):
    return ((b >> 4) | ((b << 4) & 0xF0)) & 0xFF
 
raw = bytes(swap(t) for t in table)
flag = raw.rstrip(b"\x00").decode()   # 마지막 바이트(0x00)는 입력의 NUL 종단
print("table len :", len(table))
print("recovered :", raw)
print("flag      :", flag)
print("DH{%s}" % flag)
 
# check() 로직대로 자가검증
ok = all(table[i] == swap(raw[i]) for i in range(len(table)))
print("verify    :", "PASS" if ok else "FAIL")

# verify.py
import subprocess, os
 
env = dict(os.environ,
           WINEPREFIX=os.path.expanduser("~/.wine_rev"),
           WINEDEBUG="-all",
           DISPLAY="")   # wine을 완전 헤드리스로
 
flag = "Br1ll1ant_bit_dr1bble_<<_>>"   # DH{} 는 제출용 래퍼일 뿐
 
r = subprocess.run(
    ["wine", "chall4.exe"],
    input=flag + "\n",
    capture_output=True, text=True, timeout=60, env=env,
)
print("Input :", flag)
print("Output:", r.stdout.strip())