mirror of
https://github.com/bitcoin/bitcoin.git
synced 2025-11-15 16:38:23 +01:00
fae0db0360
The body of the fuzz test should ideally be a pure function. If data is persisted in the cache over many iterations, and there is a crash, reproducing it from the input might be difficult.
56 lines
2.4 KiB
C++
56 lines
2.4 KiB
C++
// Copyright (c) 2020-2022 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 <consensus/amount.h>
|
|
#include <primitives/transaction.h>
|
|
#include <pubkey.h>
|
|
#include <script/interpreter.h>
|
|
#include <script/sigcache.h>
|
|
#include <span.h>
|
|
#include <test/fuzz/FuzzedDataProvider.h>
|
|
#include <test/fuzz/fuzz.h>
|
|
#include <test/fuzz/util.h>
|
|
#include <test/util/setup_common.h>
|
|
#include <uint256.h>
|
|
|
|
#include <cstddef>
|
|
#include <optional>
|
|
#include <vector>
|
|
|
|
void initialize_script_sigcache()
|
|
{
|
|
static const auto testing_setup = MakeNoLogFileContext<>();
|
|
}
|
|
|
|
FUZZ_TARGET(script_sigcache, .init = initialize_script_sigcache)
|
|
{
|
|
FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
|
|
|
|
const auto max_sigcache_bytes{fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, DEFAULT_SIGNATURE_CACHE_BYTES)};
|
|
SignatureCache signature_cache{max_sigcache_bytes};
|
|
|
|
const std::optional<CMutableTransaction> mutable_transaction = ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider, TX_WITH_WITNESS);
|
|
const CTransaction tx{mutable_transaction ? *mutable_transaction : CMutableTransaction{}};
|
|
const unsigned int n_in = fuzzed_data_provider.ConsumeIntegral<unsigned int>();
|
|
const CAmount amount = ConsumeMoney(fuzzed_data_provider);
|
|
const bool store = fuzzed_data_provider.ConsumeBool();
|
|
PrecomputedTransactionData tx_data;
|
|
CachingTransactionSignatureChecker caching_transaction_signature_checker{mutable_transaction ? &tx : nullptr, n_in, amount, store, signature_cache, tx_data};
|
|
if (fuzzed_data_provider.ConsumeBool()) {
|
|
const auto random_bytes = fuzzed_data_provider.ConsumeBytes<unsigned char>(64);
|
|
const XOnlyPubKey pub_key(ConsumeUInt256(fuzzed_data_provider));
|
|
if (random_bytes.size() == 64) {
|
|
(void)caching_transaction_signature_checker.VerifySchnorrSignature(random_bytes, pub_key, ConsumeUInt256(fuzzed_data_provider));
|
|
}
|
|
} else {
|
|
const auto random_bytes = ConsumeRandomLengthByteVector(fuzzed_data_provider);
|
|
const auto pub_key = ConsumeDeserializable<CPubKey>(fuzzed_data_provider);
|
|
if (pub_key) {
|
|
if (!random_bytes.empty()) {
|
|
(void)caching_transaction_signature_checker.VerifyECDSASignature(random_bytes, *pub_key, ConsumeUInt256(fuzzed_data_provider));
|
|
}
|
|
}
|
|
}
|
|
}
|