blob: d1d07210328395a900a592467ca9511dbcda212c [file] [log] [blame]
// Copyright 2016 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.
#include "src/value-serializer.h"
#include <algorithm>
#include <string>
#include "include/v8.h"
#include "src/api/api-inl.h"
#include "src/base/build_config.h"
#include "src/objects/objects-inl.h"
#include "src/wasm/wasm-objects.h"
#include "test/unittests/test-utils.h"
#include "testing/gmock/include/gmock/gmock.h"
#include "testing/gtest/include/gtest/gtest.h"
namespace v8 {
namespace {
using ::testing::_;
using ::testing::Invoke;
using ::testing::Return;
class ValueSerializerTest : public TestWithIsolate {
protected:
ValueSerializerTest()
: serialization_context_(Context::New(isolate())),
deserialization_context_(Context::New(isolate())) {
// Create a host object type that can be tested through
// serialization/deserialization delegates below.
Local<FunctionTemplate> function_template = v8::FunctionTemplate::New(
isolate(), [](const FunctionCallbackInfo<Value>& args) {
args.Holder()->SetInternalField(0, args[0]);
args.Holder()->SetInternalField(1, args[1]);
});
function_template->InstanceTemplate()->SetInternalFieldCount(2);
function_template->InstanceTemplate()->SetAccessor(
StringFromUtf8("value"),
[](Local<String> property, const PropertyCallbackInfo<Value>& args) {
args.GetReturnValue().Set(args.Holder()->GetInternalField(0));
});
function_template->InstanceTemplate()->SetAccessor(
StringFromUtf8("value2"),
[](Local<String> property, const PropertyCallbackInfo<Value>& args) {
args.GetReturnValue().Set(args.Holder()->GetInternalField(1));
});
for (Local<Context> context :
{serialization_context_, deserialization_context_}) {
context->Global()
->CreateDataProperty(
context, StringFromUtf8("ExampleHostObject"),
function_template->GetFunction(context).ToLocalChecked())
.ToChecked();
}
host_object_constructor_template_ = function_template;
isolate_ = reinterpret_cast<i::Isolate*>(isolate());
}
~ValueSerializerTest() override {
// In some cases unhandled scheduled exceptions from current test produce
// that Context::New(isolate()) from next test's constructor returns NULL.
// In order to prevent that, we added destructor which will clear scheduled
// exceptions just for the current test from test case.
if (isolate_->has_scheduled_exception()) {
isolate_->clear_scheduled_exception();
}
}
const Local<Context>& serialization_context() {
return serialization_context_;
}
const Local<Context>& deserialization_context() {
return deserialization_context_;
}
bool ExpectInlineWasm() const { return expect_inline_wasm_; }
void SetExpectInlineWasm(bool value) { expect_inline_wasm_ = value; }
// Overridden in more specific fixtures.
virtual ValueSerializer::Delegate* GetSerializerDelegate() { return nullptr; }
virtual void BeforeEncode(ValueSerializer*) {}
virtual ValueDeserializer::Delegate* GetDeserializerDelegate() {
return nullptr;
}
virtual void BeforeDecode(ValueDeserializer*) {}
Local<Value> RoundTripTest(Local<Value> input_value) {
std::vector<uint8_t> encoded = EncodeTest(input_value);
return DecodeTest(encoded);
}
// Variant for the common case where a script is used to build the original
// value.
Local<Value> RoundTripTest(const char* source) {
return RoundTripTest(EvaluateScriptForInput(source));
}
// Variant which uses JSON.parse/stringify to check the result.
void RoundTripJSON(const char* source) {
Local<Value> input_value =
JSON::Parse(serialization_context_, StringFromUtf8(source))
.ToLocalChecked();
Local<Value> result = RoundTripTest(input_value);
ASSERT_TRUE(result->IsObject());
EXPECT_EQ(source, Utf8Value(JSON::Stringify(deserialization_context_,
result.As<Object>())
.ToLocalChecked()));
}
Maybe<std::vector<uint8_t>> DoEncode(Local<Value> value) {
Local<Context> context = serialization_context();
ValueSerializer serializer(isolate(), GetSerializerDelegate());
BeforeEncode(&serializer);
serializer.WriteHeader();
if (!serializer.WriteValue(context, value).FromMaybe(false)) {
return Nothing<std::vector<uint8_t>>();
}
std::pair<uint8_t*, size_t> buffer = serializer.Release();
std::vector<uint8_t> result(buffer.first, buffer.first + buffer.second);
if (auto* delegate = GetSerializerDelegate())
delegate->FreeBufferMemory(buffer.first);
else
free(buffer.first);
return Just(std::move(result));
}
std::vector<uint8_t> EncodeTest(Local<Value> input_value) {
Context::Scope scope(serialization_context());
TryCatch try_catch(isolate());
std::vector<uint8_t> buffer;
// Ideally we would use GTest's ASSERT_* macros here and below. However,
// those only work in functions returning {void}, and they only terminate
// the current function, but not the entire current test (so we would need
// additional manual checks whether it is okay to proceed). Given that our
// test driver starts a new process for each test anyway, it is acceptable
// to just use a CHECK (which would kill the process on failure) instead.
CHECK(DoEncode(input_value).To(&buffer));
CHECK(!try_catch.HasCaught());
return buffer;
}
std::vector<uint8_t> EncodeTest(const char* source) {
return EncodeTest(EvaluateScriptForInput(source));
}
v8::Local<v8::Message> InvalidEncodeTest(Local<Value> input_value) {
Context::Scope scope(serialization_context());
TryCatch try_catch(isolate());
CHECK(DoEncode(input_value).IsNothing());
return try_catch.Message();
}
v8::Local<v8::Message> InvalidEncodeTest(const char* source) {
return InvalidEncodeTest(EvaluateScriptForInput(source));
}
Local<Value> DecodeTest(const std::vector<uint8_t>& data) {
Local<Context> context = deserialization_context();
Context::Scope scope(context);
TryCatch try_catch(isolate());
ValueDeserializer deserializer(isolate(), &data[0],
static_cast<int>(data.size()),
GetDeserializerDelegate());
deserializer.SetSupportsLegacyWireFormat(true);
deserializer.SetExpectInlineWasm(ExpectInlineWasm());
BeforeDecode(&deserializer);
CHECK(deserializer.ReadHeader(context).FromMaybe(false));
Local<Value> result;
CHECK(deserializer.ReadValue(context).ToLocal(&result));
CHECK(!result.IsEmpty());
CHECK(!try_catch.HasCaught());
CHECK(context->Global()
->CreateDataProperty(context, StringFromUtf8("result"), result)
.FromMaybe(false));
CHECK(!try_catch.HasCaught());
return result;
}
Local<Value> DecodeTestForVersion0(const std::vector<uint8_t>& data) {
Local<Context> context = deserialization_context();
Context::Scope scope(context);
TryCatch try_catch(isolate());
ValueDeserializer deserializer(isolate(), &data[0],
static_cast<int>(data.size()),
GetDeserializerDelegate());
deserializer.SetSupportsLegacyWireFormat(true);
deserializer.SetExpectInlineWasm(ExpectInlineWasm());
BeforeDecode(&deserializer);
CHECK(deserializer.ReadHeader(context).FromMaybe(false));
CHECK_EQ(0u, deserializer.GetWireFormatVersion());
Local<Value> result;
CHECK(deserializer.ReadValue(context).ToLocal(&result));
CHECK(!result.IsEmpty());
CHECK(!try_catch.HasCaught());
CHECK(context->Global()
->CreateDataProperty(context, StringFromUtf8("result"), result)
.FromMaybe(false));
CHECK(!try_catch.HasCaught());
return result;
}
void InvalidDecodeTest(const std::vector<uint8_t>& data) {
Local<Context> context = deserialization_context();
Context::Scope scope(context);
TryCatch try_catch(isolate());
ValueDeserializer deserializer(isolate(), &data[0],
static_cast<int>(data.size()),
GetDeserializerDelegate());
deserializer.SetSupportsLegacyWireFormat(true);
deserializer.SetExpectInlineWasm(ExpectInlineWasm());
BeforeDecode(&deserializer);
Maybe<bool> header_result = deserializer.ReadHeader(context);
if (header_result.IsNothing()) {
EXPECT_TRUE(try_catch.HasCaught());
return;
}
CHECK(header_result.ToChecked());
CHECK(deserializer.ReadValue(context).IsEmpty());
EXPECT_TRUE(try_catch.HasCaught());
}
Local<Value> EvaluateScriptForInput(const char* utf8_source) {
Context::Scope scope(serialization_context_);
Local<String> source = StringFromUtf8(utf8_source);
Local<Script> script =
Script::Compile(serialization_context_, source).ToLocalChecked();
return script->Run(serialization_context_).ToLocalChecked();
}
void ExpectScriptTrue(const char* utf8_source) {
Context::Scope scope(deserialization_context_);
Local<String> source = StringFromUtf8(utf8_source);
Local<Script> script =
Script::Compile(deserialization_context_, source).ToLocalChecked();
Local<Value> value = script->Run(deserialization_context_).ToLocalChecked();
EXPECT_TRUE(value->BooleanValue(isolate()));
}
Local<String> StringFromUtf8(const char* source) {
return String::NewFromUtf8(isolate(), source, NewStringType::kNormal)
.ToLocalChecked();
}
std::string Utf8Value(Local<Value> value) {
String::Utf8Value utf8(isolate(), value);
return std::string(*utf8, utf8.length());
}
Local<Object> NewHostObject(Local<Context> context, int argc,
Local<Value> argv[]) {
return host_object_constructor_template_->GetFunction(context)
.ToLocalChecked()
->NewInstance(context, argc, argv)
.ToLocalChecked();
}
Local<Object> NewDummyUint8Array() {
static uint8_t data[] = {4, 5, 6};
Local<ArrayBuffer> ab =
ArrayBuffer::New(isolate(), static_cast<void*>(data), sizeof(data));
return Uint8Array::New(ab, 0, sizeof(data));
}
private:
Local<Context> serialization_context_;
Local<Context> deserialization_context_;
Local<FunctionTemplate> host_object_constructor_template_;
i::Isolate* isolate_;
bool expect_inline_wasm_ = false;
DISALLOW_COPY_AND_ASSIGN(ValueSerializerTest);
};
TEST_F(ValueSerializerTest, DecodeInvalid) {
// Version tag but no content.
InvalidDecodeTest({0xFF});
// Version too large.
InvalidDecodeTest({0xFF, 0x7F, 0x5F});
// Nonsense tag.
InvalidDecodeTest({0xFF, 0x09, 0xDD});
}
TEST_F(ValueSerializerTest, RoundTripOddball) {
Local<Value> value = RoundTripTest(Undefined(isolate()));
EXPECT_TRUE(value->IsUndefined());
value = RoundTripTest(True(isolate()));
EXPECT_TRUE(value->IsTrue());
value = RoundTripTest(False(isolate()));
EXPECT_TRUE(value->IsFalse());
value = RoundTripTest(Null(isolate()));
EXPECT_TRUE(value->IsNull());
}
TEST_F(ValueSerializerTest, DecodeOddball) {
// What this code is expected to generate.
Local<Value> value = DecodeTest({0xFF, 0x09, 0x5F});
EXPECT_TRUE(value->IsUndefined());
value = DecodeTest({0xFF, 0x09, 0x54});
EXPECT_TRUE(value->IsTrue());
value = DecodeTest({0xFF, 0x09, 0x46});
EXPECT_TRUE(value->IsFalse());
value = DecodeTest({0xFF, 0x09, 0x30});
EXPECT_TRUE(value->IsNull());
// What v9 of the Blink code generates.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x5F, 0x00});
EXPECT_TRUE(value->IsUndefined());
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x54, 0x00});
EXPECT_TRUE(value->IsTrue());
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x46, 0x00});
EXPECT_TRUE(value->IsFalse());
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x30, 0x00});
EXPECT_TRUE(value->IsNull());
// v0 (with no explicit version).
value = DecodeTest({0x5F, 0x00});
EXPECT_TRUE(value->IsUndefined());
value = DecodeTest({0x54, 0x00});
EXPECT_TRUE(value->IsTrue());
value = DecodeTest({0x46, 0x00});
EXPECT_TRUE(value->IsFalse());
value = DecodeTest({0x30, 0x00});
EXPECT_TRUE(value->IsNull());
}
TEST_F(ValueSerializerTest, EncodeArrayStackOverflow) {
InvalidEncodeTest("var a = []; for (var i = 0; i < 1E5; i++) a = [a]; a");
}
TEST_F(ValueSerializerTest, EncodeObjectStackOverflow) {
InvalidEncodeTest("var a = {}; for (var i = 0; i < 1E5; i++) a = {a}; a");
}
TEST_F(ValueSerializerTest, DecodeArrayStackOverflow) {
static const int nesting_level = 1E5;
std::vector<uint8_t> payload;
// Header.
payload.push_back(0xFF);
payload.push_back(0x0D);
// Nested arrays, each with one element.
for (int i = 0; i < nesting_level; i++) {
payload.push_back(0x41);
payload.push_back(0x01);
}
// Innermost array is empty.
payload.push_back(0x41);
payload.push_back(0x00);
payload.push_back(0x24);
payload.push_back(0x00);
payload.push_back(0x00);
// Close nesting.
for (int i = 0; i < nesting_level; i++) {
payload.push_back(0x24);
payload.push_back(0x00);
payload.push_back(0x01);
}
InvalidDecodeTest(payload);
}
TEST_F(ValueSerializerTest, DecodeObjectStackOverflow) {
static const int nesting_level = 1E5;
std::vector<uint8_t> payload;
// Header.
payload.push_back(0xFF);
payload.push_back(0x0D);
// Nested objects, each with one property 'a'.
for (int i = 0; i < nesting_level; i++) {
payload.push_back(0x6F);
payload.push_back(0x22);
payload.push_back(0x01);
payload.push_back(0x61);
}
// Innermost array is empty.
payload.push_back(0x6F);
payload.push_back(0x7B);
payload.push_back(0x00);
// Close nesting.
for (int i = 0; i < nesting_level; i++) {
payload.push_back(0x7B);
payload.push_back(0x01);
}
InvalidDecodeTest(payload);
}
TEST_F(ValueSerializerTest, DecodeVerifyObjectCount) {
static const int nesting_level = 1E5;
std::vector<uint8_t> payload;
// Header.
payload.push_back(0xFF);
payload.push_back(0x0D);
// Repeat SerializationTag:kVerifyObjectCount. This leads to stack overflow.
for (int i = 0; i < nesting_level; i++) {
payload.push_back(0x3F);
payload.push_back(0x01);
}
InvalidDecodeTest(payload);
}
TEST_F(ValueSerializerTest, RoundTripNumber) {
Local<Value> value = RoundTripTest(Integer::New(isolate(), 42));
ASSERT_TRUE(value->IsInt32());
EXPECT_EQ(42, Int32::Cast(*value)->Value());
value = RoundTripTest(Integer::New(isolate(), -31337));
ASSERT_TRUE(value->IsInt32());
EXPECT_EQ(-31337, Int32::Cast(*value)->Value());
value = RoundTripTest(
Integer::New(isolate(), std::numeric_limits<int32_t>::min()));
ASSERT_TRUE(value->IsInt32());
EXPECT_EQ(std::numeric_limits<int32_t>::min(), Int32::Cast(*value)->Value());
value = RoundTripTest(Number::New(isolate(), -0.25));
ASSERT_TRUE(value->IsNumber());
EXPECT_EQ(-0.25, Number::Cast(*value)->Value());
value = RoundTripTest(
Number::New(isolate(), std::numeric_limits<double>::quiet_NaN()));
ASSERT_TRUE(value->IsNumber());
EXPECT_TRUE(std::isnan(Number::Cast(*value)->Value()));
}
TEST_F(ValueSerializerTest, DecodeNumber) {
// 42 zig-zag encoded (signed)
Local<Value> value = DecodeTest({0xFF, 0x09, 0x49, 0x54});
ASSERT_TRUE(value->IsInt32());
EXPECT_EQ(42, Int32::Cast(*value)->Value());
// 42 varint encoded (unsigned)
value = DecodeTest({0xFF, 0x09, 0x55, 0x2A});
ASSERT_TRUE(value->IsInt32());
EXPECT_EQ(42, Int32::Cast(*value)->Value());
// 160 zig-zag encoded (signed)
value = DecodeTest({0xFF, 0x09, 0x49, 0xC0, 0x02});
ASSERT_TRUE(value->IsInt32());
ASSERT_EQ(160, Int32::Cast(*value)->Value());
// 160 varint encoded (unsigned)
value = DecodeTest({0xFF, 0x09, 0x55, 0xA0, 0x01});
ASSERT_TRUE(value->IsInt32());
ASSERT_EQ(160, Int32::Cast(*value)->Value());
#if defined(V8_TARGET_LITTLE_ENDIAN)
// IEEE 754 doubles, little-endian byte order
value = DecodeTest(
{0xFF, 0x09, 0x4E, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xD0, 0xBF});
ASSERT_TRUE(value->IsNumber());
EXPECT_EQ(-0.25, Number::Cast(*value)->Value());
// quiet NaN
value = DecodeTest(
{0xFF, 0x09, 0x4E, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xF8, 0x7F});
ASSERT_TRUE(value->IsNumber());
EXPECT_TRUE(std::isnan(Number::Cast(*value)->Value()));
// signaling NaN
value = DecodeTest(
{0xFF, 0x09, 0x4E, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xF4, 0x7F});
ASSERT_TRUE(value->IsNumber());
EXPECT_TRUE(std::isnan(Number::Cast(*value)->Value()));
#endif
// TODO(jbroman): Equivalent test for big-endian machines.
}
TEST_F(ValueSerializerTest, RoundTripBigInt) {
Local<Value> value = RoundTripTest(BigInt::New(isolate(), -42));
ASSERT_TRUE(value->IsBigInt());
ExpectScriptTrue("result === -42n");
value = RoundTripTest(BigInt::New(isolate(), 42));
ExpectScriptTrue("result === 42n");
value = RoundTripTest(BigInt::New(isolate(), 0));
ExpectScriptTrue("result === 0n");
value = RoundTripTest("0x1234567890abcdef777888999n");
ExpectScriptTrue("result === 0x1234567890abcdef777888999n");
value = RoundTripTest("-0x1234567890abcdef777888999123n");
ExpectScriptTrue("result === -0x1234567890abcdef777888999123n");
Context::Scope scope(serialization_context());
value = RoundTripTest(BigIntObject::New(isolate(), 23));
ASSERT_TRUE(value->IsBigIntObject());
ExpectScriptTrue("result == 23n");
}
TEST_F(ValueSerializerTest, DecodeBigInt) {
Local<Value> value = DecodeTest({
0xFF, 0x0D, // Version 13
0x5A, // BigInt
0x08, // Bitfield: sign = false, bytelength = 4
0x2A, 0x00, 0x00, 0x00, // Digit: 42
});
ASSERT_TRUE(value->IsBigInt());
ExpectScriptTrue("result === 42n");
value = DecodeTest({
0xFF, 0x0D, // Version 13
0x7A, // BigIntObject
0x11, // Bitfield: sign = true, bytelength = 8
0x2A, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00 // Digit: 42
});
ASSERT_TRUE(value->IsBigIntObject());
ExpectScriptTrue("result == -42n");
value = DecodeTest({
0xFF, 0x0D, // Version 13
0x5A, // BigInt
0x10, // Bitfield: sign = false, bytelength = 8
0xEF, 0xCD, 0xAB, 0x90, 0x78, 0x56, 0x34, 0x12 // Digit(s).
});
ExpectScriptTrue("result === 0x1234567890abcdefn");
value = DecodeTest({0xFF, 0x0D, // Version 13
0x5A, // BigInt
0x17, // Bitfield: sign = true, bytelength = 11
0xEF, 0xCD, 0xAB, 0x90, // Digits.
0x78, 0x56, 0x34, 0x12, 0x33, 0x44, 0x55});
ExpectScriptTrue("result === -0x5544331234567890abcdefn");
value = DecodeTest({
0xFF, 0x0D, // Version 13
0x5A, // BigInt
0x02, // Bitfield: sign = false, bytelength = 1
0x2A, // Digit: 42
});
ExpectScriptTrue("result === 42n");
}
// String constants (in UTF-8) used for string encoding tests.
static const char kHelloString[] = "Hello";
static const char kQuebecString[] = "\x51\x75\xC3\xA9\x62\x65\x63";
static const char kEmojiString[] = "\xF0\x9F\x91\x8A";
TEST_F(ValueSerializerTest, RoundTripString) {
Local<Value> value = RoundTripTest(String::Empty(isolate()));
ASSERT_TRUE(value->IsString());
EXPECT_EQ(0, String::Cast(*value)->Length());
// Inside ASCII.
value = RoundTripTest(StringFromUtf8(kHelloString));
ASSERT_TRUE(value->IsString());
EXPECT_EQ(5, String::Cast(*value)->Length());
EXPECT_EQ(kHelloString, Utf8Value(value));
// Inside Latin-1 (i.e. one-byte string), but not ASCII.
value = RoundTripTest(StringFromUtf8(kQuebecString));
ASSERT_TRUE(value->IsString());
EXPECT_EQ(6, String::Cast(*value)->Length());
EXPECT_EQ(kQuebecString, Utf8Value(value));
// An emoji (decodes to two 16-bit chars).
value = RoundTripTest(StringFromUtf8(kEmojiString));
ASSERT_TRUE(value->IsString());
EXPECT_EQ(2, String::Cast(*value)->Length());
EXPECT_EQ(kEmojiString, Utf8Value(value));
}
TEST_F(ValueSerializerTest, DecodeString) {
// Decoding the strings above from UTF-8.
Local<Value> value = DecodeTest({0xFF, 0x09, 0x53, 0x00});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(0, String::Cast(*value)->Length());
value = DecodeTest({0xFF, 0x09, 0x53, 0x05, 'H', 'e', 'l', 'l', 'o'});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(5, String::Cast(*value)->Length());
EXPECT_EQ(kHelloString, Utf8Value(value));
value =
DecodeTest({0xFF, 0x09, 0x53, 0x07, 'Q', 'u', 0xC3, 0xA9, 'b', 'e', 'c'});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(6, String::Cast(*value)->Length());
EXPECT_EQ(kQuebecString, Utf8Value(value));
value = DecodeTest({0xFF, 0x09, 0x53, 0x04, 0xF0, 0x9F, 0x91, 0x8A});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(2, String::Cast(*value)->Length());
EXPECT_EQ(kEmojiString, Utf8Value(value));
// And from Latin-1 (for the ones that fit).
value = DecodeTest({0xFF, 0x0A, 0x22, 0x00});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(0, String::Cast(*value)->Length());
value = DecodeTest({0xFF, 0x0A, 0x22, 0x05, 'H', 'e', 'l', 'l', 'o'});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(5, String::Cast(*value)->Length());
EXPECT_EQ(kHelloString, Utf8Value(value));
value = DecodeTest({0xFF, 0x0A, 0x22, 0x06, 'Q', 'u', 0xE9, 'b', 'e', 'c'});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(6, String::Cast(*value)->Length());
EXPECT_EQ(kQuebecString, Utf8Value(value));
// And from two-byte strings (endianness dependent).
#if defined(V8_TARGET_LITTLE_ENDIAN)
value = DecodeTest({0xFF, 0x09, 0x63, 0x00});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(0, String::Cast(*value)->Length());
value = DecodeTest({0xFF, 0x09, 0x63, 0x0A, 'H', '\0', 'e', '\0', 'l', '\0',
'l', '\0', 'o', '\0'});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(5, String::Cast(*value)->Length());
EXPECT_EQ(kHelloString, Utf8Value(value));
value = DecodeTest({0xFF, 0x09, 0x63, 0x0C, 'Q', '\0', 'u', '\0', 0xE9, '\0',
'b', '\0', 'e', '\0', 'c', '\0'});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(6, String::Cast(*value)->Length());
EXPECT_EQ(kQuebecString, Utf8Value(value));
value = DecodeTest({0xFF, 0x09, 0x63, 0x04, 0x3D, 0xD8, 0x4A, 0xDC});
ASSERT_TRUE(value->IsString());
EXPECT_EQ(2, String::Cast(*value)->Length());
EXPECT_EQ(kEmojiString, Utf8Value(value));
#endif
// TODO(jbroman): The same for big-endian systems.
}
TEST_F(ValueSerializerTest, DecodeInvalidString) {
// UTF-8 string with too few bytes available.
InvalidDecodeTest({0xFF, 0x09, 0x53, 0x10, 'v', '8'});
// One-byte string with too few bytes available.
InvalidDecodeTest({0xFF, 0x0A, 0x22, 0x10, 'v', '8'});
#if defined(V8_TARGET_LITTLE_ENDIAN)
// Two-byte string with too few bytes available.
InvalidDecodeTest({0xFF, 0x09, 0x63, 0x10, 'v', '\0', '8', '\0'});
// Two-byte string with an odd byte length.
InvalidDecodeTest({0xFF, 0x09, 0x63, 0x03, 'v', '\0', '8'});
#endif
// TODO(jbroman): The same for big-endian systems.
}
TEST_F(ValueSerializerTest, EncodeTwoByteStringUsesPadding) {
// As long as the output has a version that Blink expects to be able to read,
// we must respect its alignment requirements. It requires that two-byte
// characters be aligned.
// We need a string whose length will take two bytes to encode, so that
// a padding byte is needed to keep the characters aligned. The string
// must also have a two-byte character, so that it gets the two-byte
// encoding.
std::string string(200, ' ');
string += kEmojiString;
const std::vector<uint8_t> data = EncodeTest(StringFromUtf8(string.c_str()));
// This is a sufficient but not necessary condition. This test assumes
// that the wire format version is one byte long, but is flexible to
// what that value may be.
const uint8_t expected_prefix[] = {0x00, 0x63, 0x94, 0x03};
ASSERT_GT(data.size(), sizeof(expected_prefix) + 2);
EXPECT_EQ(0xFF, data[0]);
EXPECT_GE(data[1], 0x09);
EXPECT_LE(data[1], 0x7F);
EXPECT_TRUE(std::equal(std::begin(expected_prefix), std::end(expected_prefix),
data.begin() + 2));
}
TEST_F(ValueSerializerTest, RoundTripDictionaryObject) {
// Empty object.
Local<Value> value = RoundTripTest("({})");
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("Object.getPrototypeOf(result) === Object.prototype");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 0");
// String key.
value = RoundTripTest("({ a: 42 })");
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result.hasOwnProperty('a')");
ExpectScriptTrue("result.a === 42");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 1");
// Integer key (treated as a string, but may be encoded differently).
value = RoundTripTest("({ 42: 'a' })");
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result.hasOwnProperty('42')");
ExpectScriptTrue("result[42] === 'a'");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 1");
// Key order must be preserved.
value = RoundTripTest("({ x: 1, y: 2, a: 3 })");
ExpectScriptTrue("Object.getOwnPropertyNames(result).toString() === 'x,y,a'");
// A harder case of enumeration order.
// Indexes first, in order (but not 2^32 - 1, which is not an index), then the
// remaining (string) keys, in the order they were defined.
value = RoundTripTest("({ a: 2, 0xFFFFFFFF: 1, 0xFFFFFFFE: 3, 1: 0 })");
ExpectScriptTrue(
"Object.getOwnPropertyNames(result).toString() === "
"'1,4294967294,a,4294967295'");
ExpectScriptTrue("result.a === 2");
ExpectScriptTrue("result[0xFFFFFFFF] === 1");
ExpectScriptTrue("result[0xFFFFFFFE] === 3");
ExpectScriptTrue("result[1] === 0");
// This detects a fairly subtle case: the object itself must be in the map
// before its properties are deserialized, so that references to it can be
// resolved.
value = RoundTripTest("var y = {}; y.self = y; y;");
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result === result.self");
}
TEST_F(ValueSerializerTest, DecodeDictionaryObject) {
// Empty object.
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x7B, 0x00, 0x00});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("Object.getPrototypeOf(result) === Object.prototype");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 0");
// String key.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x01,
0x61, 0x3F, 0x01, 0x49, 0x54, 0x7B, 0x01});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result.hasOwnProperty('a')");
ExpectScriptTrue("result.a === 42");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 1");
// Integer key (treated as a string, but may be encoded differently).
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x49, 0x54,
0x3F, 0x01, 0x53, 0x01, 0x61, 0x7B, 0x01});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result.hasOwnProperty('42')");
ExpectScriptTrue("result[42] === 'a'");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 1");
// Key order must be preserved.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x01,
0x78, 0x3F, 0x01, 0x49, 0x02, 0x3F, 0x01, 0x53, 0x01,
0x79, 0x3F, 0x01, 0x49, 0x04, 0x3F, 0x01, 0x53, 0x01,
0x61, 0x3F, 0x01, 0x49, 0x06, 0x7B, 0x03});
ExpectScriptTrue("Object.getOwnPropertyNames(result).toString() === 'x,y,a'");
// A harder case of enumeration order.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x49, 0x02,
0x3F, 0x01, 0x49, 0x00, 0x3F, 0x01, 0x55, 0xFE, 0xFF,
0xFF, 0xFF, 0x0F, 0x3F, 0x01, 0x49, 0x06, 0x3F, 0x01,
0x53, 0x01, 0x61, 0x3F, 0x01, 0x49, 0x04, 0x3F, 0x01,
0x53, 0x0A, 0x34, 0x32, 0x39, 0x34, 0x39, 0x36, 0x37,
0x32, 0x39, 0x35, 0x3F, 0x01, 0x49, 0x02, 0x7B, 0x04});
ExpectScriptTrue(
"Object.getOwnPropertyNames(result).toString() === "
"'1,4294967294,a,4294967295'");
ExpectScriptTrue("result.a === 2");
ExpectScriptTrue("result[0xFFFFFFFF] === 1");
ExpectScriptTrue("result[0xFFFFFFFE] === 3");
ExpectScriptTrue("result[1] === 0");
// This detects a fairly subtle case: the object itself must be in the map
// before its properties are deserialized, so that references to it can be
// resolved.
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x04, 0x73,
0x65, 0x6C, 0x66, 0x3F, 0x01, 0x5E, 0x00, 0x7B, 0x01, 0x00});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result === result.self");
}
TEST_F(ValueSerializerTest, InvalidDecodeObjectWithInvalidKeyType) {
// Objects which would need conversion to string shouldn't be present as
// object keys. The serializer would have obtained them from the own property
// keys list, which should only contain names and indices.
InvalidDecodeTest(
{0xFF, 0x09, 0x6F, 0x61, 0x00, 0x40, 0x00, 0x00, 0x7B, 0x01});
}
TEST_F(ValueSerializerTest, RoundTripOnlyOwnEnumerableStringKeys) {
// Only "own" properties should be serialized, not ones on the prototype.
Local<Value> value = RoundTripTest("var x = {}; x.__proto__ = {a: 4}; x;");
ExpectScriptTrue("!('a' in result)");
// Only enumerable properties should be serialized.
value = RoundTripTest(
"var x = {};"
"Object.defineProperty(x, 'a', {value: 1, enumerable: false});"
"x;");
ExpectScriptTrue("!('a' in result)");
// Symbol keys should not be serialized.
value = RoundTripTest("({ [Symbol()]: 4 })");
ExpectScriptTrue("Object.getOwnPropertySymbols(result).length === 0");
}
TEST_F(ValueSerializerTest, RoundTripTrickyGetters) {
// Keys are enumerated before any setters are called, but if there is no own
// property when the value is to be read, then it should not be serialized.
Local<Value> value =
RoundTripTest("({ get a() { delete this.b; return 1; }, b: 2 })");
ExpectScriptTrue("!('b' in result)");
// Keys added after the property enumeration should not be serialized.
value = RoundTripTest("({ get a() { this.b = 3; }})");
ExpectScriptTrue("!('b' in result)");
// But if you remove a key and add it back, that's fine. But it will appear in
// the original place in enumeration order.
value =
RoundTripTest("({ get a() { delete this.b; this.b = 4; }, b: 2, c: 3 })");
ExpectScriptTrue("Object.getOwnPropertyNames(result).toString() === 'a,b,c'");
ExpectScriptTrue("result.b === 4");
// Similarly, it only matters if a property was enumerable when the
// enumeration happened.
value = RoundTripTest(
"({ get a() {"
" Object.defineProperty(this, 'b', {value: 2, enumerable: false});"
"}, b: 1})");
ExpectScriptTrue("result.b === 2");
value = RoundTripTest(
"var x = {"
" get a() {"
" Object.defineProperty(this, 'b', {value: 2, enumerable: true});"
" }"
"};"
"Object.defineProperty(x, 'b',"
" {value: 1, enumerable: false, configurable: true});"
"x;");
ExpectScriptTrue("!('b' in result)");
// The property also should not be read if it can only be found on the
// prototype chain (but not as an own property) after enumeration.
value = RoundTripTest(
"var x = { get a() { delete this.b; }, b: 1 };"
"x.__proto__ = { b: 0 };"
"x;");
ExpectScriptTrue("!('b' in result)");
// If an exception is thrown by script, encoding must fail and the exception
// must be thrown.
Local<Message> message =
InvalidEncodeTest("({ get a() { throw new Error('sentinel'); } })");
ASSERT_FALSE(message.IsEmpty());
EXPECT_NE(std::string::npos, Utf8Value(message->Get()).find("sentinel"));
}
TEST_F(ValueSerializerTest, RoundTripDictionaryObjectForTransitions) {
// A case which should run on the fast path, and should reach all of the
// different cases:
// 1. no known transition (first time creating this kind of object)
// 2. expected transitions match to end
// 3. transition partially matches, but falls back due to new property 'w'
// 4. transition to 'z' is now a full transition (needs to be looked up)
// 5. same for 'w'
// 6. new property after complex transition succeeded
// 7. new property after complex transition failed (due to new property)
RoundTripJSON(
"[{\"x\":1,\"y\":2,\"z\":3}"
",{\"x\":4,\"y\":5,\"z\":6}"
",{\"x\":5,\"y\":6,\"w\":7}"
",{\"x\":6,\"y\":7,\"z\":8}"
",{\"x\":0,\"y\":0,\"w\":0}"
",{\"x\":3,\"y\":1,\"w\":4,\"z\":1}"
",{\"x\":5,\"y\":9,\"k\":2,\"z\":6}]");
// A simpler case that uses two-byte strings.
RoundTripJSON(
"[{\"\xF0\x9F\x91\x8A\":1,\"\xF0\x9F\x91\x8B\":2}"
",{\"\xF0\x9F\x91\x8A\":3,\"\xF0\x9F\x91\x8C\":4}"
",{\"\xF0\x9F\x91\x8A\":5,\"\xF0\x9F\x91\x9B\":6}]");
}
TEST_F(ValueSerializerTest, DecodeDictionaryObjectVersion0) {
// Empty object.
Local<Value> value = DecodeTestForVersion0({0x7B, 0x00});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("Object.getPrototypeOf(result) === Object.prototype");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 0");
// String key.
value =
DecodeTestForVersion0({0x53, 0x01, 0x61, 0x49, 0x54, 0x7B, 0x01, 0x00});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("Object.getPrototypeOf(result) === Object.prototype");
ExpectScriptTrue("result.hasOwnProperty('a')");
ExpectScriptTrue("result.a === 42");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 1");
// Integer key (treated as a string, but may be encoded differently).
value =
DecodeTestForVersion0({0x49, 0x54, 0x53, 0x01, 0x61, 0x7B, 0x01, 0x00});
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result.hasOwnProperty('42')");
ExpectScriptTrue("result[42] === 'a'");
ExpectScriptTrue("Object.getOwnPropertyNames(result).length === 1");
// Key order must be preserved.
value = DecodeTestForVersion0({0x53, 0x01, 0x78, 0x49, 0x02, 0x53, 0x01, 0x79,
0x49, 0x04, 0x53, 0x01, 0x61, 0x49, 0x06, 0x7B,
0x03, 0x00});
ExpectScriptTrue("Object.getOwnPropertyNames(result).toString() === 'x,y,a'");
// A property and an element.
value = DecodeTestForVersion0(
{0x49, 0x54, 0x53, 0x01, 0x61, 0x53, 0x01, 0x61, 0x49, 0x54, 0x7B, 0x02});
ExpectScriptTrue("Object.getOwnPropertyNames(result).toString() === '42,a'");
ExpectScriptTrue("result[42] === 'a'");
ExpectScriptTrue("result.a === 42");
}
TEST_F(ValueSerializerTest, RoundTripArray) {
// A simple array of integers.
Local<Value> value = RoundTripTest("[1, 2, 3, 4, 5]");
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(5u, Array::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Array.prototype");
ExpectScriptTrue("result.toString() === '1,2,3,4,5'");
// A long (sparse) array.
value = RoundTripTest("var x = new Array(1000); x[500] = 42; x;");
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[500] === 42");
// Duplicate reference.
value = RoundTripTest("var y = {}; [y, y];");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[0] === result[1]");
// Duplicate reference in a sparse array.
value = RoundTripTest("var x = new Array(1000); x[1] = x[500] = {}; x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("typeof result[1] === 'object'");
ExpectScriptTrue("result[1] === result[500]");
// Self reference.
value = RoundTripTest("var y = []; y[0] = y; y;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[0] === result");
// Self reference in a sparse array.
value = RoundTripTest("var y = new Array(1000); y[519] = y; y;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[519] === result");
// Array with additional properties.
value = RoundTripTest("var y = [1, 2]; y.foo = 'bar'; y;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("result.toString() === '1,2'");
ExpectScriptTrue("result.foo === 'bar'");
// Sparse array with additional properties.
value = RoundTripTest("var y = new Array(1000); y.foo = 'bar'; y;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result.toString() === ','.repeat(999)");
ExpectScriptTrue("result.foo === 'bar'");
// The distinction between holes and undefined elements must be maintained.
value = RoundTripTest("[,undefined]");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("typeof result[0] === 'undefined'");
ExpectScriptTrue("typeof result[1] === 'undefined'");
ExpectScriptTrue("!result.hasOwnProperty(0)");
ExpectScriptTrue("result.hasOwnProperty(1)");
}
TEST_F(ValueSerializerTest, DecodeArray) {
// A simple array of integers.
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x41, 0x05, 0x3F, 0x01, 0x49, 0x02,
0x3F, 0x01, 0x49, 0x04, 0x3F, 0x01, 0x49, 0x06, 0x3F, 0x01,
0x49, 0x08, 0x3F, 0x01, 0x49, 0x0A, 0x24, 0x00, 0x05, 0x00});
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(5u, Array::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Array.prototype");
ExpectScriptTrue("result.toString() === '1,2,3,4,5'");
// A long (sparse) array.
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x61, 0xE8, 0x07, 0x3F, 0x01, 0x49,
0xE8, 0x07, 0x3F, 0x01, 0x49, 0x54, 0x40, 0x01, 0xE8, 0x07});
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[500] === 42");
// Duplicate reference.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x41, 0x02, 0x3F, 0x01, 0x6F,
0x7B, 0x00, 0x3F, 0x02, 0x5E, 0x01, 0x24, 0x00, 0x02});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[0] === result[1]");
// Duplicate reference in a sparse array.
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x61, 0xE8, 0x07, 0x3F, 0x01, 0x49,
0x02, 0x3F, 0x01, 0x6F, 0x7B, 0x00, 0x3F, 0x02, 0x49, 0xE8,
0x07, 0x3F, 0x02, 0x5E, 0x01, 0x40, 0x02, 0xE8, 0x07, 0x00});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("typeof result[1] === 'object'");
ExpectScriptTrue("result[1] === result[500]");
// Self reference.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x41, 0x01, 0x3F, 0x01, 0x5E,
0x00, 0x24, 0x00, 0x01, 0x00});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[0] === result");
// Self reference in a sparse array.
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x61, 0xE8, 0x07, 0x3F, 0x01, 0x49,
0x8E, 0x08, 0x3F, 0x01, 0x5E, 0x00, 0x40, 0x01, 0xE8, 0x07});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[519] === result");
// Array with additional properties.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x41, 0x02, 0x3F, 0x01,
0x49, 0x02, 0x3F, 0x01, 0x49, 0x04, 0x3F, 0x01,
0x53, 0x03, 0x66, 0x6F, 0x6F, 0x3F, 0x01, 0x53,
0x03, 0x62, 0x61, 0x72, 0x24, 0x01, 0x02, 0x00});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("result.toString() === '1,2'");
ExpectScriptTrue("result.foo === 'bar'");
// Sparse array with additional properties.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x61, 0xE8, 0x07, 0x3F, 0x01,
0x53, 0x03, 0x66, 0x6F, 0x6F, 0x3F, 0x01, 0x53, 0x03,
0x62, 0x61, 0x72, 0x40, 0x01, 0xE8, 0x07, 0x00});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result.toString() === ','.repeat(999)");
ExpectScriptTrue("result.foo === 'bar'");
// The distinction between holes and undefined elements must be maintained.
// Note that since the previous output from Chrome fails this test, an
// encoding using the sparse format was constructed instead.
value =
DecodeTest({0xFF, 0x09, 0x61, 0x02, 0x49, 0x02, 0x5F, 0x40, 0x01, 0x02});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("typeof result[0] === 'undefined'");
ExpectScriptTrue("typeof result[1] === 'undefined'");
ExpectScriptTrue("!result.hasOwnProperty(0)");
ExpectScriptTrue("result.hasOwnProperty(1)");
}
TEST_F(ValueSerializerTest, DecodeInvalidOverLargeArray) {
// So large it couldn't exist in the V8 heap, and its size couldn't fit in a
// SMI on 32-bit systems (2^30).
InvalidDecodeTest({0xFF, 0x09, 0x41, 0x80, 0x80, 0x80, 0x80, 0x04});
// Not so large, but there isn't enough data left in the buffer.
InvalidDecodeTest({0xFF, 0x09, 0x41, 0x01});
}
TEST_F(ValueSerializerTest, RoundTripArrayWithNonEnumerableElement) {
// Even though this array looks like [1,5,3], the 5 should be missing from the
// perspective of structured clone, which only clones properties that were
// enumerable.
Local<Value> value = RoundTripTest(
"var x = [1,2,3];"
"Object.defineProperty(x, '1', {enumerable:false, value:5});"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(3u, Array::Cast(*value)->Length());
ExpectScriptTrue("!result.hasOwnProperty('1')");
}
TEST_F(ValueSerializerTest, RoundTripArrayWithTrickyGetters) {
// If an element is deleted before it is serialized, then it's deleted.
Local<Value> value =
RoundTripTest("var x = [{ get a() { delete x[1]; }}, 42]; x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("typeof result[1] === 'undefined'");
ExpectScriptTrue("!result.hasOwnProperty(1)");
// Same for sparse arrays.
value = RoundTripTest(
"var x = [{ get a() { delete x[1]; }}, 42];"
"x.length = 1000;"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("typeof result[1] === 'undefined'");
ExpectScriptTrue("!result.hasOwnProperty(1)");
// If the length is changed, then the resulting array still has the original
// length, but elements that were not yet serialized are gone.
value = RoundTripTest("var x = [1, { get a() { x.length = 0; }}, 3, 4]; x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(4u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[0] === 1");
ExpectScriptTrue("!result.hasOwnProperty(2)");
// The same is true if the length is shortened, but there are still items
// remaining.
value = RoundTripTest("var x = [1, { get a() { x.length = 3; }}, 3, 4]; x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(4u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[2] === 3");
ExpectScriptTrue("!result.hasOwnProperty(3)");
// Same for sparse arrays.
value = RoundTripTest(
"var x = [1, { get a() { x.length = 0; }}, 3, 4];"
"x.length = 1000;"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[0] === 1");
ExpectScriptTrue("!result.hasOwnProperty(2)");
value = RoundTripTest(
"var x = [1, { get a() { x.length = 3; }}, 3, 4];"
"x.length = 1000;"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[2] === 3");
ExpectScriptTrue("!result.hasOwnProperty(3)");
// If a getter makes a property non-enumerable, it should still be enumerated
// as enumeration happens once before getters are invoked.
value = RoundTripTest(
"var x = [{ get a() {"
" Object.defineProperty(x, '1', { value: 3, enumerable: false });"
"}}, 2];"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[1] === 3");
// Same for sparse arrays.
value = RoundTripTest(
"var x = [{ get a() {"
" Object.defineProperty(x, '1', { value: 3, enumerable: false });"
"}}, 2];"
"x.length = 1000;"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[1] === 3");
// Getters on the array itself must also run.
value = RoundTripTest(
"var x = [1, 2, 3];"
"Object.defineProperty(x, '1', { enumerable: true, get: () => 4 });"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(3u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[1] === 4");
// Same for sparse arrays.
value = RoundTripTest(
"var x = [1, 2, 3];"
"Object.defineProperty(x, '1', { enumerable: true, get: () => 4 });"
"x.length = 1000;"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("result[1] === 4");
// Even with a getter that deletes things, we don't read from the prototype.
value = RoundTripTest(
"var x = [{ get a() { delete x[1]; } }, 2];"
"x.__proto__ = Object.create(Array.prototype, { 1: { value: 6 } });"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("!(1 in result)");
// Same for sparse arrays.
value = RoundTripTest(
"var x = [{ get a() { delete x[1]; } }, 2];"
"x.__proto__ = Object.create(Array.prototype, { 1: { value: 6 } });"
"x.length = 1000;"
"x;");
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(1000u, Array::Cast(*value)->Length());
ExpectScriptTrue("!(1 in result)");
}
TEST_F(ValueSerializerTest, DecodeSparseArrayVersion0) {
// Empty (sparse) array.
Local<Value> value = DecodeTestForVersion0({0x40, 0x00, 0x00, 0x00});
ASSERT_TRUE(value->IsArray());
ASSERT_EQ(0u, Array::Cast(*value)->Length());
// Sparse array with a mixture of elements and properties.
value = DecodeTestForVersion0({0x55, 0x00, 0x53, 0x01, 'a', 0x55, 0x02, 0x55,
0x05, 0x53, 0x03, 'f', 'o', 'o', 0x53, 0x03,
'b', 'a', 'r', 0x53, 0x03, 'b', 'a', 'z',
0x49, 0x0B, 0x40, 0x04, 0x03, 0x00});
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(3u, Array::Cast(*value)->Length());
ExpectScriptTrue("result.toString() === 'a,,5'");
ExpectScriptTrue("!(1 in result)");
ExpectScriptTrue("result.foo === 'bar'");
ExpectScriptTrue("result.baz === -6");
// Sparse array in a sparse array (sanity check of nesting).
value = DecodeTestForVersion0(
{0x55, 0x01, 0x55, 0x01, 0x54, 0x40, 0x01, 0x02, 0x40, 0x01, 0x02, 0x00});
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(2u, Array::Cast(*value)->Length());
ExpectScriptTrue("!(0 in result)");
ExpectScriptTrue("result[1] instanceof Array");
ExpectScriptTrue("!(0 in result[1])");
ExpectScriptTrue("result[1][1] === true");
}
TEST_F(ValueSerializerTest, RoundTripDenseArrayContainingUndefined) {
// In previous serialization versions, this would be interpreted as an absent
// property.
Local<Value> value = RoundTripTest("[undefined]");
ASSERT_TRUE(value->IsArray());
EXPECT_EQ(1u, Array::Cast(*value)->Length());
ExpectScriptTrue("result.hasOwnProperty(0)");
ExpectScriptTrue("result[0] === undefined");
}
TEST_F(ValueSerializerTest, DecodeDenseArrayContainingUndefined) {
// In previous versions, "undefined" in a dense array signified absence of the
// element (for compatibility). In new versions, it has a separate encoding.
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x41, 0x01, 0x5F, 0x24, 0x00, 0x01});
ExpectScriptTrue("!(0 in result)");
value = DecodeTest({0xFF, 0x0B, 0x41, 0x01, 0x5F, 0x24, 0x00, 0x01});
ExpectScriptTrue("0 in result");
ExpectScriptTrue("result[0] === undefined");
value = DecodeTest({0xFF, 0x0B, 0x41, 0x01, 0x2D, 0x24, 0x00, 0x01});
ExpectScriptTrue("!(0 in result)");
}
TEST_F(ValueSerializerTest, RoundTripDate) {
Local<Value> value = RoundTripTest("new Date(1e6)");
ASSERT_TRUE(value->IsDate());
EXPECT_EQ(1e6, Date::Cast(*value)->ValueOf());
ExpectScriptTrue("Object.getPrototypeOf(result) === Date.prototype");
value = RoundTripTest("new Date(Date.UTC(1867, 6, 1))");
ASSERT_TRUE(value->IsDate());
ExpectScriptTrue("result.toISOString() === '1867-07-01T00:00:00.000Z'");
value = RoundTripTest("new Date(NaN)");
ASSERT_TRUE(value->IsDate());
EXPECT_TRUE(std::isnan(Date::Cast(*value)->ValueOf()));
value = RoundTripTest("({ a: new Date(), get b() { return this.a; } })");
ExpectScriptTrue("result.a instanceof Date");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTest, DecodeDate) {
Local<Value> value;
#if defined(V8_TARGET_LITTLE_ENDIAN)
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x44, 0x00, 0x00, 0x00, 0x00,
0x80, 0x84, 0x2E, 0x41, 0x00});
ASSERT_TRUE(value->IsDate());
EXPECT_EQ(1e6, Date::Cast(*value)->ValueOf());
ExpectScriptTrue("Object.getPrototypeOf(result) === Date.prototype");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x44, 0x00, 0x00, 0x20, 0x45,
0x27, 0x89, 0x87, 0xC2, 0x00});
ASSERT_TRUE(value->IsDate());
ExpectScriptTrue("result.toISOString() === '1867-07-01T00:00:00.000Z'");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x44, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0xF8, 0x7F, 0x00});
ASSERT_TRUE(value->IsDate());
EXPECT_TRUE(std::isnan(Date::Cast(*value)->ValueOf()));
#else
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x44, 0x41, 0x2E, 0x84, 0x80,
0x00, 0x00, 0x00, 0x00, 0x00});
ASSERT_TRUE(value->IsDate());
EXPECT_EQ(1e6, Date::Cast(*value)->ValueOf());
ExpectScriptTrue("Object.getPrototypeOf(result) === Date.prototype");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x44, 0xC2, 0x87, 0x89, 0x27,
0x45, 0x20, 0x00, 0x00, 0x00});
ASSERT_TRUE(value->IsDate());
ExpectScriptTrue("result.toISOString() === '1867-07-01T00:00:00.000Z'");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x44, 0x7F, 0xF8, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00});
ASSERT_TRUE(value->IsDate());
EXPECT_TRUE(std::isnan(Date::Cast(*value)->ValueOf()));
#endif
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53,
0x01, 0x61, 0x3F, 0x01, 0x44, 0x00, 0x20, 0x39,
0x50, 0x37, 0x6A, 0x75, 0x42, 0x3F, 0x02, 0x53,
0x01, 0x62, 0x3F, 0x02, 0x5E, 0x01, 0x7B, 0x02});
ExpectScriptTrue("result.a instanceof Date");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTest, RoundTripValueObjects) {
Local<Value> value = RoundTripTest("new Boolean(true)");
ExpectScriptTrue("Object.getPrototypeOf(result) === Boolean.prototype");
ExpectScriptTrue("result.valueOf() === true");
value = RoundTripTest("new Boolean(false)");
ExpectScriptTrue("Object.getPrototypeOf(result) === Boolean.prototype");
ExpectScriptTrue("result.valueOf() === false");
value =
RoundTripTest("({ a: new Boolean(true), get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof Boolean");
ExpectScriptTrue("result.a === result.b");
value = RoundTripTest("new Number(-42)");
ExpectScriptTrue("Object.getPrototypeOf(result) === Number.prototype");
ExpectScriptTrue("result.valueOf() === -42");
value = RoundTripTest("new Number(NaN)");
ExpectScriptTrue("Object.getPrototypeOf(result) === Number.prototype");
ExpectScriptTrue("Number.isNaN(result.valueOf())");
value = RoundTripTest("({ a: new Number(6), get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof Number");
ExpectScriptTrue("result.a === result.b");
value = RoundTripTest("new String('Qu\\xe9bec')");
ExpectScriptTrue("Object.getPrototypeOf(result) === String.prototype");
ExpectScriptTrue("result.valueOf() === 'Qu\\xe9bec'");
ExpectScriptTrue("result.length === 6");
value = RoundTripTest("new String('\\ud83d\\udc4a')");
ExpectScriptTrue("Object.getPrototypeOf(result) === String.prototype");
ExpectScriptTrue("result.valueOf() === '\\ud83d\\udc4a'");
ExpectScriptTrue("result.length === 2");
value = RoundTripTest("({ a: new String(), get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof String");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTest, RejectsOtherValueObjects) {
// This is a roundabout way of getting an instance of Symbol.
InvalidEncodeTest("Object.valueOf.apply(Symbol())");
}
TEST_F(ValueSerializerTest, DecodeValueObjects) {
Local<Value> value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x79, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === Boolean.prototype");
ExpectScriptTrue("result.valueOf() === true");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x78, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === Boolean.prototype");
ExpectScriptTrue("result.valueOf() === false");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53,
0x01, 0x61, 0x3F, 0x01, 0x79, 0x3F, 0x02, 0x53,
0x01, 0x62, 0x3F, 0x02, 0x5E, 0x01, 0x7B, 0x02});
ExpectScriptTrue("result.a instanceof Boolean");
ExpectScriptTrue("result.a === result.b");
#if defined(V8_TARGET_LITTLE_ENDIAN)
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6E, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x45, 0xC0, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === Number.prototype");
ExpectScriptTrue("result.valueOf() === -42");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6E, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0xF8, 0x7F, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === Number.prototype");
ExpectScriptTrue("Number.isNaN(result.valueOf())");
#else
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6E, 0xC0, 0x45, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === Number.prototype");
ExpectScriptTrue("result.valueOf() === -42");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6E, 0x7F, 0xF8, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === Number.prototype");
ExpectScriptTrue("Number.isNaN(result.valueOf())");
#endif
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53,
0x01, 0x61, 0x3F, 0x01, 0x6E, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x18, 0x40, 0x3F, 0x02, 0x53,
0x01, 0x62, 0x3F, 0x02, 0x5E, 0x01, 0x7B, 0x02});
ExpectScriptTrue("result.a instanceof Number");
ExpectScriptTrue("result.a === result.b");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x73, 0x07, 0x51, 0x75, 0xC3,
0xA9, 0x62, 0x65, 0x63, 0x00});
ExpectScriptTrue("Object.getPrototypeOf(result) === String.prototype");
ExpectScriptTrue("result.valueOf() === 'Qu\\xe9bec'");
ExpectScriptTrue("result.length === 6");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x73, 0x04, 0xF0, 0x9F, 0x91, 0x8A});
ExpectScriptTrue("Object.getPrototypeOf(result) === String.prototype");
ExpectScriptTrue("result.valueOf() === '\\ud83d\\udc4a'");
ExpectScriptTrue("result.length === 2");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x01,
0x61, 0x3F, 0x01, 0x73, 0x00, 0x3F, 0x02, 0x53, 0x01,
0x62, 0x3F, 0x02, 0x5E, 0x01, 0x7B, 0x02, 0x00});
ExpectScriptTrue("result.a instanceof String");
ExpectScriptTrue("result.a === result.b");
// String object containing a Latin-1 string.
value =
DecodeTest({0xFF, 0x0C, 0x73, 0x22, 0x06, 'Q', 'u', 0xE9, 'b', 'e', 'c'});
ExpectScriptTrue("Object.getPrototypeOf(result) === String.prototype");
ExpectScriptTrue("result.valueOf() === 'Qu\\xe9bec'");
ExpectScriptTrue("result.length === 6");
}
TEST_F(ValueSerializerTest, RoundTripRegExp) {
Local<Value> value = RoundTripTest("/foo/g");
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("Object.getPrototypeOf(result) === RegExp.prototype");
ExpectScriptTrue("result.toString() === '/foo/g'");
value = RoundTripTest("new RegExp('Qu\\xe9bec', 'i')");
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("result.toString() === '/Qu\\xe9bec/i'");
value = RoundTripTest("new RegExp('\\ud83d\\udc4a', 'ug')");
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("result.toString() === '/\\ud83d\\udc4a/gu'");
value = RoundTripTest("({ a: /foo/gi, get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof RegExp");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTest, DecodeRegExp) {
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x52, 0x03, 0x66, 0x6F, 0x6F, 0x01});
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("Object.getPrototypeOf(result) === RegExp.prototype");
ExpectScriptTrue("result.toString() === '/foo/g'");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x52, 0x07, 0x51, 0x75, 0xC3,
0xA9, 0x62, 0x65, 0x63, 0x02});
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("result.toString() === '/Qu\\xe9bec/i'");
value = DecodeTest(
{0xFF, 0x09, 0x3F, 0x00, 0x52, 0x04, 0xF0, 0x9F, 0x91, 0x8A, 0x11, 0x00});
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("result.toString() === '/\\ud83d\\udc4a/gu'");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x01, 0x61,
0x3F, 0x01, 0x52, 0x03, 0x66, 0x6F, 0x6F, 0x03, 0x3F, 0x02,
0x53, 0x01, 0x62, 0x3F, 0x02, 0x5E, 0x01, 0x7B, 0x02, 0x00});
ExpectScriptTrue("result.a instanceof RegExp");
ExpectScriptTrue("result.a === result.b");
// RegExp containing a Latin-1 string.
value = DecodeTest(
{0xFF, 0x0C, 0x52, 0x22, 0x06, 'Q', 'u', 0xE9, 'b', 'e', 'c', 0x02});
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("result.toString() === '/Qu\\xe9bec/i'");
}
// Tests that invalid flags are not accepted by the deserializer.
TEST_F(ValueSerializerTest, DecodeRegExpDotAll) {
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x52, 0x03, 0x66, 0x6F, 0x6F, 0x1F});
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("Object.getPrototypeOf(result) === RegExp.prototype");
ExpectScriptTrue("result.toString() === '/foo/gimuy'");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x52, 0x03, 0x66, 0x6F, 0x6F, 0x3F});
ASSERT_TRUE(value->IsRegExp());
ExpectScriptTrue("Object.getPrototypeOf(result) === RegExp.prototype");
ExpectScriptTrue("result.toString() === '/foo/gimsuy'");
InvalidDecodeTest(
{0xFF, 0x09, 0x3F, 0x00, 0x52, 0x03, 0x66, 0x6F, 0x6F, 0x7F});
}
TEST_F(ValueSerializerTest, RoundTripMap) {
Local<Value> value = RoundTripTest("var m = new Map(); m.set(42, 'foo'); m;");
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("Object.getPrototypeOf(result) === Map.prototype");
ExpectScriptTrue("result.size === 1");
ExpectScriptTrue("result.get(42) === 'foo'");
value = RoundTripTest("var m = new Map(); m.set(m, m); m;");
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("result.size === 1");
ExpectScriptTrue("result.get(result) === result");
// Iteration order must be preserved.
value = RoundTripTest(
"var m = new Map();"
"m.set(1, 0); m.set('a', 0); m.set(3, 0); m.set(2, 0);"
"m;");
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("Array.from(result.keys()).toString() === '1,a,3,2'");
}
TEST_F(ValueSerializerTest, DecodeMap) {
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3B, 0x3F, 0x01, 0x49, 0x54, 0x3F,
0x01, 0x53, 0x03, 0x66, 0x6F, 0x6F, 0x3A, 0x02});
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("Object.getPrototypeOf(result) === Map.prototype");
ExpectScriptTrue("result.size === 1");
ExpectScriptTrue("result.get(42) === 'foo'");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3B, 0x3F, 0x01, 0x5E, 0x00,
0x3F, 0x01, 0x5E, 0x00, 0x3A, 0x02, 0x00});
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("result.size === 1");
ExpectScriptTrue("result.get(result) === result");
// Iteration order must be preserved.
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3B, 0x3F, 0x01, 0x49, 0x02, 0x3F,
0x01, 0x49, 0x00, 0x3F, 0x01, 0x53, 0x01, 0x61, 0x3F, 0x01,
0x49, 0x00, 0x3F, 0x01, 0x49, 0x06, 0x3F, 0x01, 0x49, 0x00,
0x3F, 0x01, 0x49, 0x04, 0x3F, 0x01, 0x49, 0x00, 0x3A, 0x08});
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("Array.from(result.keys()).toString() === '1,a,3,2'");
}
TEST_F(ValueSerializerTest, RoundTripMapWithTrickyGetters) {
// Even if an entry is removed or reassigned, the original key/value pair is
// used.
Local<Value> value = RoundTripTest(
"var m = new Map();"
"m.set(0, { get a() {"
" m.delete(1); m.set(2, 'baz'); m.set(3, 'quux');"
"}});"
"m.set(1, 'foo');"
"m.set(2, 'bar');"
"m;");
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("Array.from(result.keys()).toString() === '0,1,2'");
ExpectScriptTrue("result.get(1) === 'foo'");
ExpectScriptTrue("result.get(2) === 'bar'");
// However, deeper modifications of objects yet to be serialized still apply.
value = RoundTripTest(
"var m = new Map();"
"var key = { get a() { value.foo = 'bar'; } };"
"var value = { get a() { key.baz = 'quux'; } };"
"m.set(key, value);"
"m;");
ASSERT_TRUE(value->IsMap());
ExpectScriptTrue("!('baz' in Array.from(result.keys())[0])");
ExpectScriptTrue("Array.from(result.values())[0].foo === 'bar'");
}
TEST_F(ValueSerializerTest, RoundTripSet) {
Local<Value> value =
RoundTripTest("var s = new Set(); s.add(42); s.add('foo'); s;");
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("Object.getPrototypeOf(result) === Set.prototype");
ExpectScriptTrue("result.size === 2");
ExpectScriptTrue("result.has(42)");
ExpectScriptTrue("result.has('foo')");
value = RoundTripTest("var s = new Set(); s.add(s); s;");
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("result.size === 1");
ExpectScriptTrue("result.has(result)");
// Iteration order must be preserved.
value = RoundTripTest(
"var s = new Set();"
"s.add(1); s.add('a'); s.add(3); s.add(2);"
"s;");
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("Array.from(result.keys()).toString() === '1,a,3,2'");
}
TEST_F(ValueSerializerTest, DecodeSet) {
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x27, 0x3F, 0x01, 0x49, 0x54, 0x3F,
0x01, 0x53, 0x03, 0x66, 0x6F, 0x6F, 0x2C, 0x02});
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("Object.getPrototypeOf(result) === Set.prototype");
ExpectScriptTrue("result.size === 2");
ExpectScriptTrue("result.has(42)");
ExpectScriptTrue("result.has('foo')");
value = DecodeTest(
{0xFF, 0x09, 0x3F, 0x00, 0x27, 0x3F, 0x01, 0x5E, 0x00, 0x2C, 0x01, 0x00});
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("result.size === 1");
ExpectScriptTrue("result.has(result)");
// Iteration order must be preserved.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x27, 0x3F, 0x01, 0x49,
0x02, 0x3F, 0x01, 0x53, 0x01, 0x61, 0x3F, 0x01,
0x49, 0x06, 0x3F, 0x01, 0x49, 0x04, 0x2C, 0x04});
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("Array.from(result.keys()).toString() === '1,a,3,2'");
}
TEST_F(ValueSerializerTest, RoundTripSetWithTrickyGetters) {
// Even if an element is added or removed during serialization, the original
// set of elements is used.
Local<Value> value = RoundTripTest(
"var s = new Set();"
"s.add({ get a() { s.delete(1); s.add(2); } });"
"s.add(1);"
"s;");
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue(
"Array.from(result.keys()).toString() === '[object Object],1'");
// However, deeper modifications of objects yet to be serialized still apply.
value = RoundTripTest(
"var s = new Set();"
"var first = { get a() { second.foo = 'bar'; } };"
"var second = { get a() { first.baz = 'quux'; } };"
"s.add(first);"
"s.add(second);"
"s;");
ASSERT_TRUE(value->IsSet());
ExpectScriptTrue("!('baz' in Array.from(result.keys())[0])");
ExpectScriptTrue("Array.from(result.keys())[1].foo === 'bar'");
}
TEST_F(ValueSerializerTest, RoundTripArrayBuffer) {
Local<Value> value = RoundTripTest("new ArrayBuffer()");
ASSERT_TRUE(value->IsArrayBuffer());
EXPECT_EQ(0u, ArrayBuffer::Cast(*value)->ByteLength());
ExpectScriptTrue("Object.getPrototypeOf(result) === ArrayBuffer.prototype");
value = RoundTripTest("new Uint8Array([0, 128, 255]).buffer");
ASSERT_TRUE(value->IsArrayBuffer());
EXPECT_EQ(3u, ArrayBuffer::Cast(*value)->ByteLength());
ExpectScriptTrue("new Uint8Array(result).toString() === '0,128,255'");
value =
RoundTripTest("({ a: new ArrayBuffer(), get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof ArrayBuffer");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTest, DecodeArrayBuffer) {
Local<Value> value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x42, 0x00});
ASSERT_TRUE(value->IsArrayBuffer());
EXPECT_EQ(0u, ArrayBuffer::Cast(*value)->ByteLength());
ExpectScriptTrue("Object.getPrototypeOf(result) === ArrayBuffer.prototype");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x42, 0x03, 0x00, 0x80, 0xFF, 0x00});
ASSERT_TRUE(value->IsArrayBuffer());
EXPECT_EQ(3u, ArrayBuffer::Cast(*value)->ByteLength());
ExpectScriptTrue("new Uint8Array(result).toString() === '0,128,255'");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x01,
0x61, 0x3F, 0x01, 0x42, 0x00, 0x3F, 0x02, 0x53, 0x01,
0x62, 0x3F, 0x02, 0x5E, 0x01, 0x7B, 0x02, 0x00});
ExpectScriptTrue("result.a instanceof ArrayBuffer");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTest, DecodeInvalidArrayBuffer) {
InvalidDecodeTest({0xFF, 0x09, 0x42, 0xFF, 0xFF, 0x00});
}
// An array buffer allocator that never has available memory.
class OOMArrayBufferAllocator : public ArrayBuffer::Allocator {
public:
void* Allocate(size_t) override { return nullptr; }
void* AllocateUninitialized(size_t) override { return nullptr; }
void Free(void*, size_t) override {}
};
TEST_F(ValueSerializerTest, DecodeArrayBufferOOM) {
// This test uses less of the harness, because it has to customize the
// isolate.
OOMArrayBufferAllocator allocator;
Isolate::CreateParams params;
params.array_buffer_allocator = &allocator;
Isolate* isolate = Isolate::New(params);
{
Isolate::Scope isolate_scope(isolate);
HandleScope handle_scope(isolate);
Local<Context> context = Context::New(isolate);
Context::Scope context_scope(context);
TryCatch try_catch(isolate);
const std::vector<uint8_t> data = {0xFF, 0x09, 0x3F, 0x00, 0x42,
0x03, 0x00, 0x80, 0xFF, 0x00};
ValueDeserializer deserializer(isolate, &data[0],
static_cast<int>(data.size()), nullptr);
deserializer.SetSupportsLegacyWireFormat(true);
ASSERT_TRUE(deserializer.ReadHeader(context).FromMaybe(false));
ASSERT_FALSE(try_catch.HasCaught());
EXPECT_TRUE(deserializer.ReadValue(context).IsEmpty());
EXPECT_TRUE(try_catch.HasCaught());
}
isolate->Dispose();
}
// Includes an ArrayBuffer wrapper marked for transfer from the serialization
// context to the deserialization context.
class ValueSerializerTestWithArrayBufferTransfer : public ValueSerializerTest {
protected:
static const size_t kTestByteLength = 4;
ValueSerializerTestWithArrayBufferTransfer() {
{
Context::Scope scope(serialization_context());
input_buffer_ = ArrayBuffer::New(isolate(), nullptr, 0);
}
{
Context::Scope scope(deserialization_context());
output_buffer_ = ArrayBuffer::New(isolate(), kTestByteLength);
const uint8_t data[kTestByteLength] = {0x00, 0x01, 0x80, 0xFF};
memcpy(output_buffer_->GetContents().Data(), data, kTestByteLength);
}
}
const Local<ArrayBuffer>& input_buffer() { return input_buffer_; }
const Local<ArrayBuffer>& output_buffer() { return output_buffer_; }
void BeforeEncode(ValueSerializer* serializer) override {
serializer->TransferArrayBuffer(0, input_buffer_);
}
void BeforeDecode(ValueDeserializer* deserializer) override {
deserializer->TransferArrayBuffer(0, output_buffer_);
}
private:
Local<ArrayBuffer> input_buffer_;
Local<ArrayBuffer> output_buffer_;
};
TEST_F(ValueSerializerTestWithArrayBufferTransfer,
RoundTripArrayBufferTransfer) {
Local<Value> value = RoundTripTest(input_buffer());
ASSERT_TRUE(value->IsArrayBuffer());
EXPECT_EQ(output_buffer(), value);
ExpectScriptTrue("new Uint8Array(result).toString() === '0,1,128,255'");
Local<Object> object;
{
Context::Scope scope(serialization_context());
object = Object::New(isolate());
EXPECT_TRUE(object
->CreateDataProperty(serialization_context(),
StringFromUtf8("a"), input_buffer())
.FromMaybe(false));
EXPECT_TRUE(object
->CreateDataProperty(serialization_context(),
StringFromUtf8("b"), input_buffer())
.FromMaybe(false));
}
value = RoundTripTest(object);
ExpectScriptTrue("result.a instanceof ArrayBuffer");
ExpectScriptTrue("result.a === result.b");
ExpectScriptTrue("new Uint8Array(result.a).toString() === '0,1,128,255'");
}
TEST_F(ValueSerializerTest, RoundTripTypedArray) {
// Check that the right type comes out the other side for every kind of typed
// array.
Local<Value> value;
#define TYPED_ARRAY_ROUND_TRIP_TEST(Type, type, TYPE, ctype) \
value = RoundTripTest("new " #Type "Array(2)"); \
ASSERT_TRUE(value->Is##Type##Array()); \
EXPECT_EQ(2u * sizeof(ctype), TypedArray::Cast(*value)->ByteLength()); \
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length()); \
ExpectScriptTrue("Object.getPrototypeOf(result) === " #Type \
"Array.prototype");
TYPED_ARRAYS(TYPED_ARRAY_ROUND_TRIP_TEST)
#undef TYPED_ARRAY_ROUND_TRIP_TEST
// Check that values of various kinds are suitably preserved.
value = RoundTripTest("new Uint8Array([1, 128, 255])");
ExpectScriptTrue("result.toString() === '1,128,255'");
value = RoundTripTest("new Int16Array([0, 256, -32768])");
ExpectScriptTrue("result.toString() === '0,256,-32768'");
value = RoundTripTest("new Float32Array([0, -0.5, NaN, Infinity])");
ExpectScriptTrue("result.toString() === '0,-0.5,NaN,Infinity'");
// Array buffer views sharing a buffer should do so on the other side.
// Similarly, multiple references to the same typed array should be resolved.
value = RoundTripTest(
"var buffer = new ArrayBuffer(32);"
"({"
" u8: new Uint8Array(buffer),"
" get u8_2() { return this.u8; },"
" f32: new Float32Array(buffer, 4, 5),"
" b: buffer,"
"});");
ExpectScriptTrue("result.u8 instanceof Uint8Array");
ExpectScriptTrue("result.u8 === result.u8_2");
ExpectScriptTrue("result.f32 instanceof Float32Array");
ExpectScriptTrue("result.u8.buffer === result.f32.buffer");
ExpectScriptTrue("result.f32.byteOffset === 4");
ExpectScriptTrue("result.f32.length === 5");
}
TEST_F(ValueSerializerTest, DecodeTypedArray) {
// Check that the right type comes out the other side for every kind of typed
// array.
Local<Value> value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42,
0x02, 0x00, 0x00, 0x56, 0x42, 0x00, 0x02});
ASSERT_TRUE(value->IsUint8Array());
EXPECT_EQ(2u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Uint8Array.prototype");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x02, 0x00,
0x00, 0x56, 0x62, 0x00, 0x02});
ASSERT_TRUE(value->IsInt8Array());
EXPECT_EQ(2u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Int8Array.prototype");
#if defined(V8_TARGET_LITTLE_ENDIAN)
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x04, 0x00,
0x00, 0x00, 0x00, 0x56, 0x57, 0x00, 0x04});
ASSERT_TRUE(value->IsUint16Array());
EXPECT_EQ(4u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Uint16Array.prototype");
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x04, 0x00,
0x00, 0x00, 0x00, 0x56, 0x77, 0x00, 0x04});
ASSERT_TRUE(value->IsInt16Array());
EXPECT_EQ(4u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Int16Array.prototype");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x08, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x56, 0x44, 0x00, 0x08});
ASSERT_TRUE(value->IsUint32Array());
EXPECT_EQ(8u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Uint32Array.prototype");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x08, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x56, 0x64, 0x00, 0x08});
ASSERT_TRUE(value->IsInt32Array());
EXPECT_EQ(8u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Int32Array.prototype");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x08, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x56, 0x66, 0x00, 0x08});
ASSERT_TRUE(value->IsFloat32Array());
EXPECT_EQ(8u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Float32Array.prototype");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x10, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x56, 0x46, 0x00, 0x10});
ASSERT_TRUE(value->IsFloat64Array());
EXPECT_EQ(16u, TypedArray::Cast(*value)->ByteLength());
EXPECT_EQ(2u, TypedArray::Cast(*value)->Length());
ExpectScriptTrue("Object.getPrototypeOf(result) === Float64Array.prototype");
#endif // V8_TARGET_LITTLE_ENDIAN
// Check that values of various kinds are suitably preserved.
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x03, 0x01,
0x80, 0xFF, 0x56, 0x42, 0x00, 0x03, 0x00});
ExpectScriptTrue("result.toString() === '1,128,255'");
#if defined(V8_TARGET_LITTLE_ENDIAN)
value = DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x06, 0x00,
0x00, 0x00, 0x01, 0x00, 0x80, 0x56, 0x77, 0x00, 0x06});
ExpectScriptTrue("result.toString() === '0,256,-32768'");
value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x10, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0xBF, 0x00, 0x00, 0xC0, 0x7F,
0x00, 0x00, 0x80, 0x7F, 0x56, 0x66, 0x00, 0x10});
ExpectScriptTrue("result.toString() === '0,-0.5,NaN,Infinity'");
#endif // V8_TARGET_LITTLE_ENDIAN
// Array buffer views sharing a buffer should do so on the other side.
// Similarly, multiple references to the same typed array should be resolved.
value = DecodeTest(
{0xFF, 0x09, 0x3F, 0x00, 0x6F, 0x3F, 0x01, 0x53, 0x02, 0x75, 0x38, 0x3F,
0x01, 0x3F, 0x01, 0x42, 0x20, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x56, 0x42, 0x00, 0x20, 0x3F, 0x03, 0x53, 0x04, 0x75, 0x38, 0x5F,
0x32, 0x3F, 0x03, 0x5E, 0x02, 0x3F, 0x03, 0x53, 0x03, 0x66, 0x33, 0x32,
0x3F, 0x03, 0x3F, 0x03, 0x5E, 0x01, 0x56, 0x66, 0x04, 0x14, 0x3F, 0x04,
0x53, 0x01, 0x62, 0x3F, 0x04, 0x5E, 0x01, 0x7B, 0x04, 0x00});
ExpectScriptTrue("result.u8 instanceof Uint8Array");
ExpectScriptTrue("result.u8 === result.u8_2");
ExpectScriptTrue("result.f32 instanceof Float32Array");
ExpectScriptTrue("result.u8.buffer === result.f32.buffer");
ExpectScriptTrue("result.f32.byteOffset === 4");
ExpectScriptTrue("result.f32.length === 5");
}
TEST_F(ValueSerializerTest, DecodeInvalidTypedArray) {
// Byte offset out of range.
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x02, 0x00, 0x00, 0x56, 0x42, 0x03, 0x01});
// Byte offset in range, offset + length out of range.
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x02, 0x00, 0x00, 0x56, 0x42, 0x01, 0x03});
// Byte offset not divisible by element size.
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x04, 0x00, 0x00, 0x00, 0x00, 0x56, 0x77, 0x01, 0x02});
// Byte length not divisible by element size.
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x04, 0x00, 0x00, 0x00, 0x00, 0x56, 0x77, 0x02, 0x01});
// Invalid view type (0xFF).
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x02, 0x00, 0x00, 0x56, 0xFF, 0x01, 0x01});
}
TEST_F(ValueSerializerTest, RoundTripDataView) {
Local<Value> value = RoundTripTest("new DataView(new ArrayBuffer(4), 1, 2)");
ASSERT_TRUE(value->IsDataView());
EXPECT_EQ(1u, DataView::Cast(*value)->ByteOffset());
EXPECT_EQ(2u, DataView::Cast(*value)->ByteLength());
EXPECT_EQ(4u, DataView::Cast(*value)->Buffer()->ByteLength());
ExpectScriptTrue("Object.getPrototypeOf(result) === DataView.prototype");
}
TEST_F(ValueSerializerTest, DecodeDataView) {
Local<Value> value =
DecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x3F, 0x00, 0x42, 0x04, 0x00, 0x00,
0x00, 0x00, 0x56, 0x3F, 0x01, 0x02});
ASSERT_TRUE(value->IsDataView());
EXPECT_EQ(1u, DataView::Cast(*value)->ByteOffset());
EXPECT_EQ(2u, DataView::Cast(*value)->ByteLength());
EXPECT_EQ(4u, DataView::Cast(*value)->Buffer()->ByteLength());
ExpectScriptTrue("Object.getPrototypeOf(result) === DataView.prototype");
}
TEST_F(ValueSerializerTest, DecodeArrayWithLengthProperty1) {
InvalidDecodeTest({0xff, 0x0d, 0x41, 0x03, 0x49, 0x02, 0x49, 0x04,
0x49, 0x06, 0x22, 0x06, 0x6c, 0x65, 0x6e, 0x67,
0x74, 0x68, 0x49, 0x02, 0x24, 0x01, 0x03});
}
TEST_F(ValueSerializerTest, DecodeArrayWithLengthProperty2) {
InvalidDecodeTest({0xff, 0x0d, 0x41, 0x03, 0x49, 0x02, 0x49, 0x04,
0x49, 0x06, 0x22, 0x06, 0x6c, 0x65, 0x6e, 0x67,
0x74, 0x68, 0x6f, 0x7b, 0x00, 0x24, 0x01, 0x03});
}
TEST_F(ValueSerializerTest, DecodeInvalidDataView) {
// Byte offset out of range.
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x02, 0x00, 0x00, 0x56, 0x3F, 0x03, 0x01});
// Byte offset in range, offset + length out of range.
InvalidDecodeTest(
{0xFF, 0x09, 0x42, 0x02, 0x00, 0x00, 0x56, 0x3F, 0x01, 0x03});
}
class ValueSerializerTestWithSharedArrayBufferClone
: public ValueSerializerTest {
protected:
ValueSerializerTestWithSharedArrayBufferClone()
: serializer_delegate_(this), deserializer_delegate_(this) {}
void InitializeData(const std::vector<uint8_t>& data) {
data_ = data;
{
Context::Scope scope(serialization_context());
input_buffer_ =
SharedArrayBuffer::New(isolate(), data_.data(), data_.size());
}
{
Context::Scope scope(deserialization_context());
output_buffer_ =
SharedArrayBuffer::New(isolate(), data_.data(), data_.size());
}
}
const Local<SharedArrayBuffer>& input_buffer() { return input_buffer_; }
const Local<SharedArrayBuffer>& output_buffer() { return output_buffer_; }
static void SetUpTestCase() {
flag_was_enabled_ = i::FLAG_harmony_sharedarraybuffer;
i::FLAG_harmony_sharedarraybuffer = true;
ValueSerializerTest::SetUpTestCase();
}
static void TearDownTestCase() {
ValueSerializerTest::TearDownTestCase();
i::FLAG_harmony_sharedarraybuffer = flag_was_enabled_;
flag_was_enabled_ = false;
}
protected:
// GMock doesn't use the "override" keyword.
#if __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Winconsistent-missing-override"
#endif
class SerializerDelegate : public ValueSerializer::Delegate {
public:
explicit SerializerDelegate(
ValueSerializerTestWithSharedArrayBufferClone* test)
: test_(test) {}
MOCK_METHOD2(GetSharedArrayBufferId,
Maybe<uint32_t>(Isolate* isolate,
Local<SharedArrayBuffer> shared_array_buffer));
MOCK_METHOD2(GetSharedArrayBufferFromId,
MaybeLocal<SharedArrayBuffer>(Isolate* isolate, uint32_t id));
void ThrowDataCloneError(Local<String> message) override {
test_->isolate()->ThrowException(Exception::Error(message));
}
private:
ValueSerializerTestWithSharedArrayBufferClone* test_;
};
class DeserializerDelegate : public ValueDeserializer::Delegate {
public:
explicit DeserializerDelegate(
ValueSerializerTestWithSharedArrayBufferClone* test) {}
MOCK_METHOD2(GetSharedArrayBufferFromId,
MaybeLocal<SharedArrayBuffer>(Isolate* isolate, uint32_t id));
};
#if __clang__
#pragma clang diagnostic pop
#endif
ValueSerializer::Delegate* GetSerializerDelegate() override {
return &serializer_delegate_;
}
ValueDeserializer::Delegate* GetDeserializerDelegate() override {
return &deserializer_delegate_;
}
SerializerDelegate serializer_delegate_;
DeserializerDelegate deserializer_delegate_;
private:
static bool flag_was_enabled_;
std::vector<uint8_t> data_;
Local<SharedArrayBuffer> input_buffer_;
Local<SharedArrayBuffer> output_buffer_;
};
bool ValueSerializerTestWithSharedArrayBufferClone::flag_was_enabled_ = false;
TEST_F(ValueSerializerTestWithSharedArrayBufferClone,
RoundTripSharedArrayBufferClone) {
InitializeData({0x00, 0x01, 0x80, 0xFF});
EXPECT_CALL(serializer_delegate_,
GetSharedArrayBufferId(isolate(), input_buffer()))
.WillRepeatedly(Return(Just(0U)));
EXPECT_CALL(deserializer_delegate_, GetSharedArrayBufferFromId(isolate(), 0U))
.WillRepeatedly(Return(output_buffer()));
Local<Value> value = RoundTripTest(input_buffer());
ASSERT_TRUE(value->IsSharedArrayBuffer());
EXPECT_EQ(output_buffer(), value);
ExpectScriptTrue("new Uint8Array(result).toString() === '0,1,128,255'");
Local<Object> object;
{
Context::Scope scope(serialization_context());
object = Object::New(isolate());
EXPECT_TRUE(object
->CreateDataProperty(serialization_context(),
StringFromUtf8("a"), input_buffer())
.FromMaybe(false));
EXPECT_TRUE(object
->CreateDataProperty(serialization_context(),
StringFromUtf8("b"), input_buffer())
.FromMaybe(false));
}
value = RoundTripTest(object);
ExpectScriptTrue("result.a instanceof SharedArrayBuffer");
ExpectScriptTrue("result.a === result.b");
ExpectScriptTrue("new Uint8Array(result.a).toString() === '0,1,128,255'");
}
TEST_F(ValueSerializerTestWithSharedArrayBufferClone,
RoundTripWebAssemblyMemory) {
bool flag_was_enabled = i::FLAG_experimental_wasm_threads;
i::FLAG_experimental_wasm_threads = true;
std::vector<uint8_t> data = {0x00, 0x01, 0x80, 0xFF};
data.resize(65536);
InitializeData(data);
EXPECT_CALL(serializer_delegate_,
GetSharedArrayBufferId(isolate(), input_buffer()))
.WillRepeatedly(Return(Just(0U)));
EXPECT_CALL(deserializer_delegate_, GetSharedArrayBufferFromId(isolate(), 0U))
.WillRepeatedly(Return(output_buffer()));
Local<Value> input;
{
Context::Scope scope(serialization_context());
const int32_t kMaxPages = 1;
i::Isolate* i_isolate = reinterpret_cast<i::Isolate*>(isolate());
i::Handle<i::JSArrayBuffer> obj = Utils::OpenHandle(*input_buffer());
input = Utils::Convert<i::WasmMemoryObject, Value>(
i::WasmMemoryObject::New(i_isolate, obj, kMaxPages));
}
RoundTripTest(input);
ExpectScriptTrue("result instanceof WebAssembly.Memory");
ExpectScriptTrue("result.buffer.byteLength === 65536");
ExpectScriptTrue(
"new Uint8Array(result.buffer, 0, 4).toString() === '0,1,128,255'");
i::FLAG_experimental_wasm_threads = flag_was_enabled;
}
TEST_F(ValueSerializerTest, UnsupportedHostObject) {
InvalidEncodeTest("new ExampleHostObject()");
InvalidEncodeTest("({ a: new ExampleHostObject() })");
}
class ValueSerializerTestWithHostObject : public ValueSerializerTest {
protected:
ValueSerializerTestWithHostObject() : serializer_delegate_(this) {}
static const uint8_t kExampleHostObjectTag;
void WriteExampleHostObjectTag() {
serializer_->WriteRawBytes(&kExampleHostObjectTag, 1);
}
bool ReadExampleHostObjectTag() {
const void* tag;
return deserializer_->ReadRawBytes(1, &tag) &&
*reinterpret_cast<const uint8_t*>(tag) == kExampleHostObjectTag;
}
// GMock doesn't use the "override" keyword.
#if __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Winconsistent-missing-override"
#endif
class SerializerDelegate : public ValueSerializer::Delegate {
public:
explicit SerializerDelegate(ValueSerializerTestWithHostObject* test)
: test_(test) {}
MOCK_METHOD2(WriteHostObject,
Maybe<bool>(Isolate* isolate, Local<Object> object));
void ThrowDataCloneError(Local<String> message) override {
test_->isolate()->ThrowException(Exception::Error(message));
}
private:
ValueSerializerTestWithHostObject* test_;
};
class DeserializerDelegate : public ValueDeserializer::Delegate {
public:
MOCK_METHOD1(ReadHostObject, MaybeLocal<Object>(Isolate* isolate));
};
#if __clang__
#pragma clang diagnostic pop
#endif
ValueSerializer::Delegate* GetSerializerDelegate() override {
return &serializer_delegate_;
}
void BeforeEncode(ValueSerializer* serializer) override {
serializer_ = serializer;
}
ValueDeserializer::Delegate* GetDeserializerDelegate() override {
return &deserializer_delegate_;
}
void BeforeDecode(ValueDeserializer* deserializer) override {
deserializer_ = deserializer;
}
SerializerDelegate serializer_delegate_;
DeserializerDelegate deserializer_delegate_;
ValueSerializer* serializer_;
ValueDeserializer* deserializer_;
friend class SerializerDelegate;
friend class DeserializerDelegate;
};
// This is a tag that is used in V8. Using this ensures that we have separate
// tag namespaces.
const uint8_t ValueSerializerTestWithHostObject::kExampleHostObjectTag = 'T';
TEST_F(ValueSerializerTestWithHostObject, RoundTripUint32) {
// The host can serialize data as uint32_t.
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillRepeatedly(Invoke([this](Isolate*, Local<Object> object) {
uint32_t value = 0;
EXPECT_TRUE(object->GetInternalField(0)
->Uint32Value(serialization_context())
.To(&value));
WriteExampleHostObjectTag();
serializer_->WriteUint32(value);
return Just(true);
}));
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillRepeatedly(Invoke([this](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
uint32_t value = 0;
EXPECT_TRUE(deserializer_->ReadUint32(&value));
Local<Value> argv[] = {Integer::NewFromUnsigned(isolate(), value)};
return NewHostObject(deserialization_context(), arraysize(argv), argv);
}));
Local<Value> value = RoundTripTest("new ExampleHostObject(42)");
ASSERT_TRUE(value->IsObject());
ASSERT_TRUE(Object::Cast(*value)->InternalFieldCount());
ExpectScriptTrue(
"Object.getPrototypeOf(result) === ExampleHostObject.prototype");
ExpectScriptTrue("result.value === 42");
value = RoundTripTest("new ExampleHostObject(0xCAFECAFE)");
ExpectScriptTrue("result.value === 0xCAFECAFE");
}
TEST_F(ValueSerializerTestWithHostObject, RoundTripUint64) {
// The host can serialize data as uint64_t.
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillRepeatedly(Invoke([this](Isolate*, Local<Object> object) {
uint32_t value = 0, value2 = 0;
EXPECT_TRUE(object->GetInternalField(0)
->Uint32Value(serialization_context())
.To(&value));
EXPECT_TRUE(object->GetInternalField(1)
->Uint32Value(serialization_context())
.To(&value2));
WriteExampleHostObjectTag();
serializer_->WriteUint64((static_cast<uint64_t>(value) << 32) | value2);
return Just(true);
}));
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillRepeatedly(Invoke([this](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
uint64_t value_packed;
EXPECT_TRUE(deserializer_->ReadUint64(&value_packed));
Local<Value> argv[] = {
Integer::NewFromUnsigned(isolate(),
static_cast<uint32_t>(value_packed >> 32)),
Integer::NewFromUnsigned(isolate(),
static_cast<uint32_t>(value_packed))};
return NewHostObject(deserialization_context(), arraysize(argv), argv);
}));
Local<Value> value = RoundTripTest("new ExampleHostObject(42, 0)");
ASSERT_TRUE(value->IsObject());
ASSERT_TRUE(Object::Cast(*value)->InternalFieldCount());
ExpectScriptTrue(
"Object.getPrototypeOf(result) === ExampleHostObject.prototype");
ExpectScriptTrue("result.value === 42");
ExpectScriptTrue("result.value2 === 0");
value = RoundTripTest("new ExampleHostObject(0xFFFFFFFF, 0x12345678)");
ExpectScriptTrue("result.value === 0xFFFFFFFF");
ExpectScriptTrue("result.value2 === 0x12345678");
}
TEST_F(ValueSerializerTestWithHostObject, RoundTripDouble) {
// The host can serialize data as double.
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillRepeatedly(Invoke([this](Isolate*, Local<Object> object) {
double value = 0;
EXPECT_TRUE(object->GetInternalField(0)
->NumberValue(serialization_context())
.To(&value));
WriteExampleHostObjectTag();
serializer_->WriteDouble(value);
return Just(true);
}));
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillRepeatedly(Invoke([this](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
double value = 0;
EXPECT_TRUE(deserializer_->ReadDouble(&value));
Local<Value> argv[] = {Number::New(isolate(), value)};
return NewHostObject(deserialization_context(), arraysize(argv), argv);
}));
Local<Value> value = RoundTripTest("new ExampleHostObject(-3.5)");
ASSERT_TRUE(value->IsObject());
ASSERT_TRUE(Object::Cast(*value)->InternalFieldCount());
ExpectScriptTrue(
"Object.getPrototypeOf(result) === ExampleHostObject.prototype");
ExpectScriptTrue("result.value === -3.5");
value = RoundTripTest("new ExampleHostObject(NaN)");
ExpectScriptTrue("Number.isNaN(result.value)");
value = RoundTripTest("new ExampleHostObject(Infinity)");
ExpectScriptTrue("result.value === Infinity");
value = RoundTripTest("new ExampleHostObject(-0)");
ExpectScriptTrue("1/result.value === -Infinity");
}
TEST_F(ValueSerializerTestWithHostObject, RoundTripRawBytes) {
// The host can serialize arbitrary raw bytes.
const struct {
uint64_t u64;
uint32_t u32;
char str[12];
} sample_data = {0x1234567812345678, 0x87654321, "Hello world"};
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillRepeatedly(
Invoke([this, &sample_data](Isolate*, Local<Object> object) {
WriteExampleHostObjectTag();
serializer_->WriteRawBytes(&sample_data, sizeof(sample_data));
return Just(true);
}));
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillRepeatedly(Invoke([this, &sample_data](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
const void* copied_data = nullptr;
EXPECT_TRUE(
deserializer_->ReadRawBytes(sizeof(sample_data), &copied_data));
if (copied_data) {
EXPECT_EQ(0, memcmp(&sample_data, copied_data, sizeof(sample_data)));
}
return NewHostObject(deserialization_context(), 0, nullptr);
}));
Local<Value> value = RoundTripTest("new ExampleHostObject()");
ASSERT_TRUE(value->IsObject());
ASSERT_TRUE(Object::Cast(*value)->InternalFieldCount());
ExpectScriptTrue(
"Object.getPrototypeOf(result) === ExampleHostObject.prototype");
}
TEST_F(ValueSerializerTestWithHostObject, RoundTripSameObject) {
// If the same object exists in two places, the delegate should be invoked
// only once, and the objects should be the same (by reference equality) on
// the other side.
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillOnce(Invoke([this](Isolate*, Local<Object> object) {
WriteExampleHostObjectTag();
return Just(true);
}));
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillOnce(Invoke([this](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
return NewHostObject(deserialization_context(), 0, nullptr);
}));
RoundTripTest("({ a: new ExampleHostObject(), get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof ExampleHostObject");
ExpectScriptTrue("result.a === result.b");
}
TEST_F(ValueSerializerTestWithHostObject, DecodeSimpleHostObject) {
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillRepeatedly(Invoke([this](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
return NewHostObject(deserialization_context(), 0, nullptr);
}));
DecodeTest({0xFF, 0x0D, 0x5C, kExampleHostObjectTag});
ExpectScriptTrue(
"Object.getPrototypeOf(result) === ExampleHostObject.prototype");
}
class ValueSerializerTestWithHostArrayBufferView
: public ValueSerializerTestWithHostObject {
protected:
void BeforeEncode(ValueSerializer* serializer) override {
ValueSerializerTestWithHostObject::BeforeEncode(serializer);
serializer_->SetTreatArrayBufferViewsAsHostObjects(true);
}
};
TEST_F(ValueSerializerTestWithHostArrayBufferView, RoundTripUint8ArrayInput) {
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillOnce(Invoke([this](Isolate*, Local<Object> object) {
EXPECT_TRUE(object->IsUint8Array());
WriteExampleHostObjectTag();
return Just(true);
}));
EXPECT_CALL(deserializer_delegate_, ReadHostObject(isolate()))
.WillOnce(Invoke([this](Isolate*) {
EXPECT_TRUE(ReadExampleHostObjectTag());
return NewDummyUint8Array();
}));
RoundTripTest(
"({ a: new Uint8Array([1, 2, 3]), get b() { return this.a; }})");
ExpectScriptTrue("result.a instanceof Uint8Array");
ExpectScriptTrue("result.a.toString() === '4,5,6'");
ExpectScriptTrue("result.a === result.b");
}
// It's expected that WebAssembly has more exhaustive tests elsewhere; this
// mostly checks that the logic to embed it in structured clone serialization
// works correctly.
// A simple module which exports an "increment" function.
// Copied from test/mjsunit/wasm/incrementer.wasm.
const unsigned char kIncrementerWasm[] = {
0, 97, 115, 109, 1, 0, 0, 0, 1, 6, 1, 96, 1, 127, 1, 127,
3, 2, 1, 0, 7, 13, 1, 9, 105, 110, 99, 114, 101, 109, 101, 110,
116, 0, 0, 10, 9, 1, 7, 0, 32, 0, 65, 1, 106, 11,
};
class ValueSerializerTestWithWasm : public ValueSerializerTest {
public:
static const char* kUnsupportedSerialization;
ValueSerializerTestWithWasm()
: serialize_delegate_(&transfer_modules_),
deserialize_delegate_(&transfer_modules_) {}
void Reset() {
current_serializer_delegate_ = nullptr;
transfer_modules_.clear();
SetExpectInlineWasm(false);
}
void EnableTransferSerialization() {
current_serializer_delegate_ = &serialize_delegate_;
}
void EnableTransferDeserialization() {
current_deserializer_delegate_ = &deserialize_delegate_;
}
void EnableThrowingSerializer() {
current_serializer_delegate_ = &throwing_serializer_;
}
void EnableDefaultDeserializer() {
current_deserializer_delegate_ = &default_deserializer_;
}
protected:
static void SetUpTestCase() {
g_saved_flag = i::FLAG_expose_wasm;
i::FLAG_expose_wasm = true;
ValueSerializerTest::SetUpTestCase();
}
static void TearDownTestCase() {
ValueSerializerTest::TearDownTestCase();
i::FLAG_expose_wasm = g_saved_flag;
g_saved_flag = false;
}
class ThrowingSerializer : public ValueSerializer::Delegate {
public:
Maybe<uint32_t> GetWasmModuleTransferId(
Isolate* isolate, Local<WasmModuleObject> module) override {
isolate->ThrowException(Exception::Error(
String::NewFromOneByte(
isolate,
reinterpret_cast<const uint8_t*>(kUnsupportedSerialization),
NewStringType::kNormal)
.ToLocalChecked()));
return Nothing<uint32_t>();
}
void ThrowDataCloneError(Local<String> message) override { UNREACHABLE(); }
};
class SerializeToTransfer : public ValueSerializer::Delegate {
public:
SerializeToTransfer(
std::vector<WasmModuleObject::TransferrableModule>* modules)
: modules_(modules) {}
Maybe<uint32_t> GetWasmModuleTransferId(
Isolate* isolate, Local<WasmModuleObject> module) override {
modules_->push_back(module->GetTransferrableModule());
return Just(static_cast<uint32_t>(modules_->size()) - 1);
}
void ThrowDataCloneError(Local<String> message) override { UNREACHABLE(); }
private:
std::vector<WasmModuleObject::TransferrableModule>* modules_;
};
class DeserializeFromTransfer : public ValueDeserializer::Delegate {
public:
DeserializeFromTransfer(
std::vector<WasmModuleObject::TransferrableModule>* modules)
: modules_(modules) {}
MaybeLocal<WasmModuleObject> GetWasmModuleFromId(Isolate* isolate,
uint32_t id) override {
return WasmModuleObject::FromTransferrableModule(isolate,
modules_->at(id));
}
private:
std::vector<WasmModuleObject::TransferrableModule>* modules_;
};
ValueSerializer::Delegate* GetSerializerDelegate() override {
return current_serializer_delegate_;
}
ValueDeserializer::Delegate* GetDeserializerDelegate() override {
return current_deserializer_delegate_;
}
Local<WasmModuleObject> MakeWasm() {
Context::Scope scope(serialization_context());
return WasmModuleObject::DeserializeOrCompile(
isolate(), {nullptr, 0},
{kIncrementerWasm, sizeof(kIncrementerWasm)})
.ToLocalChecked();
}
void ExpectPass() {
Local<Value> value = RoundTripTest(MakeWasm());
Context::Scope scope(deserialization_context());
ASSERT_TRUE(value->IsWebAssemblyCompiledModule());
ExpectScriptTrue(
"new WebAssembly.Instance(result).exports.increment(8) === 9");
}
void ExpectFail() {
const std::vector<uint8_t> data = EncodeTest(MakeWasm());
InvalidDecodeTest(data);
}
Local<Value> GetComplexObjectWithDuplicate() {
Context::Scope scope(serialization_context());
Local<Value> wasm_module = MakeWasm();
serialization_context()
->Global()
->CreateDataProperty(serialization_context(),
StringFromUtf8("wasm_module"), wasm_module)
.FromMaybe(false);
Local<Script> script =
Script::Compile(
serialization_context(),
StringFromUtf8("({mod1: wasm_module, num: 2, mod2: wasm_module})"))
.ToLocalChecked();
return script->Run(serialization_context()).ToLocalChecked();
}
void VerifyComplexObject(Local<Value> value) {
ASSERT_TRUE(value->IsObject());
ExpectScriptTrue("result.mod1 instanceof WebAssembly.Module");
ExpectScriptTrue("result.mod2 instanceof WebAssembly.Module");
ExpectScriptTrue("result.num === 2");
}
Local<Value> GetComplexObjectWithMany() {
Context::Scope scope(serialization_context());
Local<Value> wasm_module1 = MakeWasm();
Local<Value> wasm_module2 = MakeWasm();
serialization_context()
->Global()
->CreateDataProperty(serialization_context(),
StringFromUtf8("wasm_module1"), wasm_module1)
.FromMaybe(false);
serialization_context()
->Global()
->CreateDataProperty(serialization_context(),
StringFromUtf8("wasm_module2"), wasm_module2)
.FromMaybe(false);
Local<Script> script =
Script::Compile(
serialization_context(),
StringFromUtf8(
"({mod1: wasm_module1, num: 2, mod2: wasm_module2})"))
.ToLocalChecked();
return script->Run(serialization_context()).ToLocalChecked();
}
private:
static bool g_saved_flag;
std::vector<WasmModuleObject::TransferrableModule> transfer_modules_;
SerializeToTransfer serialize_delegate_;
DeserializeFromTransfer deserialize_delegate_;
ValueSerializer::Delegate* current_serializer_delegate_ = nullptr;
ValueDeserializer::Delegate* current_deserializer_delegate_ = nullptr;
ThrowingSerializer throwing_serializer_;
ValueDeserializer::Delegate default_deserializer_;
};
bool ValueSerializerTestWithWasm::g_saved_flag = false;
const char* ValueSerializerTestWithWasm::kUnsupportedSerialization =
"Wasm Serialization Not Supported";
// The default implementation of the serialization
// delegate throws when trying to serialize wasm. The
// embedder must decide serialization policy.
TEST_F(ValueSerializerTestWithWasm, DefaultSerializationDelegate) {
EnableThrowingSerializer();
Local<Message> message = InvalidEncodeTest(MakeWasm());
size_t msg_len = static_cast<size_t>(message->Get()->Length());
std::unique_ptr<char[]> buff(new char[msg_len + 1]);
message->Get()->WriteOneByte(isolate(),
reinterpret_cast<uint8_t*>(buff.get()));
// the message ends with the custom error string
size_t custom_msg_len = strlen(kUnsupportedSerialization);
ASSERT_GE(msg_len, custom_msg_len);
size_t start_pos = msg_len - custom_msg_len;
ASSERT_EQ(strcmp(&buff.get()[start_pos], kUnsupportedSerialization), 0);
}
// The default deserializer throws if wasm transfer is attempted
TEST_F(ValueSerializerTestWithWasm, DefaultDeserializationDelegate) {
EnableTransferSerialization();
EnableDefaultDeserializer();
ExpectFail();
}
// We only want to allow deserialization through
// transferred modules - which requres both serializer
// and deserializer to understand that - or through
// explicitly allowing inlined data, which requires
// deserializer opt-in (we default the serializer to
// inlined data because we don't trust that data on the
// receiving end anyway).
TEST_F(ValueSerializerTestWithWasm, RoundtripWasmTransfer) {
EnableTransferSerialization();
EnableTransferDeserialization();
ExpectPass();
}
TEST_F(ValueSerializerTestWithWasm, RountripWasmInline) {
SetExpectInlineWasm(true);
ExpectPass();
}
TEST_F(ValueSerializerTestWithWasm, CannotDeserializeWasmInlineData) {
ExpectFail();
}
TEST_F(ValueSerializerTestWithWasm, CannotTransferWasmWhenExpectingInline) {
EnableTransferSerialization();
SetExpectInlineWasm(true);
ExpectFail();
}
TEST_F(ValueSerializerTestWithWasm, ComplexObjectDuplicateTransfer) {
EnableTransferSerialization();
EnableTransferDeserialization();
Local<Value> value = RoundTripTest(GetComplexObjectWithDuplicate());
VerifyComplexObject(value);
ExpectScriptTrue("result.mod1 === result.mod2");
}
TEST_F(ValueSerializerTestWithWasm, ComplexObjectDuplicateInline) {
SetExpectInlineWasm(true);
Local<Value> value = RoundTripTest(GetComplexObjectWithDuplicate());
VerifyComplexObject(value);
ExpectScriptTrue("result.mod1 === result.mod2");
}
TEST_F(ValueSerializerTestWithWasm, ComplexObjectWithManyTransfer) {
EnableTransferSerialization();
EnableTransferDeserialization();
Local<Value> value = RoundTripTest(GetComplexObjectWithMany());
VerifyComplexObject(value);
ExpectScriptTrue("result.mod1 != result.mod2");
}
TEST_F(ValueSerializerTestWithWasm, ComplexObjectWithManyInline) {
SetExpectInlineWasm(true);
Local<Value> value = RoundTripTest(GetComplexObjectWithMany());
VerifyComplexObject(value);
ExpectScriptTrue("result.mod1 != result.mod2");
}
// As produced around Chrome 56.
const unsigned char kSerializedIncrementerWasm[] = {
0xFF, 0x09, 0x3F, 0x00, 0x57, 0x79, 0x2D, 0x00, 0x61, 0x73, 0x6D, 0x0D,
0x00, 0x00, 0x00, 0x01, 0x06, 0x01, 0x60, 0x01, 0x7F, 0x01, 0x7F, 0x03,
0x02, 0x01, 0x00, 0x07, 0x0D, 0x01, 0x09, 0x69, 0x6E, 0x63, 0x72, 0x65,
0x6D, 0x65, 0x6E, 0x74, 0x00, 0x00, 0x0A, 0x08, 0x01, 0x06, 0x00, 0x20,
0x00, 0x41, 0x01, 0x6A, 0xF8, 0x04, 0xA1, 0x06, 0xDE, 0xC0, 0xC6, 0x44,
0x3C, 0x29, 0x00, 0x00, 0x00, 0x00, 0x1F, 0x02, 0x00, 0x00, 0x81, 0x4E,
0xCE, 0x7C, 0x05, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x30, 0x02,
0x00, 0x00, 0xB0, 0x25, 0x30, 0xE3, 0xF2, 0xDB, 0x2E, 0x48, 0x00, 0x00,
0x00, 0x80, 0xE8, 0x00, 0x00, 0x80, 0xE0, 0x01, 0x00, 0x80, 0x00, 0x00,
0x00, 0x80, 0x00, 0x00, 0x00, 0x80, 0x07, 0x08, 0x00, 0x00, 0x09, 0x04,
0x10, 0x02, 0x00, 0x00, 0x00, 0x00, 0x01, 0x3C, 0x8C, 0xC0, 0x00, 0x00,
0x00, 0x00, 0x0D, 0x00, 0x00, 0x00, 0x01, 0x10, 0x8C, 0xC0, 0x00, 0x00,
0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x02, 0x70, 0x94, 0x01, 0x0C, 0x8B,
0xC1, 0x00, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x25, 0xDC, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x9E, 0x01, 0x10, 0x8C, 0xC0, 0x00, 0x00,
0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x84, 0xC0, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x05, 0x7D, 0x01, 0x1A, 0xE1, 0x02, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x11, 0x23, 0x88, 0x42, 0x32, 0x03,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x63, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x3E, 0x00, 0x00, 0x00, 0x04, 0x00,
0x00, 0x02, 0xA1, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF,
0xFF, 0xFF, 0x00, 0x00, 0x00, 0x00, 0x49, 0x3B, 0xA5, 0x60, 0x0C, 0x00,
0x00, 0x0F, 0x86, 0x04, 0x00, 0x00, 0x00, 0x83, 0xC0, 0x01, 0xC3, 0x55,
0x48, 0x89, 0xE5, 0x49, 0xBA, 0x00, 0x00, 0x00, 0x00, 0x06, 0x00, 0x00,
0x00, 0x41, 0x52, 0x48, 0x83, 0xEC, 0x08, 0x48, 0x89, 0x45, 0xF0, 0x48,
0xBB, 0xB0, 0x67, 0xC6, 0x00, 0x00, 0x00, 0x00, 0x00, 0x33, 0xC0, 0x48,
0xBE, 0xE1, 0x57, 0x81, 0x85, 0xF6, 0x14, 0x00, 0x00, 0xE8, 0xFC, 0x3C,
0xEA, 0xFF, 0x48, 0x8B, 0x45, 0xF0, 0x48, 0x8B, 0xE5, 0x5D, 0xEB, 0xBF,
0x66, 0x90, 0x01, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0x44, 0x00,
0x00, 0x00, 0xFF, 0xFF, 0xFF, 0x0F, 0xFF, 0xFF, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x0F, 0x20, 0x84, 0x0F, 0x7D, 0x01, 0x0D, 0x00, 0x0F, 0x04,
0x6D, 0x08, 0x0F, 0xF0, 0x02, 0x80, 0x94, 0x01, 0x0C, 0x8B, 0xC1, 0x00,
0x00, 0x00, 0x00, 0x03, 0x00, 0x00, 0x00, 0xED, 0xA9, 0x2D, 0x00, 0x00,
0x00, 0x00, 0x00, 0x9E, 0xE0, 0x38, 0x1A, 0x61, 0x03, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x11, 0x23, 0x88, 0x42, 0x32, 0x03, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x9A, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x00, 0x4E, 0x00, 0x00, 0x00, 0x04, 0x00, 0x00,
0x02, 0xF9, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF,
0xFF, 0x00, 0x00, 0x00, 0x00, 0x55, 0x48, 0x89, 0xE5, 0x56, 0x57, 0x48,
0x8B, 0x45, 0x10, 0xE8, 0x11, 0xED, 0xED, 0xFF, 0xA8, 0x01, 0x0F, 0x85,
0x2D, 0x00, 0x00, 0x00, 0x48, 0xC1, 0xE8, 0x20, 0xC5, 0xF9, 0x57, 0xC0,
0xC5, 0xFB, 0x2A, 0xC0, 0xC4, 0xE1, 0xFB, 0x2C, 0xC0, 0x48, 0x83, 0xF8,
0x01, 0x0F, 0x80, 0x34, 0x00, 0x00, 0x00, 0x8B, 0xC0, 0xE8, 0x27, 0xFE,
0xFF, 0xFF, 0x48, 0xC1, 0xE0, 0x20, 0x48, 0x8B, 0xE5, 0x5D, 0xC2, 0x10,
0x00, 0x49, 0x39, 0x45, 0xA0, 0x0F, 0x84, 0x07, 0x00, 0x00, 0x00, 0xC5,
0xFB, 0x10, 0x40, 0x07, 0xEB, 0xCE, 0x49, 0xBA, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0xF8, 0x7F, 0xC4, 0xC1, 0xF9, 0x6E, 0xC2, 0xEB, 0xBD, 0x48,
0x83, 0xEC, 0x08, 0xC5, 0xFB, 0x11, 0x04, 0x24, 0xE8, 0xCC, 0xFE, 0xFF,
0xFF, 0x48, 0x83, 0xC4, 0x08, 0xEB, 0xB8, 0x66, 0x90, 0x02, 0x00, 0x00,
0x00, 0x03, 0x00, 0x00, 0x00, 0x0F, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF,
0x0F, 0x39, 0x00, 0x00, 0x00, 0xFF, 0xFF, 0xFF, 0x0F, 0xFF, 0xFF, 0x00,
0xFF, 0xFF, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0F, 0x20, 0x84,
0x0F, 0xCC, 0x6E, 0x7D, 0x01, 0x72, 0x98, 0x00, 0x0F, 0xDC, 0x6D, 0x0C,
0x0F, 0xB0, 0x84, 0x0D, 0x04, 0x84, 0xE3, 0xC0, 0x00, 0x00, 0x00, 0x00,
0x00, 0x00, 0x00, 0x00, 0x84, 0xE0, 0x84, 0x84, 0x18, 0x2F, 0x2F, 0x2F,
0x2F, 0x2F};
TEST_F(ValueSerializerTestWithWasm, DecodeWasmModule) {
if ((true)) return; // TODO(mtrofin): fix this test
std::vector<uint8_t> raw(
kSerializedIncrementerWasm,
kSerializedIncrementerWasm + sizeof(kSerializedIncrementerWasm));
Local<Value> value = DecodeTest(raw);
ASSERT_TRUE(value->IsWebAssemblyCompiledModule());
ExpectScriptTrue(
"new WebAssembly.Instance(result).exports.increment(8) === 9");
}
// As above, but with empty compiled data. Should work due to fallback to wire
// data.
const unsigned char kSerializedIncrementerWasmWithInvalidCompiledData[] = {
0xFF, 0x09, 0x3F, 0x00, 0x57, 0x79, 0x2D, 0x00, 0x61, 0x73, 0x6D,
0x0D, 0x00, 0x00, 0x00, 0x01, 0x06, 0x01, 0x60, 0x01, 0x7F, 0x01,
0x7F, 0x03, 0x02, 0x01, 0x00, 0x07, 0x0D, 0x01, 0x09, 0x69, 0x6E,
0x63, 0x72, 0x65, 0x6D, 0x65, 0x6E, 0x74, 0x00, 0x00, 0x0A, 0x08,
0x01, 0x06, 0x00, 0x20, 0x00, 0x41, 0x01, 0x6A, 0x00};
TEST_F(ValueSerializerTestWithWasm, DecodeWasmModuleWithInvalidCompiledData) {
if ((true)) return; // TODO(titzer): regenerate this test
std::vector<uint8_t> raw(
kSerializedIncrementerWasmWithInvalidCompiledData,
kSerializedIncrementerWasmWithInvalidCompiledData +
sizeof(kSerializedIncrementerWasmWithInvalidCompiledData));
Local<Value> value = DecodeTest(raw);
ASSERT_TRUE(value->IsWebAssemblyCompiledModule());
ExpectScriptTrue(
"new WebAssembly.Instance(result).exports.increment(8) === 9");
}
// As above, but also with empty wire data. Should fail.
const unsigned char kSerializedIncrementerWasmInvalid[] = {
0xFF, 0x09, 0x3F, 0x00, 0x57, 0x79, 0x00, 0x00};
TEST_F(ValueSerializerTestWithWasm,
DecodeWasmModuleWithInvalidCompiledAndWireData) {
std::vector<uint8_t> raw(kSerializedIncrementerWasmInvalid,
kSerializedIncrementerWasmInvalid +
sizeof(kSerializedIncrementerWasmInvalid));
InvalidDecodeTest(raw);
}
TEST_F(ValueSerializerTestWithWasm, DecodeWasmModuleWithInvalidDataLength) {
InvalidDecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x57, 0x79, 0x7F, 0x00});
InvalidDecodeTest({0xFF, 0x09, 0x3F, 0x00, 0x57, 0x79, 0x00, 0x7F});
}
class ValueSerializerTestWithLimitedMemory : public ValueSerializerTest {
protected:
// GMock doesn't use the "override" keyword.
#if __clang__
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Winconsistent-missing-override"
#endif
class SerializerDelegate : public ValueSerializer::Delegate {
public:
explicit SerializerDelegate(ValueSerializerTestWithLimitedMemory* test)
: test_(test) {}
~SerializerDelegate() { EXPECT_EQ(nullptr, last_buffer_); }
void SetMemoryLimit(size_t limit) { memory_limit_ = limit; }
void* ReallocateBufferMemory(void* old_buffer, size_t size,
size_t* actual_size) override {
EXPECT_EQ(old_buffer, last_buffer_);
if (size > memory_limit_) return nullptr;
*actual_size = size;
last_buffer_ = realloc(old_buffer, size);
return last_buffer_;
}
void FreeBufferMemory(void* buffer) override {
EXPECT_EQ(buffer, last_buffer_);
last_buffer_ = nullptr;
free(buffer);
}
void ThrowDataCloneError(Local<String> message) override {
test_->isolate()->ThrowException(Exception::Error(message));
}
MOCK_METHOD2(WriteHostObject,
Maybe<bool>(Isolate* isolate, Local<Object> object));
private:
ValueSerializerTestWithLimitedMemory* test_;
void* last_buffer_ = nullptr;
size_t memory_limit_ = 0;
};
#if __clang__
#pragma clang diagnostic pop
#endif
ValueSerializer::Delegate* GetSerializerDelegate() override {
return &serializer_delegate_;
}
void BeforeEncode(ValueSerializer* serializer) override {
serializer_ = serializer;
}
SerializerDelegate serializer_delegate_{this};
ValueSerializer* serializer_ = nullptr;
};
TEST_F(ValueSerializerTestWithLimitedMemory, FailIfNoMemoryInWriteHostObject) {
EXPECT_CALL(serializer_delegate_, WriteHostObject(isolate(), _))
.WillRepeatedly(Invoke([this](Isolate*, Local<Object>) {
static const char kDummyData[1024] = {};
serializer_->WriteRawBytes(&kDummyData, sizeof(kDummyData));
return Just(true);
}));
// If there is enough memory, things work.
serializer_delegate_.SetMemoryLimit(2048);
EncodeTest("new ExampleHostObject()");
// If not, we get a graceful failure, rather than silent misbehavior.
serializer_delegate_.SetMemoryLimit(1024);
InvalidEncodeTest("new ExampleHostObject()");
// And we definitely don't continue to serialize other things.
serializer_delegate_.SetMemoryLimit(1024);
EvaluateScriptForInput("gotA = false");
InvalidEncodeTest("[new ExampleHostObject, {get a() { gotA = true; }}]");
EXPECT_TRUE(EvaluateScriptForInput("gotA")->IsFalse());
}
} // namespace
} // namespace v8