2017-05-08 09:22:54 +00:00
|
|
|
// 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 "test/fuzzer/wasm-fuzzer-common.h"
|
|
|
|
|
|
|
|
#include "include/v8.h"
|
|
|
|
#include "src/isolate.h"
|
|
|
|
#include "src/objects-inl.h"
|
2017-09-28 11:02:36 +00:00
|
|
|
#include "src/wasm/module-compiler.h"
|
2017-09-07 09:48:34 +00:00
|
|
|
#include "src/wasm/wasm-api.h"
|
2017-05-08 09:22:54 +00:00
|
|
|
#include "src/wasm/wasm-module-builder.h"
|
|
|
|
#include "src/wasm/wasm-module.h"
|
|
|
|
#include "src/zone/accounting-allocator.h"
|
|
|
|
#include "src/zone/zone.h"
|
2017-11-06 12:21:06 +00:00
|
|
|
#include "test/common/wasm/flag-utils.h"
|
2017-05-08 09:22:54 +00:00
|
|
|
#include "test/common/wasm/wasm-module-runner.h"
|
|
|
|
#include "test/fuzzer/fuzzer-support.h"
|
|
|
|
|
2017-09-01 13:20:46 +00:00
|
|
|
namespace v8 {
|
|
|
|
namespace internal {
|
|
|
|
namespace wasm {
|
|
|
|
namespace fuzzer {
|
2017-08-09 08:11:21 +00:00
|
|
|
|
2017-09-08 13:59:05 +00:00
|
|
|
static constexpr const char* kNameString = "name";
|
|
|
|
static constexpr size_t kNameStringLength = 4;
|
2017-05-08 09:22:54 +00:00
|
|
|
|
2017-09-01 13:20:46 +00:00
|
|
|
int FuzzWasmSection(SectionCode section, const uint8_t* data, size_t size) {
|
2017-05-08 09:22:54 +00:00
|
|
|
v8_fuzzer::FuzzerSupport* support = v8_fuzzer::FuzzerSupport::Get();
|
|
|
|
v8::Isolate* isolate = support->GetIsolate();
|
2017-09-01 13:20:46 +00:00
|
|
|
i::Isolate* i_isolate = reinterpret_cast<Isolate*>(isolate);
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
// Clear any pending exceptions from a prior run.
|
2017-11-08 14:23:08 +00:00
|
|
|
i_isolate->clear_pending_exception();
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
v8::Isolate::Scope isolate_scope(isolate);
|
|
|
|
v8::HandleScope handle_scope(isolate);
|
|
|
|
v8::Context::Scope context_scope(support->GetContext());
|
|
|
|
v8::TryCatch try_catch(isolate);
|
|
|
|
|
|
|
|
AccountingAllocator allocator;
|
|
|
|
Zone zone(&allocator, ZONE_NAME);
|
|
|
|
|
|
|
|
ZoneBuffer buffer(&zone);
|
|
|
|
buffer.write_u32(kWasmMagic);
|
|
|
|
buffer.write_u32(kWasmVersion);
|
|
|
|
if (section == kNameSectionCode) {
|
|
|
|
buffer.write_u8(kUnknownSectionCode);
|
|
|
|
buffer.write_size(size + kNameStringLength + 1);
|
|
|
|
buffer.write_u8(kNameStringLength);
|
|
|
|
buffer.write(reinterpret_cast<const uint8_t*>(kNameString),
|
|
|
|
kNameStringLength);
|
|
|
|
buffer.write(data, size);
|
|
|
|
} else {
|
|
|
|
buffer.write_u8(section);
|
|
|
|
buffer.write_size(size);
|
|
|
|
buffer.write(data, size);
|
|
|
|
}
|
|
|
|
|
|
|
|
ErrorThrower thrower(i_isolate, "decoder");
|
|
|
|
|
|
|
|
std::unique_ptr<const WasmModule> module(testing::DecodeWasmModuleForTesting(
|
|
|
|
i_isolate, &thrower, buffer.begin(), buffer.end(), kWasmOrigin));
|
|
|
|
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2017-09-07 09:48:34 +00:00
|
|
|
void InterpretAndExecuteModule(i::Isolate* isolate,
|
|
|
|
Handle<WasmModuleObject> module_object) {
|
|
|
|
ScheduledErrorThrower thrower(isolate, "WebAssembly Instantiation");
|
|
|
|
// Try to instantiate and interpret the module_object.
|
|
|
|
MaybeHandle<WasmInstanceObject> maybe_instance =
|
|
|
|
SyncInstantiate(isolate, &thrower, module_object,
|
|
|
|
Handle<JSReceiver>::null(), // imports
|
|
|
|
MaybeHandle<JSArrayBuffer>()); // memory
|
|
|
|
Handle<WasmInstanceObject> instance;
|
|
|
|
if (!maybe_instance.ToHandle(&instance)) return;
|
|
|
|
if (!testing::InterpretWasmModuleForTesting(isolate, instance, "main", 0,
|
|
|
|
nullptr)) {
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
// Instantiate and execute the module_object.
|
|
|
|
maybe_instance = SyncInstantiate(isolate, &thrower, module_object,
|
|
|
|
Handle<JSReceiver>::null(), // imports
|
|
|
|
MaybeHandle<JSArrayBuffer>()); // memory
|
|
|
|
if (!maybe_instance.ToHandle(&instance)) return;
|
|
|
|
|
|
|
|
testing::RunWasmModuleForTesting(isolate, instance, 0, nullptr);
|
|
|
|
}
|
|
|
|
|
2017-11-08 21:03:20 +00:00
|
|
|
int WasmExecutionFuzzer::FuzzWasmModule(const uint8_t* data, size_t size,
|
|
|
|
bool require_valid) {
|
2017-05-08 09:22:54 +00:00
|
|
|
// Save the flag so that we can change it and restore it later.
|
|
|
|
bool generate_test = FLAG_wasm_code_fuzzer_gen_test;
|
|
|
|
if (generate_test) {
|
|
|
|
OFStream os(stdout);
|
|
|
|
|
|
|
|
os << "// Copyright 2017 the V8 project authors. All rights reserved."
|
|
|
|
<< std::endl;
|
|
|
|
os << "// Use of this source code is governed by a BSD-style license that "
|
|
|
|
"can be"
|
|
|
|
<< std::endl;
|
|
|
|
os << "// found in the LICENSE file." << std::endl;
|
|
|
|
os << std::endl;
|
|
|
|
os << "load(\"test/mjsunit/wasm/wasm-constants.js\");" << std::endl;
|
|
|
|
os << "load(\"test/mjsunit/wasm/wasm-module-builder.js\");" << std::endl;
|
|
|
|
os << std::endl;
|
|
|
|
os << "(function() {" << std::endl;
|
|
|
|
os << " var builder = new WasmModuleBuilder();" << std::endl;
|
|
|
|
os << " builder.addMemory(16, 32, false);" << std::endl;
|
|
|
|
os << " builder.addFunction(\"test\", kSig_i_iii)" << std::endl;
|
|
|
|
os << " .addBodyWithEnd([" << std::endl;
|
|
|
|
}
|
|
|
|
v8_fuzzer::FuzzerSupport* support = v8_fuzzer::FuzzerSupport::Get();
|
|
|
|
v8::Isolate* isolate = support->GetIsolate();
|
2017-09-01 13:20:46 +00:00
|
|
|
i::Isolate* i_isolate = reinterpret_cast<Isolate*>(isolate);
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
// Clear any pending exceptions from a prior run.
|
2017-11-08 14:23:08 +00:00
|
|
|
i_isolate->clear_pending_exception();
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
v8::Isolate::Scope isolate_scope(isolate);
|
|
|
|
v8::HandleScope handle_scope(isolate);
|
|
|
|
v8::Context::Scope context_scope(support->GetContext());
|
|
|
|
v8::TryCatch try_catch(isolate);
|
|
|
|
HandleScope scope(i_isolate);
|
|
|
|
|
|
|
|
AccountingAllocator allocator;
|
|
|
|
Zone zone(&allocator, ZONE_NAME);
|
|
|
|
|
|
|
|
ZoneBuffer buffer(&zone);
|
|
|
|
int32_t num_args = 0;
|
2017-07-14 13:49:01 +00:00
|
|
|
std::unique_ptr<WasmValue[]> interpreter_args;
|
2017-05-08 09:22:54 +00:00
|
|
|
std::unique_ptr<Handle<Object>[]> compiler_args;
|
|
|
|
if (!GenerateModule(i_isolate, &zone, data, size, buffer, num_args,
|
|
|
|
interpreter_args, compiler_args)) {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2017-09-01 13:20:46 +00:00
|
|
|
testing::SetupIsolateForWasmModule(i_isolate);
|
2017-05-08 09:22:54 +00:00
|
|
|
|
|
|
|
ErrorThrower interpreter_thrower(i_isolate, "Interpreter");
|
2017-06-12 11:13:15 +00:00
|
|
|
ModuleWireBytes wire_bytes(buffer.begin(), buffer.end());
|
2017-05-08 09:22:54 +00:00
|
|
|
|
2017-11-06 12:21:06 +00:00
|
|
|
// Compile with Turbofan here. Liftoff will be tested later.
|
|
|
|
MaybeHandle<WasmModuleObject> compiled_module;
|
|
|
|
{
|
|
|
|
FlagScope<bool> no_liftoff(&FLAG_liftoff, false);
|
|
|
|
compiled_module = SyncCompile(i_isolate, &interpreter_thrower, wire_bytes);
|
|
|
|
}
|
2017-05-08 09:22:54 +00:00
|
|
|
// Clear the flag so that the WebAssembly code is not printed twice.
|
|
|
|
FLAG_wasm_code_fuzzer_gen_test = false;
|
2017-07-10 19:24:22 +00:00
|
|
|
bool compiles = !compiled_module.is_null();
|
|
|
|
|
|
|
|
if (generate_test) {
|
|
|
|
OFStream os(stdout);
|
|
|
|
os << " ])" << std::endl
|
|
|
|
<< " .exportFunc();" << std::endl;
|
|
|
|
if (compiles) {
|
|
|
|
os << " var module = builder.instantiate();" << std::endl
|
|
|
|
<< " module.exports.test(1, 2, 3);" << std::endl;
|
|
|
|
} else {
|
2017-05-08 09:22:54 +00:00
|
|
|
OFStream os(stdout);
|
|
|
|
os << " assertThrows(function() { builder.instantiate(); });"
|
|
|
|
<< std::endl;
|
|
|
|
}
|
|
|
|
os << "})();" << std::endl;
|
|
|
|
}
|
|
|
|
|
2017-09-01 13:20:46 +00:00
|
|
|
bool validates = SyncValidate(i_isolate, wire_bytes);
|
2017-07-10 19:24:22 +00:00
|
|
|
|
2017-11-08 16:59:01 +00:00
|
|
|
CHECK_EQ(compiles, validates);
|
2017-11-08 21:03:20 +00:00
|
|
|
CHECK_IMPLIES(require_valid, validates);
|
2017-07-10 19:24:22 +00:00
|
|
|
|
|
|
|
if (!compiles) return 0;
|
|
|
|
|
2017-11-06 12:21:06 +00:00
|
|
|
int32_t result_interpreter;
|
2017-05-08 09:22:54 +00:00
|
|
|
bool possible_nondeterminism = false;
|
|
|
|
{
|
2017-06-12 11:13:15 +00:00
|
|
|
MaybeHandle<WasmInstanceObject> interpreter_instance = SyncInstantiate(
|
|
|
|
i_isolate, &interpreter_thrower, compiled_module.ToHandleChecked(),
|
|
|
|
MaybeHandle<JSReceiver>(), MaybeHandle<JSArrayBuffer>());
|
|
|
|
|
2017-11-06 12:21:06 +00:00
|
|
|
// Ignore instantiation failure.
|
2017-06-12 11:13:15 +00:00
|
|
|
if (interpreter_thrower.error()) {
|
|
|
|
return 0;
|
|
|
|
}
|
2017-11-06 12:21:06 +00:00
|
|
|
|
|
|
|
result_interpreter = testing::InterpretWasmModule(
|
2017-06-12 11:13:15 +00:00
|
|
|
i_isolate, interpreter_instance.ToHandleChecked(), &interpreter_thrower,
|
|
|
|
0, interpreter_args.get(), &possible_nondeterminism);
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
|
|
|
|
2017-06-22 10:54:20 +00:00
|
|
|
// Do not execute the generated code if the interpreter did not finished after
|
|
|
|
// a bounded number of steps.
|
|
|
|
if (interpreter_thrower.error()) {
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2017-11-06 12:21:06 +00:00
|
|
|
bool expect_exception =
|
2017-12-02 00:30:37 +00:00
|
|
|
result_interpreter == static_cast<int32_t>(0xDEADBEEF);
|
2017-11-06 12:21:06 +00:00
|
|
|
|
|
|
|
int32_t result_turbofan;
|
2017-05-08 09:22:54 +00:00
|
|
|
{
|
2017-11-06 12:21:06 +00:00
|
|
|
ErrorThrower compiler_thrower(i_isolate, "Turbofan");
|
2017-06-12 11:13:15 +00:00
|
|
|
MaybeHandle<WasmInstanceObject> compiled_instance = SyncInstantiate(
|
|
|
|
i_isolate, &compiler_thrower, compiled_module.ToHandleChecked(),
|
|
|
|
MaybeHandle<JSReceiver>(), MaybeHandle<JSArrayBuffer>());
|
|
|
|
|
|
|
|
DCHECK(!compiler_thrower.error());
|
2017-11-06 12:21:06 +00:00
|
|
|
result_turbofan = testing::CallWasmFunctionForTesting(
|
2017-06-12 11:13:15 +00:00
|
|
|
i_isolate, compiled_instance.ToHandleChecked(), &compiler_thrower,
|
2017-06-21 09:24:03 +00:00
|
|
|
"main", num_args, compiler_args.get());
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// The WebAssembly spec allows the sign bit of NaN to be non-deterministic.
|
2017-11-06 12:21:06 +00:00
|
|
|
// This sign bit may cause result_interpreter to be different than
|
|
|
|
// result_turbofan. Therefore we do not check the equality of the results
|
2017-05-08 09:22:54 +00:00
|
|
|
// if the execution may have produced a NaN at some point.
|
2017-11-06 12:21:06 +00:00
|
|
|
if (!possible_nondeterminism) {
|
|
|
|
CHECK_EQ(expect_exception, i_isolate->has_pending_exception());
|
|
|
|
|
2017-11-08 16:59:01 +00:00
|
|
|
if (!expect_exception) CHECK_EQ(result_interpreter, result_turbofan);
|
2017-11-06 12:21:06 +00:00
|
|
|
}
|
2017-05-08 09:22:54 +00:00
|
|
|
|
2017-11-08 14:23:08 +00:00
|
|
|
// Clear any pending exceptions for the next run.
|
|
|
|
i_isolate->clear_pending_exception();
|
|
|
|
|
2017-11-06 12:21:06 +00:00
|
|
|
int32_t result_liftoff;
|
|
|
|
{
|
|
|
|
FlagScope<bool> liftoff(&FLAG_liftoff, true);
|
|
|
|
ErrorThrower compiler_thrower(i_isolate, "Liftoff");
|
|
|
|
// Re-compile with Liftoff.
|
|
|
|
MaybeHandle<WasmInstanceObject> compiled_instance =
|
|
|
|
SyncCompileAndInstantiate(i_isolate, &compiler_thrower, wire_bytes,
|
|
|
|
MaybeHandle<JSReceiver>(),
|
|
|
|
MaybeHandle<JSArrayBuffer>());
|
|
|
|
DCHECK(!compiler_thrower.error());
|
|
|
|
result_liftoff = testing::CallWasmFunctionForTesting(
|
|
|
|
i_isolate, compiled_instance.ToHandleChecked(), &compiler_thrower,
|
|
|
|
"main", num_args, compiler_args.get());
|
|
|
|
}
|
|
|
|
if (!possible_nondeterminism) {
|
|
|
|
CHECK_EQ(expect_exception, i_isolate->has_pending_exception());
|
|
|
|
|
2017-11-08 16:59:01 +00:00
|
|
|
if (!expect_exception) CHECK_EQ(result_interpreter, result_liftoff);
|
2017-05-08 09:22:54 +00:00
|
|
|
}
|
2017-11-06 12:21:06 +00:00
|
|
|
|
2017-11-08 14:23:08 +00:00
|
|
|
// Cleanup any pending exception.
|
|
|
|
i_isolate->clear_pending_exception();
|
2017-05-08 09:22:54 +00:00
|
|
|
return 0;
|
|
|
|
}
|
2017-09-01 13:20:46 +00:00
|
|
|
|
|
|
|
} // namespace fuzzer
|
|
|
|
} // namespace wasm
|
|
|
|
} // namespace internal
|
|
|
|
} // namespace v8
|