당신은 게임에 갇힌 미소녀들을 보기 위해 PlayStation을 켰습니다. 마침 친구가 "나 이쪽 루트 클리어했는데 너도 볼래?" 라며 세이브 파일을 주네요. 마침 그 루트로 갈 시기를 놓친 당신은 친구의 세이브를 이용해 확인해보려고 합니다. 세이브를 등록 후, 미연시를 켜서 로드했는데..? 갑자기 콘솔이 멈추며 결국 콘솔 내부 저장공간을 포맷했습니다!
... 당연히 위 내용은 실제 스토리가 아니지만, 충분히 일어날 수 있습니다. 이 글에서 설명할 내용들로 말이죠.
yarpe(Yet Another Ren'Py PlayStation Exploit)를 소개합니다!
이 스크립트는 Ren'Py 기반의 PlayStation 게임들에서 적용되는 취약점이며, 현 시점에서 적용 가능한 게임은 다음과 같습니다:
- A YEAR OF SPRINGS PS4 (CUSA30428, CUSA30429, CUSA30430, CUSA30431)
- Arcade Spirits: The New Challengers PS4 (CUSA32096, CUSA32097)
그런데, 이 모든 것이 어떻게 시작되었고, 어떻게 만들어진걸까요?
Xbox One/Series
사실 저는 PlayStation(이하 PS로 줄여서 말하겠습니다)에 관심이 없었습니다. 반대로 Xbox에 많은 관심이 있었죠. 처음 Xbox One/Series의 커널 취약점이 생겼을 때 Warhammer: Vermintide 2의 게임 세이브 취약점을 이용한 게임 덤프가 제 눈에 잡혔습니다. 그때 문뜩 든 생각이: "다른 게임은 이런 세이브 취약점이 없을까?" 였는데요, 저와 같이 이런 작업에 관심을 두는 친구가 먼저 추천해준 것은 RPG Maker(쯔꾸르 라고도 많이 불리죠)로 만들어진 게임들이었습니다. 아쉽게도, 콘솔 버전에서 사용하는 RPG Maker 게임들은 다른 세이브 구조를 가지고있었고, ACE(Arbitrary Code Execution)가 불가능했습니다.
그러다 문뜩 생각이 났습니다: "Ren'Py 게임들이 세이브로 Pickle을 사용하지 않나?"
Pickle
Python에는 Pickle이라는 직렬화(serialization) 방식이 존재합니다. 이는 Python의 (왠만한) 모든 object를 직렬화할 수 있는 특징이 있습니다.
하지만 만약 직렬화하지 못하는 object가 class의 property로 존재하는데, 이 class를 직렬화하고 싶다면 어떻게 해야할까요? Python은 이를 위해 __reduce__라는 method를 지원합니다. 이는 class가 직렬화/역직렬화 될 때 어떤 데이터를 사용하여 class를 다시 구성해야할지 명시해줍니다.
사용법은 다음과 같습니다:
class A:
def __init__(self, a):
self.a = a
self.b = "b"
def __reduce__(self):
return self.__class__, (self.a,)
# serialize
a = A()
b = pickle.dumps(a)
그런데, 만약 __reduce__에 다른 Python 함수가 있으면 어떨까요? 예를 들어, exec 같은거라면 말이죠?
class Exploit:
def __reduce__(self):
return exec, ("print('Hello, World!'),)
exploit = Exploit()
a = pickle.dumps(exploit)
pickle.loads(a) # Hello, World!
...네, Pickle이 로딩될 때 문자열에 담긴 코드를 실행해버립니다... 이것이 Python 공식 Pickle 문서에서 Pickle이 안전하지 않다고 하는 이유겠죠.
세이브 하나로 Ren'Py 게임 가지고 놀기
이제 Ren'Py가 Pickle을 사용한다는 사실과, Pickle로 코드를 실행할 수 있다는 사실을 알았으니, 직접 실행해볼 시간입니다!
Ren'Py의 세이브는 1-1-LT1.save 같은 파일 이름을 가지고 있습니다. 멋져보이지만, 사실 그냥 Zip 파일이며, 확장자만 .save로 변경된겁니다.
이를 흔한 Zip 프로그램으로 풀어보면, 여러 파일들이 나오지만 우리가 관심있는 파일은 log 파일입니다. 이 파일이 Ren'Py의 Pickle을 담고있는 파일이죠.
이제 이 파일을 제가 만든 코드가 담긴 Pickle로 바꿔치기 하고, 다시 압축을 해서 넣으면..?
코드 실행이 됩니다! 너무 멋지네요!
코드 실행은 되는데, 이제 어쩌죠?
이제 코드 실행이 되는걸 알았으니, 다음 단계는 무엇일까요? 당연히 메모리 조작이죠! Google에서 잠시 조사한 결과 unsafe-python 이라는 저장소가 눈에 들어왔습니다. 이 저장소는 Python에서 직접적인 메모리 접근을 가능하게 합니다.
해당 취약점은 LOAD_CONST opcode가 아무 범위 검사를 하지 않는다는 점을 이용하여 가짜 PyObject를 만들 수 있고, 이를 이용하여 0부터 사실상 64비트 주소 끝자락까지의 bytearray 객체를 만들어 직접적인 메모리 접근을 합니다.
이제 우리는 메모리 주소만 알면 언제든지 해당 메모리를 수정할 수 있습니다! 덤으로, Python의 사랑스러운 slicing 문법은 이를 더 편하게 만듭니다.
# Assume we got raw memory bytearray
mem = getmem()
mem[0x18000000:0x18000008] = b'\0' * 8
이제 마음대로 메모리 조작도 가능하고, PyObject 생성도 가능하니, 저만의 프로그램을 메모리에 저장한 후 Python의 function 객체를 만들어 제 코드를 향하게 하면 끝입니다!
...가 된다면 정말 쉬울건데 말이죠...
메모리 영역 권한
메모리 영역에는 특정 권한이 부여되어 있습니다. Read, Write, eXecute 권한이 분리되어 있는데, 이름에서 알 수 있듯 execute 권한 없이는 해당 메모리 영역을 코드로서 실행할 수 없습니다.
문제되는 부분은, 보통 우리가 작성하는 영역은 read와 write만 있고, execute 권한이 없습니다! 만약 execute 권한이 없는 영역을 실행하려 한다면, CPU에서 권한 부족 오류를 발생시킬 것이고, 이는 segfault로 이어질 것입니다.
그럼 현재 부족한 메모리 권한으로 원하는 명령을 어떻게 실행할 수 있을까요? 답은 ROP에 있습니다.
ROP
ROP, Return Oriented Programming은 말 그대로 asm의 ret 명령을 기준으로 작동하는 코드를 말합니다.
ret 명령의 특징은 현재 CPU가 가리키는 stack pointer(x86_64 기준 RSP register) 에 적힌 주소 값을 instruction pointer(x86_64 기준 RIP register)에 적고 stack pointer를 움직인다는 것입니다. 그럼 ret를 실행하는 때에 stack pointer를 (실행 가능한 메모리 영역에 있는) 저희가 원하는 코드로 향하게 하면 어떨까요?
이를 하기 위해선, ret로 끝나면서 원하는 명령을 실행하는 메모리 주소를 미리 찾아놓아야 할 것입니다. 이를 우리는 gadget이라고 부릅니다.
Stack pointer에서도 권한 오류가 발생할 수 있지 않을까 하실 수도 있지만, stack pointer가 가리키는 메모리 영역은 read, write 권한만으로 충분하기 때문에 괜찮습니다.
이 사실을 알게된다면 이제 이런 구상을 할 수 있습니다:
- Python list를 통해 custom stack을 만든다.
- Custom stack에는 적절히 gadget을 배치한다.
- Stack pointer를 원하는 주소(여기선 Python list의 elements 주소)로 변경하는 gadget을 향하도록 한 Python function 객체를 만든다.
- 해당 Python function 객체를 실행한다. Stack pointer가 옮겨지고
ret가 호출되며 원하는 명령이 실행된다!
...많은 것들이 축약되있지만 대략적으로 이런 구상이 가능하죠. 이제 이를 이용해서 취약점을 만들 시간입니다!
Gadget 찾기
앞서 말했듯 ROP를 하기 위해선 적절한 gadget을 찾는 것이 중요합니다. 저는 이를 위해 ROPgadget 툴을 이용했습니다. 원하는 executable과 함께 툴을 실행하면 ret로 끝나는 모든 asm 명령들을 메모리 주소 값과 함께 찾아줍니다! (가상 메모리 주소까지 고려해서요!)
다음엔 두 가지 방법이 있습니다:
- Executable 메모리를 읽으며 gadget 주소를 동적으로 찾기
- 미리 해당 gadget들의 주소를 적어둔
dict 만들기
Xbox One/Series에선 1번 방법을 사용할 수 있었지만, PS에선 후에 언급할 내용 때문에 2번 방법을 쓸 수 밖에 없었습니다.
Stack pointer를 원하는 주소로 옮기기
이제 stack pointer를 만들어둔 Python list 주소로 옮기면 되는데, 어떻게 옮길까요? 저희가 원하는건 (x86_64 기준) mov rsp, ???와 ret입니다. 여기서 저 ???부분이 중요한데, 왜냐하면 Python function 호출이 어떻게 이루어지는지 알아야하며, 실행되는 CPU와 OS의 함수 호출 convention도 알아야하기 때문입니다.
여기서 함수 호출 convention이란 함수를 호출할 때 몇번째 argument가 어떤 register에 들어가는지를 뜻합니다.
Linux/UNIX 기반 OS의 x86_64 함수 호출 convention 순서는 다음과 같습니다:
RDI, RSI, RDX, RCX, R8, R9
그리고 Python function 호출은 다음과 같이 이루어집니다:
function_call(PyObject* func, PyObject *arg, PyObject *kw)
따라서 만약 mov rsp, [rdi + 0x30]; ret 라는 명령을 찾았다면, 직접 만드는 Python function 객체 안 0x30 정도 되는 곳에 원하는 stack 주소를 넣어야할 것이고, mov rsp, [rsi + 0x10]; ret 라는 명령을 찾았다면, 직접 tuple 객체를 만든 후 0x10 정도 되는 곳에 stack 주소를 저장, 만든 function 객체를 부를 때 my_func(*custom_tuple)과 같이 호출해야 할 것입니다.
다 만들었으니 실행하면 되는데... Python으로 못 돌아오고 crash?
ROP에서 가장 중요한걸 깜빡했네요. 직접 만든 stack을 실행하고 나선 다시 원래 stack으로 돌아와야겠죠.
저같은 경우는 push rbp; mov rbp, rsp; xor esi, esi; call [rdi + 0x130] 명령을 이용하여 rbp에 rsp를 저장한 후 원하는 명령을 실행하도록 만들었습니다(rdi + 0x130에는 stack pointer를 변경하는 명령이 있습니다).
이 다음 원하는 명령 실행 후 mov rsp, rbp; pop rbp; ret 명령을 통해 다시 원래 stack pointer로 돌아옵니다.
이렇게만 하면 될까요..? 아닙니다. 이렇게 하면 Python이 함수의 return value(x86_64 기준 RAX register)를 참조하려다 잘못된 값을 참조하여 오류가 발생합니다. 그럼 어떻게 해야할까요?
정답은 None 객체를 반환해주는 것입니다. 이렇게 하면 Python에게 정상적인 값을 반환하게 되며, 오류가 발생하지 않게 됩니다. (그리고 네, None도 하나의 객체입니다.)
주의할 점은 None 객체의 refcount를 1만큼 올려주어야 합니다. 그렇지 않으면 Python이 return value의 refcount를 줄이려 할 때, underflow 문제가 발생할 수 있습니다.
이것까지 마치면, 진짜로 저희가 원하는 명령을 실행할 수 있게 됩니다!
Xbox에서 테스트!
Xbox One Research 팀의 도움을 받아 Ren'Py 게임 파일을 받은 뒤 gadget을 찾고, 돌려봤습니다!
Xbox에서 먼저 테스트한 결과 정상적으로 socket을 여는데 성공했으며, 해당 socket으로 다른 Python script를 실행하는 데 성공했습니다!
(참고로 해당 게임은 Python의 socket 모듈을 지원하지 않습니다.)
Xbox 같은 경우 Windows와 거의 비슷한 함수를 사용할 수 있어서 편하게 진행할 수 있었습니다.
대망의 PS...
그렇게 Xbox에서 테스팅 후 몇달 뒤, PS 해킹에도 관심이 생겨 알아보게 되었습니다.
그렇게 알게된 Xbox와의 차이점은...
- FreeBSD 기반의 OS를 사용함
- 자체적인 syscall들이 존재함
- 메모리에 올라간 실행 파일에는 ELF 해더가 없음(Import table 알 수 없음)
- 실행 파일에 기록된 모듈만 로드할 수 있음
- PS5 기준: 실행 파일이 담긴 메모리 영역을 읽을 수 없음(XOM)
...Gadget 찾기에서 2번 방법을 사용한 이유가 XOM(eXecutable Only Memory) 때문입니다. 사실 PS4에선 1번 방법을 사용할 수 있지만, 저는 PS5 게임도 지원하고 싶었습니다.
PS5 Research & Development Discord 서버의 도움을 받아 게임 파일을 받았고, 똑같이 gadget을 찾아 작성하였습니다.
위에 적힌 제약들이 있어도, 기본 작동은 비슷하기 때문에 큰 문제 없이 만들 수 있었고, 그렇게 테스트를 한 결과..!
성공적으로 작동되었고, yarpe가 탄생할 수 있었습니다.
마무리
여기까지 오는데 (중간에 쉬었지만) 거의 1년이라는 시간이 걸렸습니다. 만들면서 힘든 것 보단 재밌다는 느낌을 더 많이 받았네요. (만드는 동안은 잠자는 시간마저 줄여가며 만들었던 것 같습니다.)
마무리하기 전에, 저에게 도움이 되었던 분들을 소개하며 끝내고자 합니다.
- Xbox One Research 팀: 이 프로젝트의 시작점이 되어주었으며, 핵심 부분을 구성하는데 큰 도움이 되었습니다. (tuxuser, LukeFZ, Billy, harold님 등이 도와주셨습니다.)
- Dr.Yenyen: PS4/5 게임들의 파일을 제공해주셨고, 많은 테스트를 진행해주셨습니다.
- Gezine: 취약점을 개발하며 제가 궁금했던 부분이나 잘못된 부분을 답변/지적 해주셨습니다.
- Sajjad: Dr.Yenyen님과 함께 많은 테스트를 진행해주셨습니다.
- cow: 직접 파일 대조까지 해주시며 문제가 되는 부분을 고쳐주셨습니다.
- earthonion: 테스트를 진행해주셨으며 많은 조언을 해주셨습니다.
긴 글 읽어주셔서 감사합니다.
![A Python REPL session showing how to define variables with getters and setters.
It starts off by importing the "getset" module, then defining a "getset_a" class with a getter and a setter. After the definition, the REPL shows a variable called "a" has been created and that it runs the getter and the setter when getting and storing values.
Then it shows the same process for creating a variable called "b", showing that changing "b" also automatically changes a.
Full text of the image:
```python
Python 3.14.3 (main, Mar 3 2026, 14:59:53) [Clang 21.1.4 ] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import getset
...
... class getset_a(metaclass=getset.Variable):
... a: int = 0
...
... def a_get(self):
... return f"a times 10: {self.a * 10}"
...
... def a_set(self, value):
... modulo = value % 7
... print(f"Setting a to {modulo}")
... self.a = modulo
...
>>> a
'a times 10: 0'
>>> a = 10
Setting a to 3
>>> a
'a times 10: 30'
>>> class getset_b(metaclass=getset.Variable):
... b: int = getset.get_backing("a")
...
... def b_get(self):
... return getset.get_backing("a")
...
... def b_set(self, value):
... getset.set_backing("a", value % 7)
...
>>> b
3
>>> b = 12
>>> b
5
>>> a
'a times 10: 50'
>>>
```](https://media.social.fedify.dev/media/01a125df-701f-7ab7-940c-561d28ee402b/thumbnail.webp)
![A snippet of Python code.
def DecodeARDP(data):
#assuming archie doesn't use the flag bytes
headerlen = ord(data[0])
u = xdrlib.Unpacker('\x00\x00'+data[1:3])
connid = u.unpack_int()
u.reset('\x00\x00'+data[3:5])
packetnum = u.unpack_int()
u.reset('\x00\x00'+data[5:7])
msglen = u.unpack_int()
u.reset('\x00\x00'+data[7:9])
receivedthrough = u.unpack_int()
waittime = 10 #WHY THE FUCK DOESN'T ord(data[9]) WORK?!!!!!!!! >_<
u.done()
return (headerlen,connid,packetnum,msglen,receivedthrough,waittime)](https://media.social.fedify.dev/media/019f03a3-21e7-7b68-b54b-d7e9aa0b23ad/thumbnail.webp)
![gdalgviz CLI example command: gdalgviz \
--pipeline "gdal raster pipeline \
! read n43.tif \
! color-map --color-map color_file.txt \
! tee [ write colored.tif --overwrite ] \
! blend --operator=hsv-value --overlay [ read n43.tif ! hillshade -z 30 ] \
! write colored-hillshade.tif --overwrite" \
examples/custom.svg \
--vertical \
--header-color "#ffdd99" \
--graph-attr "bgcolor=transparent,pad=0.5" \
--node-attr "fontsize=12,fontname=Verdana"](https://media.social.fedify.dev/media/019eb506-343b-7321-ba4b-1a411581775b/thumbnail.webp)
![x Preparing metadata (pyproject.toml) did not run successfully.
| exit code: 1
> [5 lines of output]
/tmp/pip-build-env-4onzua_e/overlay/lib/python3.11/site-packages/setuptools/_vendor/wheel/bdist_wheel.py:4: FutureWarning: The 'wheel' package is no longer the canonical
location of the 'bdist_wheel' command, and will be removed in a future release. Please update to setuptools v70.1 or later which contains an integrated version of this command.
warn (
Python reports SOABI: cpython-311
Unsupported platform: 311
Rust not found, installing into a temporary directory
[end of output]](https://media.social.fedify.dev/media/019e9478-d1a7-7c5c-8c09-d7157659254f/thumbnail.webp)
> This animation is made with points in a Python collections.deque data structure, added by dragging the mouse (code shown bellow)
[Removed line] I'm currently working on a PhD at Unicamp.
[Removed line] I should be talking less and concentrating, but...
[Added line] I have just finished a PhD at Unicamp by the end of 2025.
[Added line] I have very little idea of what I'm going to do now...
- Ask me about drawing with Python!
- Check out [py5](https://py5coding.org) and [pyp5js](berinhard.github.io/pyp5js/pyodide/), they bring in the vocabulary from Processing & P5js!
- I try to make a new drawing with code everyday, and I put the results at [skech-a-day](https://abav.lugaralgum.com/sketch-a-day).](https://media.social.fedify.dev/media/019c391d-a51f-726d-bead-3c91d7e80d86/thumbnail.webp)
![An image of a snippet of Python code. The code reads:
def make_list(nice: list[str], naughty: list[str]) -> list[str]:
the_list = [k for k in nice if k not in naughty]
for i in range(2):
check(the_list)
return the_list](https://media.social.fedify.dev/media/019b4cd0-ac14-7310-b3d1-68b3370c9b43/thumbnail.webp)
![The download pages for 3.13.9, 3.13.8 and 3.13.7.
The latter two say: "Note: Python 3.13.7 [or 3.13.8] has been superseded by Python 3.13.9", with a link.](https://media.social.fedify.dev/media/019c5dea-b8b6-7f71-892b-3cee501b0fa7/thumbnail.webp)
