diff --git a/quickjs.c b/quickjs.c index 90e97292e..2587a6408 100644 --- a/quickjs.c +++ b/quickjs.c @@ -35361,7 +35361,12 @@ static JSValue JS_ReadRegExp(BCReaderState *s) return JS_EXCEPTION; } - assert(!bc->is_wide_char); + if (bc->is_wide_char) { + js_free_string(ctx->rt, pattern); + js_free_string(ctx->rt, bc); + return JS_ThrowInternalError(ctx, "bad regexp bytecode"); + } + if (is_be()) lre_byte_swap(bc->u.str8, bc->len, /*is_byte_swapped*/TRUE); @@ -35571,8 +35576,13 @@ static int JS_ReadObjectAtoms(BCReaderState *s) } if (bc_get_leb128(s, &s->idx_to_atom_count)) return -1; + if (s->idx_to_atom_count > 1000*1000) { + JS_ThrowInternalError(s->ctx, "unreasonable atom count: %u", + s->idx_to_atom_count); + return -1; + } - bc_read_trace(s, "%d atom indexes {\n", s->idx_to_atom_count); + bc_read_trace(s, "%u atom indexes {\n", s->idx_to_atom_count); if (s->idx_to_atom_count != 0) { s->idx_to_atom = js_mallocz(s->ctx, s->idx_to_atom_count * diff --git a/tests/test_bjson.js b/tests/test_bjson.js index c1f72bbd7..6a2ee2cbf 100644 --- a/tests/test_bjson.js +++ b/tests/test_bjson.js @@ -231,6 +231,8 @@ function bjson_test_fuzz() { var corpus = [ "EBAAAAAABGA=", + "EObm5oIt", + "EAARABMGBgYGBgYGBgYGBv////8QABEALxH/vy8R/78=", ]; for (var input of corpus) { var buf = base64decode(input);