/* * Copyright (c) 2020, Andreas Kling * Copyright (c) 2020-2021, Linus Groh * * SPDX-License-Identifier: BSD-2-Clause */ #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include namespace JS { GlobalObject::GlobalObject() : Object(GlobalObjectTag::Tag) , m_console(make(*this)) { } void GlobalObject::initialize_global_object() { auto& vm = this->vm(); ensure_shape_is_unique(); // These are done first since other prototypes depend on their presence. m_empty_object_shape = heap().allocate_without_global_object(*this); m_object_prototype = heap().allocate_without_global_object(*this); m_function_prototype = heap().allocate_without_global_object(*this); m_environment = heap().allocate(*this, *this); m_new_object_shape = vm.heap().allocate_without_global_object(*this); m_new_object_shape->set_prototype_without_transition(m_object_prototype); m_new_ordinary_function_prototype_object_shape = vm.heap().allocate_without_global_object(*this); m_new_ordinary_function_prototype_object_shape->set_prototype_without_transition(m_object_prototype); m_new_ordinary_function_prototype_object_shape->add_property_without_transition(vm.names.constructor, Attribute::Writable | Attribute::Configurable); static_cast(m_function_prototype)->initialize(*this); static_cast(m_object_prototype)->initialize(*this); auto success = Object::internal_set_prototype_of(m_object_prototype); VERIFY(success); // This must be initialized before allocating AggregateErrorPrototype, which uses ErrorPrototype as its prototype. m_error_prototype = heap().allocate(*this, *this); #define __JS_ENUMERATE(ClassName, snake_name) \ if (!m_##snake_name##_prototype) \ m_##snake_name##_prototype = heap().allocate(*this, *this); JS_ENUMERATE_ITERATOR_PROTOTYPES #undef __JS_ENUMERATE // %GeneratorFunction.prototype.prototype% must be initialized separately as it has no // companion constructor m_generator_object_prototype = heap().allocate(*this, *this); m_generator_object_prototype->define_direct_property(vm.names.constructor, m_generator_function_constructor, Attribute::Configurable); #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType) \ if (!m_##snake_name##_prototype) \ m_##snake_name##_prototype = heap().allocate(*this, *this); JS_ENUMERATE_BUILTIN_TYPES #undef __JS_ENUMERATE #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \ if (!m_temporal_##snake_name##_prototype) \ m_temporal_##snake_name##_prototype = heap().allocate(*this, *this); JS_ENUMERATE_TEMPORAL_OBJECTS #undef __JS_ENUMERATE // Must be allocated before `Temporal::Temporal` below. #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \ initialize_constructor(vm.names.ClassName, m_temporal_##snake_name##_constructor, m_temporal_##snake_name##_prototype); JS_ENUMERATE_TEMPORAL_OBJECTS #undef __JS_ENUMERATE u8 attr = Attribute::Writable | Attribute::Configurable; define_native_function(vm.names.gc, gc, 0, attr); define_native_function(vm.names.isNaN, is_nan, 1, attr); define_native_function(vm.names.isFinite, is_finite, 1, attr); define_native_function(vm.names.parseFloat, parse_float, 1, attr); define_native_function(vm.names.parseInt, parse_int, 2, attr); define_native_function(vm.names.eval, eval, 1, attr); m_eval_function = &get_without_side_effects(vm.names.eval).as_function(); // 10.2.4.1 %ThrowTypeError% ( ), https://tc39.es/ecma262/#sec-%throwtypeerror% m_throw_type_error_function = NativeFunction::create(global_object(), {}, [](VM& vm, GlobalObject& global_object) { vm.throw_exception(global_object, ErrorType::RestrictedFunctionPropertiesAccess); return Value(); }); m_throw_type_error_function->define_direct_property(vm.names.length, Value(0), 0); m_throw_type_error_function->define_direct_property(vm.names.name, js_string(vm, ""), 0); m_throw_type_error_function->internal_prevent_extensions(); // 10.2.4 AddRestrictedFunctionProperties ( F, realm ), https://tc39.es/ecma262/#sec-addrestrictedfunctionproperties m_function_prototype->define_direct_accessor(vm.names.caller, throw_type_error_function(), throw_type_error_function(), Attribute::Configurable); m_function_prototype->define_direct_accessor(vm.names.arguments, throw_type_error_function(), throw_type_error_function(), Attribute::Configurable); define_native_function(vm.names.encodeURI, encode_uri, 1, attr); define_native_function(vm.names.decodeURI, decode_uri, 1, attr); define_native_function(vm.names.encodeURIComponent, encode_uri_component, 1, attr); define_native_function(vm.names.decodeURIComponent, decode_uri_component, 1, attr); define_native_function(vm.names.escape, escape, 1, attr); define_native_function(vm.names.unescape, unescape, 1, attr); define_direct_property(vm.names.NaN, js_nan(), 0); define_direct_property(vm.names.Infinity, js_infinity(), 0); define_direct_property(vm.names.undefined, js_undefined(), 0); define_direct_property(vm.names.globalThis, this, attr); define_direct_property(vm.names.console, heap().allocate(*this, *this), attr); define_direct_property(vm.names.Atomics, heap().allocate(*this, *this), attr); define_direct_property(vm.names.Math, heap().allocate(*this, *this), attr); define_direct_property(vm.names.JSON, heap().allocate(*this, *this), attr); define_direct_property(vm.names.Reflect, heap().allocate(*this, *this), attr); define_direct_property(vm.names.Temporal, heap().allocate(*this, *this), attr); // This must be initialized before allocating AggregateErrorConstructor, which uses ErrorConstructor as its prototype. initialize_constructor(vm.names.Error, m_error_constructor, m_error_prototype); add_constructor(vm.names.AggregateError, m_aggregate_error_constructor, m_aggregate_error_prototype); add_constructor(vm.names.Array, m_array_constructor, m_array_prototype); add_constructor(vm.names.ArrayBuffer, m_array_buffer_constructor, m_array_buffer_prototype); add_constructor(vm.names.BigInt, m_bigint_constructor, m_bigint_prototype); add_constructor(vm.names.Boolean, m_boolean_constructor, m_boolean_prototype); add_constructor(vm.names.DataView, m_data_view_constructor, m_data_view_prototype); add_constructor(vm.names.Date, m_date_constructor, m_date_prototype); add_constructor(vm.names.Error, m_error_constructor, m_error_prototype); add_constructor(vm.names.FinalizationRegistry, m_finalization_registry_constructor, m_finalization_registry_prototype); add_constructor(vm.names.Function, m_function_constructor, m_function_prototype); add_constructor(vm.names.Map, m_map_constructor, m_map_prototype); add_constructor(vm.names.Number, m_number_constructor, m_number_prototype); add_constructor(vm.names.Object, m_object_constructor, m_object_prototype); add_constructor(vm.names.Promise, m_promise_constructor, m_promise_prototype); add_constructor(vm.names.Proxy, m_proxy_constructor, nullptr); add_constructor(vm.names.RegExp, m_regexp_constructor, m_regexp_prototype); add_constructor(vm.names.Set, m_set_constructor, m_set_prototype); add_constructor(vm.names.String, m_string_constructor, m_string_prototype); add_constructor(vm.names.Symbol, m_symbol_constructor, m_symbol_prototype); add_constructor(vm.names.WeakMap, m_weak_map_constructor, m_weak_map_prototype); add_constructor(vm.names.WeakRef, m_weak_ref_constructor, m_weak_ref_prototype); add_constructor(vm.names.WeakSet, m_weak_set_constructor, m_weak_set_prototype); initialize_constructor(vm.names.TypedArray, m_typed_array_constructor, m_typed_array_prototype); #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType) \ add_constructor(vm.names.ClassName, m_##snake_name##_constructor, m_##snake_name##_prototype); JS_ENUMERATE_NATIVE_ERRORS JS_ENUMERATE_TYPED_ARRAYS #undef __JS_ENUMERATE // The generator constructor cannot be initialized with add_constructor as it has no global binding m_generator_function_constructor = heap().allocate(*this, *this); // 27.3.3.1 GeneratorFunction.prototype.constructor, https://tc39.es/ecma262/#sec-generatorfunction.prototype.constructor m_generator_function_prototype->define_direct_property(vm.names.constructor, m_generator_function_constructor, Attribute::Configurable); } GlobalObject::~GlobalObject() { } void GlobalObject::visit_edges(Visitor& visitor) { Base::visit_edges(visitor); visitor.visit(m_empty_object_shape); visitor.visit(m_new_object_shape); visitor.visit(m_new_ordinary_function_prototype_object_shape); visitor.visit(m_proxy_constructor); visitor.visit(m_generator_object_prototype); visitor.visit(m_environment); #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName, ArrayType) \ visitor.visit(m_##snake_name##_constructor); \ visitor.visit(m_##snake_name##_prototype); JS_ENUMERATE_BUILTIN_TYPES #undef __JS_ENUMERATE #define __JS_ENUMERATE(ClassName, snake_name, PrototypeName, ConstructorName) \ visitor.visit(m_temporal_##snake_name##_constructor); \ visitor.visit(m_temporal_##snake_name##_prototype); JS_ENUMERATE_TEMPORAL_OBJECTS #undef __JS_ENUMERATE #define __JS_ENUMERATE(ClassName, snake_name) \ visitor.visit(m_##snake_name##_prototype); JS_ENUMERATE_ITERATOR_PROTOTYPES #undef __JS_ENUMERATE visitor.visit(m_eval_function); visitor.visit(m_throw_type_error_function); } JS_DEFINE_NATIVE_FUNCTION(GlobalObject::gc) { #ifdef __serenity__ dbgln("Forced garbage collection requested!"); #endif vm.heap().collect_garbage(); return js_undefined(); } // 19.2.3 isNaN ( number ), https://tc39.es/ecma262/#sec-isnan-number JS_DEFINE_NATIVE_FUNCTION(GlobalObject::is_nan) { auto number = vm.argument(0).to_number(global_object); if (vm.exception()) return {}; return Value(number.is_nan()); } // 19.2.2 isFinite ( number ), https://tc39.es/ecma262/#sec-isfinite-number JS_DEFINE_NATIVE_FUNCTION(GlobalObject::is_finite) { auto number = vm.argument(0).to_number(global_object); if (vm.exception()) return {}; return Value(number.is_finite_number()); } // 19.2.4 parseFloat ( string ), https://tc39.es/ecma262/#sec-parsefloat-string JS_DEFINE_NATIVE_FUNCTION(GlobalObject::parse_float) { if (vm.argument(0).is_number()) return vm.argument(0); auto input_string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; auto trimmed_string = input_string.trim_whitespace(TrimMode::Left); for (size_t length = trimmed_string.length(); length > 0; --length) { // This can't throw, so no exception check is fine. auto number = Value(js_string(vm, trimmed_string.substring(0, length))).to_number(global_object); if (!number.is_nan()) return number; } return js_nan(); } // 19.2.5 parseInt ( string, radix ), https://tc39.es/ecma262/#sec-parseint-string-radix JS_DEFINE_NATIVE_FUNCTION(GlobalObject::parse_int) { auto input_string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; // FIXME: There's a bunch of unnecessary string copying here. double sign = 1; auto s = input_string.trim_whitespace(TrimMode::Left); if (!s.is_empty() && s[0] == '-') sign = -1; if (!s.is_empty() && (s[0] == '+' || s[0] == '-')) s = s.substring(1, s.length() - 1); auto radix = vm.argument(1).to_i32(global_object); if (vm.exception()) return {}; bool strip_prefix = true; if (radix != 0) { if (radix < 2 || radix > 36) return js_nan(); if (radix != 16) strip_prefix = false; } else { radix = 10; } if (strip_prefix) { if (s.length() >= 2 && s[0] == '0' && (s[1] == 'x' || s[1] == 'X')) { s = s.substring(2, s.length() - 2); radix = 16; } } auto parse_digit = [&](u32 code_point, i32 radix) -> Optional { if (!is_ascii_alphanumeric(code_point) || radix <= 0) return {}; auto digit = parse_ascii_base36_digit(code_point); if (digit >= (u32)radix) return {}; return digit; }; bool had_digits = false; double number = 0; for (auto code_point : Utf8View(s)) { auto digit = parse_digit(code_point, radix); if (!digit.has_value()) break; had_digits = true; number *= radix; number += digit.value(); } if (!had_digits) return js_nan(); return Value(sign * number); } // 19.2.1 eval ( x ), https://tc39.es/ecma262/#sec-eval-x JS_DEFINE_NATIVE_FUNCTION(GlobalObject::eval) { return perform_eval(vm.argument(0), global_object, CallerMode::NonStrict, EvalMode::Indirect); } // 19.2.6.1.1 Encode ( string, unescapedSet ), https://tc39.es/ecma262/#sec-encode static String encode([[maybe_unused]] JS::GlobalObject& global_object, const String& string, StringView unescaped_set) { StringBuilder encoded_builder; for (unsigned char code_unit : string) { if (unescaped_set.contains(code_unit)) { encoded_builder.append(code_unit); continue; } // FIXME: check for unpaired surrogates and throw URIError encoded_builder.appendff("%{:02X}", code_unit); } return encoded_builder.build(); } // 19.2.6.1.2 Decode ( string, reservedSet ), https://tc39.es/ecma262/#sec-decode static String decode(JS::GlobalObject& global_object, const String& string, StringView reserved_set) { StringBuilder decoded_builder; auto expected_continuation_bytes = 0; for (size_t k = 0; k < string.length(); k++) { auto code_unit = string[k]; if (code_unit != '%') { if (expected_continuation_bytes > 0) { global_object.vm().throw_exception(global_object, ErrorType::URIMalformed); return {}; } decoded_builder.append(code_unit); continue; } if (k + 2 >= string.length()) { global_object.vm().throw_exception(global_object, ErrorType::URIMalformed); return {}; } auto first_digit = decode_hex_digit(string[k + 1]); if (first_digit >= 16) { global_object.vm().throw_exception(global_object, ErrorType::URIMalformed); return {}; } auto second_digit = decode_hex_digit(string[k + 2]); if (second_digit >= 16) { global_object.vm().throw_exception(global_object, ErrorType::URIMalformed); return {}; } char decoded_code_unit = (first_digit << 4) | second_digit; k += 2; if (expected_continuation_bytes > 0) { decoded_builder.append(decoded_code_unit); expected_continuation_bytes--; continue; } if ((decoded_code_unit & 0x80) == 0) { if (reserved_set.contains(decoded_code_unit)) decoded_builder.append(string.substring_view(k - 2, 3)); else decoded_builder.append(decoded_code_unit); continue; } auto leading_ones = count_trailing_zeroes_32_safe(~decoded_code_unit) - 24; if (leading_ones == 1 || leading_ones > 4) { global_object.vm().throw_exception(global_object, ErrorType::URIMalformed); return {}; } decoded_builder.append(decoded_code_unit); expected_continuation_bytes = leading_ones - 1; } return decoded_builder.build(); } // 19.2.6.4 encodeURI ( uri ), https://tc39.es/ecma262/#sec-encodeuri-uri JS_DEFINE_NATIVE_FUNCTION(GlobalObject::encode_uri) { auto uri_string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; auto encoded = encode(global_object, uri_string, ";/?:@&=+$,abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()#"sv); if (vm.exception()) return {}; return js_string(vm, move(encoded)); } // 19.2.6.2 decodeURI ( encodedURI ), https://tc39.es/ecma262/#sec-decodeuri-encodeduri JS_DEFINE_NATIVE_FUNCTION(GlobalObject::decode_uri) { auto uri_string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; auto decoded = decode(global_object, uri_string, ";/?:@&=+$,#"sv); if (vm.exception()) return {}; return js_string(vm, move(decoded)); } // 19.2.6.5 encodeURIComponent ( uriComponent ), https://tc39.es/ecma262/#sec-encodeuricomponent-uricomponent JS_DEFINE_NATIVE_FUNCTION(GlobalObject::encode_uri_component) { auto uri_string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; auto encoded = encode(global_object, uri_string, "abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNOPQRSTUVWXYZ0123456789-_.!~*'()"sv); if (vm.exception()) return {}; return js_string(vm, move(encoded)); } // 19.2.6.3 decodeURIComponent ( encodedURIComponent ), https://tc39.es/ecma262/#sec-decodeuricomponent-encodeduricomponent JS_DEFINE_NATIVE_FUNCTION(GlobalObject::decode_uri_component) { auto uri_string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; auto decoded = decode(global_object, uri_string, ""sv); if (vm.exception()) return {}; return js_string(vm, move(decoded)); } // B.2.1.1 escape ( string ), https://tc39.es/ecma262/#sec-escape-string JS_DEFINE_NATIVE_FUNCTION(GlobalObject::escape) { auto string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; StringBuilder escaped; for (auto code_point : Utf8View(string)) { if (code_point < 256) { if ("ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789@*_+-./"sv.contains(code_point)) escaped.append(code_point); else escaped.appendff("%{:02X}", code_point); continue; } escaped.appendff("%u{:04X}", code_point); // FIXME: Handle utf-16 surrogate pairs } return js_string(vm, escaped.build()); } // B.2.1.2 unescape ( string ), https://tc39.es/ecma262/#sec-unescape-string JS_DEFINE_NATIVE_FUNCTION(GlobalObject::unescape) { auto string = vm.argument(0).to_string(global_object); if (vm.exception()) return {}; ssize_t length = string.length(); StringBuilder unescaped(length); for (auto k = 0; k < length; ++k) { u32 code_point = string[k]; if (code_point == '%') { if (k <= length - 6 && string[k + 1] == 'u' && is_ascii_hex_digit(string[k + 2]) && is_ascii_hex_digit(string[k + 3]) && is_ascii_hex_digit(string[k + 4]) && is_ascii_hex_digit(string[k + 5])) { code_point = (parse_ascii_hex_digit(string[k + 2]) << 12) | (parse_ascii_hex_digit(string[k + 3]) << 8) | (parse_ascii_hex_digit(string[k + 4]) << 4) | parse_ascii_hex_digit(string[k + 5]); k += 5; } else if (k <= length - 3 && is_ascii_hex_digit(string[k + 1]) && is_ascii_hex_digit(string[k + 2])) { code_point = (parse_ascii_hex_digit(string[k + 1]) << 4) | parse_ascii_hex_digit(string[k + 2]); k += 2; } } unescaped.append_code_point(code_point); } return js_string(vm, unescaped.build()); } }