2016-03-02 00:53:19 +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 <limits.h>
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2021-08-20 14:54:26 +00:00
|
|
|
#include "include/libplatform/libplatform.h"
|
|
|
|
#include "include/v8-context.h"
|
|
|
|
#include "include/v8-exception.h"
|
|
|
|
#include "include/v8-isolate.h"
|
|
|
|
#include "include/v8-local-handle.h"
|
2019-05-22 07:55:37 +00:00
|
|
|
#include "src/execution/isolate-inl.h"
|
2018-04-09 19:11:22 +00:00
|
|
|
#include "src/heap/factory.h"
|
2019-05-23 08:51:46 +00:00
|
|
|
#include "src/objects/objects-inl.h"
|
2018-01-18 10:52:52 +00:00
|
|
|
#include "src/wasm/wasm-engine.h"
|
2019-09-03 07:56:24 +00:00
|
|
|
#include "src/wasm/wasm-feature-flags.h"
|
2016-03-02 00:53:19 +00:00
|
|
|
#include "src/wasm/wasm-module.h"
|
2017-06-12 13:32:13 +00:00
|
|
|
#include "test/common/wasm/flag-utils.h"
|
2016-09-14 10:31:23 +00:00
|
|
|
#include "test/common/wasm/wasm-module-runner.h"
|
2016-03-02 00:53:19 +00:00
|
|
|
#include "test/fuzzer/fuzzer-support.h"
|
2017-09-07 09:48:34 +00:00
|
|
|
#include "test/fuzzer/wasm-fuzzer-common.h"
|
|
|
|
|
|
|
|
namespace i = v8::internal;
|
2016-03-02 00:53:19 +00:00
|
|
|
|
|
|
|
extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) {
|
2021-03-23 08:02:32 +00:00
|
|
|
v8_fuzzer::FuzzerSupport* support = v8_fuzzer::FuzzerSupport::Get();
|
|
|
|
v8::Isolate* isolate = support->GetIsolate();
|
2019-08-23 15:32:23 +00:00
|
|
|
|
|
|
|
// We reduce the maximum memory size and table size of WebAssembly instances
|
|
|
|
// to avoid OOMs in the fuzzer.
|
2020-10-05 14:50:59 +00:00
|
|
|
i::FLAG_wasm_max_mem_pages = 32;
|
|
|
|
i::FLAG_wasm_max_table_size = 100;
|
|
|
|
|
2017-09-07 09:48:34 +00:00
|
|
|
i::Isolate* i_isolate = reinterpret_cast<i::Isolate*>(isolate);
|
2016-03-03 00:04:52 +00:00
|
|
|
|
|
|
|
// Clear any pending exceptions from a prior run.
|
|
|
|
if (i_isolate->has_pending_exception()) {
|
|
|
|
i_isolate->clear_pending_exception();
|
|
|
|
}
|
|
|
|
|
2016-03-02 00:53:19 +00:00
|
|
|
v8::Isolate::Scope isolate_scope(isolate);
|
|
|
|
v8::HandleScope handle_scope(isolate);
|
|
|
|
v8::Context::Scope context_scope(support->GetContext());
|
2021-03-23 08:02:32 +00:00
|
|
|
|
|
|
|
// We explicitly enable staged WebAssembly features here to increase fuzzer
|
|
|
|
// coverage. For libfuzzer fuzzers it is not possible that the fuzzer enables
|
|
|
|
// the flag by itself.
|
|
|
|
i::wasm::fuzzer::OneTimeEnableStagedWasmFeatures(isolate);
|
|
|
|
|
2016-03-02 00:53:19 +00:00
|
|
|
v8::TryCatch try_catch(isolate);
|
2017-09-07 09:48:34 +00:00
|
|
|
i::wasm::testing::SetupIsolateForWasmModule(i_isolate);
|
2018-06-21 12:09:36 +00:00
|
|
|
i::wasm::ModuleWireBytes wire_bytes(data, data + size);
|
2017-09-07 09:48:34 +00:00
|
|
|
|
|
|
|
i::HandleScope scope(i_isolate);
|
|
|
|
i::wasm::ErrorThrower thrower(i_isolate, "wasm fuzzer");
|
|
|
|
i::Handle<i::WasmModuleObject> module_object;
|
2019-11-26 16:25:14 +00:00
|
|
|
auto enabled_features = i::wasm::WasmFeatures::FromIsolate(i_isolate);
|
2018-08-08 14:54:44 +00:00
|
|
|
bool compiles =
|
2021-06-18 14:29:39 +00:00
|
|
|
i::wasm::GetWasmEngine()
|
2018-08-08 14:54:44 +00:00
|
|
|
->SyncCompile(i_isolate, enabled_features, &thrower, wire_bytes)
|
|
|
|
.ToHandle(&module_object);
|
2018-06-21 12:09:36 +00:00
|
|
|
|
|
|
|
if (i::FLAG_wasm_fuzzer_gen_test) {
|
|
|
|
i::wasm::fuzzer::GenerateTestCase(i_isolate, wire_bytes, compiles);
|
|
|
|
}
|
|
|
|
|
|
|
|
if (compiles) {
|
2017-09-07 09:48:34 +00:00
|
|
|
i::wasm::fuzzer::InterpretAndExecuteModule(i_isolate, module_object);
|
|
|
|
}
|
2019-03-15 13:32:37 +00:00
|
|
|
|
|
|
|
// Pump the message loop and run micro tasks, e.g. GC finalization tasks.
|
|
|
|
support->PumpMessageLoop(v8::platform::MessageLoopBehavior::kDoNotWait);
|
2020-02-19 01:22:49 +00:00
|
|
|
isolate->PerformMicrotaskCheckpoint();
|
2016-03-02 00:53:19 +00:00
|
|
|
return 0;
|
|
|
|
}
|