Differential D9014 Diff 27193 src/test/fuzz/primitives_transaction.cpp

Changeset View

Standalone View

				// 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 <primitives/transaction.h>

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

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

				void test_one_input(const std::vector<uint8_t> &buffer) {
				FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
				const CScript script = ConsumeScript(fuzzed_data_provider);
				const std::optional<COutPoint> out_point =
				ConsumeDeserializable<COutPoint>(fuzzed_data_provider);
				if (out_point) {
				const CTxIn tx_in{*out_point, script,
				fuzzed_data_provider.ConsumeIntegral<uint32_t>()};
				(void)tx_in;
				}
				const CTxOut tx_out_1{ConsumeMoney(fuzzed_data_provider), script};
				const CTxOut tx_out_2{ConsumeMoney(fuzzed_data_provider),
				ConsumeScript(fuzzed_data_provider)};
				assert((tx_out_1 == tx_out_2) != (tx_out_1 != tx_out_2));
				const std::optional<CMutableTransaction> mutable_tx_1 =
				ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider);
				const std::optional<CMutableTransaction> mutable_tx_2 =
				ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider);
				if (mutable_tx_1 && mutable_tx_2) {
				const CTransaction tx_1{*mutable_tx_1};
				const CTransaction tx_2{*mutable_tx_2};
				assert((tx_1 == tx_2) != (tx_1 != tx_2));
				}
				}