| OLD | NEW | 
|---|
| 1 // Copyright 2016 the V8 project authors. All rights reserved. | 1 // Copyright 2016 the V8 project authors. All rights reserved. | 
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be | 
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. | 
| 4 | 4 | 
| 5 #include <stddef.h> | 5 #include <stddef.h> | 
| 6 #include <stdint.h> | 6 #include <stdint.h> | 
| 7 | 7 | 
| 8 #include "include/v8.h" | 8 #include "include/v8.h" | 
| 9 #include "src/isolate.h" | 9 #include "src/isolate.h" | 
| 10 #include "src/objects.h" | 10 #include "src/objects.h" | 
|  | 11 #include "src/ostreams.h" | 
| 11 #include "src/wasm/wasm-interpreter.h" | 12 #include "src/wasm/wasm-interpreter.h" | 
| 12 #include "src/wasm/wasm-module-builder.h" | 13 #include "src/wasm/wasm-module-builder.h" | 
| 13 #include "src/wasm/wasm-module.h" | 14 #include "src/wasm/wasm-module.h" | 
| 14 #include "test/common/wasm/test-signatures.h" | 15 #include "test/common/wasm/test-signatures.h" | 
| 15 #include "test/common/wasm/wasm-module-runner.h" | 16 #include "test/common/wasm/wasm-module-runner.h" | 
| 16 #include "test/fuzzer/fuzzer-support.h" | 17 #include "test/fuzzer/fuzzer-support.h" | 
| 17 | 18 | 
| 18 #define WASM_CODE_FUZZER_HASH_SEED 83 | 19 #define WASM_CODE_FUZZER_HASH_SEED 83 | 
| 19 | 20 | 
| 20 using namespace v8::internal::wasm; | 21 using namespace v8::internal::wasm; | 
| 21 | 22 | 
| 22 extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) { | 23 extern "C" int LLVMFuzzerTestOneInput(const uint8_t* data, size_t size) { | 
|  | 24   // Save the flag so that we can change it and restore it later. | 
|  | 25   bool generate_test = v8::internal::FLAG_wasm_code_generate_test; | 
|  | 26   if (generate_test) { | 
|  | 27     v8::internal::OFStream os(stdout); | 
|  | 28 | 
|  | 29     os << "// Copyright 2016 the V8 project authors. All rights reserved." | 
|  | 30        << std::endl; | 
|  | 31     os << "// Use of this source code is governed by a BSD-style license that " | 
|  | 32           "can be" | 
|  | 33        << std::endl; | 
|  | 34     os << "// found in the LICENSE file." << std::endl; | 
|  | 35     os << std::endl; | 
|  | 36     os << "// Flags: --expose-wasm" << std::endl; | 
|  | 37     os << std::endl; | 
|  | 38     os << "load(\"test/mjsunit/wasm/wasm-constants.js\");" << std::endl; | 
|  | 39     os << "load(\"test/mjsunit/wasm/wasm-module-builder.js\");" << std::endl; | 
|  | 40     os << std::endl; | 
|  | 41     os << "(function() {" << std::endl; | 
|  | 42     os << "  var builder = new WasmModuleBuilder();" << std::endl; | 
|  | 43     os << "  builder.addFunction(\"test\", kSig_i_iii)" << std::endl; | 
|  | 44     os << "    .addBody([" << std::endl; | 
|  | 45   } | 
| 23   v8_fuzzer::FuzzerSupport* support = v8_fuzzer::FuzzerSupport::Get(); | 46   v8_fuzzer::FuzzerSupport* support = v8_fuzzer::FuzzerSupport::Get(); | 
| 24   v8::Isolate* isolate = support->GetIsolate(); | 47   v8::Isolate* isolate = support->GetIsolate(); | 
| 25   v8::internal::Isolate* i_isolate = | 48   v8::internal::Isolate* i_isolate = | 
| 26       reinterpret_cast<v8::internal::Isolate*>(isolate); | 49       reinterpret_cast<v8::internal::Isolate*>(isolate); | 
| 27 | 50 | 
| 28   // Clear any pending exceptions from a prior run. | 51   // Clear any pending exceptions from a prior run. | 
| 29   if (i_isolate->has_pending_exception()) { | 52   if (i_isolate->has_pending_exception()) { | 
| 30     i_isolate->clear_pending_exception(); | 53     i_isolate->clear_pending_exception(); | 
| 31   } | 54   } | 
| 32 | 55 | 
| (...skipping 19 matching lines...) Expand all  Loading... | 
| 52 | 75 | 
| 53   v8::internal::wasm::testing::SetupIsolateForWasmModule(i_isolate); | 76   v8::internal::wasm::testing::SetupIsolateForWasmModule(i_isolate); | 
| 54 | 77 | 
| 55   v8::internal::HandleScope scope(i_isolate); | 78   v8::internal::HandleScope scope(i_isolate); | 
| 56 | 79 | 
| 57   ErrorThrower interpreter_thrower(i_isolate, "Interpreter"); | 80   ErrorThrower interpreter_thrower(i_isolate, "Interpreter"); | 
| 58   std::unique_ptr<const WasmModule> module(testing::DecodeWasmModuleForTesting( | 81   std::unique_ptr<const WasmModule> module(testing::DecodeWasmModuleForTesting( | 
| 59       i_isolate, &interpreter_thrower, buffer.begin(), buffer.end(), | 82       i_isolate, &interpreter_thrower, buffer.begin(), buffer.end(), | 
| 60       v8::internal::wasm::ModuleOrigin::kWasmOrigin, true)); | 83       v8::internal::wasm::ModuleOrigin::kWasmOrigin, true)); | 
| 61 | 84 | 
|  | 85   // Clear the flag so that the WebAssembly code is not printed twice. | 
|  | 86   v8::internal::FLAG_wasm_code_generate_test = false; | 
| 62   if (module == nullptr) { | 87   if (module == nullptr) { | 
|  | 88     if (generate_test) { | 
|  | 89       v8::internal::OFStream os(stdout); | 
|  | 90       os << "            ])" << std::endl; | 
|  | 91       os << "            .exportFunc();" << std::endl; | 
|  | 92       os << "  assertThrows(function() { builder.instantiate(); });" | 
|  | 93          << std::endl; | 
|  | 94       os << "})();" << std::endl; | 
|  | 95     } | 
| 63     return 0; | 96     return 0; | 
| 64   } | 97   } | 
|  | 98   if (generate_test) { | 
|  | 99     v8::internal::OFStream os(stdout); | 
|  | 100     os << "            ])" << std::endl; | 
|  | 101     os << "            .exportFunc();" << std::endl; | 
|  | 102     os << "  var module = builder.instantiate();" << std::endl; | 
|  | 103     os << "  module.exports.test(1, 2, 3);" << std::endl; | 
|  | 104     os << "})();" << std::endl; | 
|  | 105   } | 
|  | 106 | 
| 65   int32_t result_interpreted; | 107   int32_t result_interpreted; | 
| 66   bool possible_nondeterminism = false; | 108   bool possible_nondeterminism = false; | 
| 67   { | 109   { | 
| 68     WasmVal args[] = {WasmVal(1), WasmVal(2), WasmVal(3)}; | 110     WasmVal args[] = {WasmVal(1), WasmVal(2), WasmVal(3)}; | 
| 69     result_interpreted = testing::InterpretWasmModule( | 111     result_interpreted = testing::InterpretWasmModule( | 
| 70         i_isolate, &interpreter_thrower, module.get(), 0, args, | 112         i_isolate, &interpreter_thrower, module.get(), 0, args, | 
| 71         &possible_nondeterminism); | 113         &possible_nondeterminism); | 
| 72   } | 114   } | 
| 73 | 115 | 
| 74   ErrorThrower compiler_thrower(i_isolate, "Compiler"); | 116   ErrorThrower compiler_thrower(i_isolate, "Compiler"); | 
| 75   v8::internal::Handle<v8::internal::JSObject> instance = | 117   v8::internal::Handle<v8::internal::JSObject> instance = | 
| 76       testing::InstantiateModuleForTesting(i_isolate, &compiler_thrower, | 118       testing::InstantiateModuleForTesting(i_isolate, &compiler_thrower, | 
| 77                                            module.get()); | 119                                            module.get()); | 
| 78 | 120   // Restore the flag. | 
|  | 121   v8::internal::FLAG_wasm_code_generate_test = generate_test; | 
| 79   if (!interpreter_thrower.error()) { | 122   if (!interpreter_thrower.error()) { | 
| 80     CHECK(!instance.is_null()); | 123     CHECK(!instance.is_null()); | 
| 81   } else { | 124   } else { | 
| 82     return 0; | 125     return 0; | 
| 83   } | 126   } | 
| 84   int32_t result_compiled; | 127   int32_t result_compiled; | 
| 85   { | 128   { | 
| 86     v8::internal::Handle<v8::internal::Object> arguments[] = { | 129     v8::internal::Handle<v8::internal::Object> arguments[] = { | 
| 87         v8::internal::handle(v8::internal::Smi::FromInt(1), i_isolate), | 130         v8::internal::handle(v8::internal::Smi::FromInt(1), i_isolate), | 
| 88         v8::internal::handle(v8::internal::Smi::FromInt(2), i_isolate), | 131         v8::internal::handle(v8::internal::Smi::FromInt(2), i_isolate), | 
| (...skipping 11 matching lines...) Expand all  Loading... | 
| 100     // result_compiled. Therefore we do not check the equality of the results | 143     // result_compiled. Therefore we do not check the equality of the results | 
| 101     // if the execution may have produced a NaN at some point. | 144     // if the execution may have produced a NaN at some point. | 
| 102     if (!possible_nondeterminism && (result_interpreted != result_compiled)) { | 145     if (!possible_nondeterminism && (result_interpreted != result_compiled)) { | 
| 103       V8_Fatal(__FILE__, __LINE__, "WasmCodeFuzzerHash=%x", | 146       V8_Fatal(__FILE__, __LINE__, "WasmCodeFuzzerHash=%x", | 
| 104                v8::internal::StringHasher::HashSequentialString( | 147                v8::internal::StringHasher::HashSequentialString( | 
| 105                    data, static_cast<int>(size), WASM_CODE_FUZZER_HASH_SEED)); | 148                    data, static_cast<int>(size), WASM_CODE_FUZZER_HASH_SEED)); | 
| 106     } | 149     } | 
| 107   } | 150   } | 
| 108   return 0; | 151   return 0; | 
| 109 } | 152 } | 
| OLD | NEW | 
|---|