Differential D9111 Diff 27433 src/test/fuzz/script_bitcoin_consensus.cpp

Changeset View

Standalone View

src/test/fuzz/script_bitcoin_consensus.cpp

This file was added.

				// Copyright (c) 2020 The Bitcoin Core developers
				// Distributed under the MIT software license, see the accompanying
				// file COPYING or http://www.opensource.org/licenses/mit-license.php.

				#include <script/bitcoinconsensus.h>
				#include <script/interpreter.h>

				#include <test/fuzz/FuzzedDataProvider.h>
				#include <test/fuzz/fuzz.h>
				#include <test/fuzz/util.h>

				#include <cstdint>
				#include <string>
				#include <vector>

				using namespace fuzzer;

				void test_one_input(const std::vector<uint8_t> &buffer) {
				FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
				const std::vector<uint8_t> random_bytes_1 =
				ConsumeRandomLengthByteVector(fuzzed_data_provider);
				const std::vector<uint8_t> random_bytes_2 =
				ConsumeRandomLengthByteVector(fuzzed_data_provider);
				const int64_t money = fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(
				0, MAX_MONEY_AS_INT);
				bitcoinconsensus_error err;
				bitcoinconsensus_error *err_p =
				fuzzed_data_provider.ConsumeBool() ? &err : nullptr;
				const unsigned int n_in =
				fuzzed_data_provider.ConsumeIntegral<unsigned int>();
				const unsigned int flags =
				fuzzed_data_provider.ConsumeIntegral<unsigned int>();
				assert(bitcoinconsensus_version() == BITCOINCONSENSUS_API_VER);
				if ((flags & SCRIPT_VERIFY_CLEANSTACK) != 0 &&
				(flags & SCRIPT_VERIFY_P2SH) == 0) {
				return;
				}
				(void)bitcoinconsensus_verify_script(
				random_bytes_1.data(), random_bytes_1.size(), random_bytes_2.data(),
				random_bytes_2.size(), n_in, flags, err_p);
				(void)bitcoinconsensus_verify_script_with_amount(
				random_bytes_1.data(), random_bytes_1.size(), money,
				random_bytes_2.data(), random_bytes_2.size(), n_in, flags, err_p);
				}