Bitcoin Core 31.0.0
P2P Digital Currency
Loading...
Searching...
No Matches
spend.cpp
Go to the documentation of this file.
1// Copyright (c) 2024-present The Bitcoin Core developers
2// Distributed under the MIT software license, see the accompanying
3// file COPYING or http://www.opensource.org/licenses/mit-license.php.
4
6#include <test/fuzz/fuzz.h>
7#include <test/fuzz/util.h>
9#include <test/util/random.h>
11#include <util/time.h>
12#include <wallet/coincontrol.h>
13#include <wallet/context.h>
14#include <wallet/spend.h>
15#include <wallet/test/util.h>
16#include <wallet/wallet.h>
17#include <validation.h>
18#include <addresstype.h>
19
20using util::ToString;
21
22namespace wallet {
23namespace {
24const TestingSetup* g_setup;
25
26void initialize_setup()
27{
28 static const auto testing_setup = MakeNoLogFileContext<const TestingSetup>();
29 g_setup = testing_setup.get();
30}
31
32FUZZ_TARGET(wallet_create_transaction, .init = initialize_setup)
33{
35 FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};
36 SetMockTime(ConsumeTime(fuzzed_data_provider));
37 const auto& node = g_setup->m_node;
38 Chainstate& chainstate{node.chainman->ActiveChainstate()};
39 ArgsManager& args = *node.args;
40 args.ForceSetArg("-dustrelayfee", ToString(fuzzed_data_provider.ConsumeIntegralInRange<CAmount>(0, MAX_MONEY)));
41 FuzzedWallet fuzzed_wallet{
43 "fuzzed_wallet_a",
44 "tprv8ZgxMBicQKsPd1QwsGgzfu2pcPYbBosZhJknqreRHgsWx32nNEhMjGQX2cgFL8n6wz9xdDYwLcs78N4nsCo32cxEX8RBtwGsEGgybLiQJfk",
45 };
46
47 CCoinControl coin_control;
48 if (fuzzed_data_provider.ConsumeBool()) coin_control.m_version = fuzzed_data_provider.ConsumeIntegral<unsigned int>();
49 coin_control.m_avoid_partial_spends = fuzzed_data_provider.ConsumeBool();
50 coin_control.m_include_unsafe_inputs = fuzzed_data_provider.ConsumeBool();
51 if (fuzzed_data_provider.ConsumeBool()) coin_control.m_confirm_target = fuzzed_data_provider.ConsumeIntegralInRange<unsigned int>(0, 999'000);
52 coin_control.destChange = fuzzed_data_provider.ConsumeBool() ? fuzzed_wallet.GetDestination(fuzzed_data_provider) : ConsumeTxDestination(fuzzed_data_provider);
53 if (fuzzed_data_provider.ConsumeBool()) coin_control.m_change_type = fuzzed_data_provider.PickValueInArray(OUTPUT_TYPES);
54 if (fuzzed_data_provider.ConsumeBool()) coin_control.m_feerate = CFeeRate(ConsumeMoney(fuzzed_data_provider, /*max=*/COIN));
55 coin_control.m_allow_other_inputs = fuzzed_data_provider.ConsumeBool();
56 coin_control.m_locktime = fuzzed_data_provider.ConsumeIntegral<unsigned int>();
57 coin_control.fOverrideFeeRate = fuzzed_data_provider.ConsumeBool();
58
59 int next_locktime{0};
60 CAmount all_values{0};
61 LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000)
62 {
63 CMutableTransaction tx;
64 tx.nLockTime = next_locktime++;
65 tx.vout.resize(1);
66 CAmount n_value{ConsumeMoney(fuzzed_data_provider)};
67 all_values += n_value;
68 if (all_values > MAX_MONEY) return;
69 tx.vout[0].nValue = n_value;
70 tx.vout[0].scriptPubKey = GetScriptForDestination(fuzzed_wallet.GetDestination(fuzzed_data_provider));
71 LOCK(fuzzed_wallet.wallet->cs_wallet);
72 auto txid{tx.GetHash()};
73 auto ret{fuzzed_wallet.wallet->mapWallet.emplace(std::piecewise_construct, std::forward_as_tuple(txid), std::forward_as_tuple(MakeTransactionRef(std::move(tx)), TxStateConfirmed{chainstate.m_chain.Tip()->GetBlockHash(), chainstate.m_chain.Height(), /*index=*/0}))};
74 assert(ret.second);
75 }
76
77 std::vector<CRecipient> recipients;
78 LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 100) {
79 CTxDestination destination;
81 fuzzed_data_provider,
82 [&] {
83 destination = fuzzed_wallet.GetDestination(fuzzed_data_provider);
84 },
85 [&] {
86 CScript script;
87 script << OP_RETURN;
88 destination = CNoDestination{script};
89 },
90 [&] {
91 destination = ConsumeTxDestination(fuzzed_data_provider);
92 }
93 );
94 recipients.push_back({destination,
95 /*nAmount=*/ConsumeMoney(fuzzed_data_provider),
96 /*fSubtractFeeFromAmount=*/fuzzed_data_provider.ConsumeBool()});
97 }
98
99 std::optional<unsigned int> change_pos;
100 if (fuzzed_data_provider.ConsumeBool()) change_pos = fuzzed_data_provider.ConsumeIntegral<unsigned int>();
101 (void)CreateTransaction(*fuzzed_wallet.wallet, recipients, change_pos, coin_control);
102}
103} // namespace
104} // namespace wallet
CScript GetScriptForDestination(const CTxDestination &dest)
Generate a Bitcoin scriptPubKey for the given CTxDestination.
std::variant< CNoDestination, PubKeyDestination, PKHash, ScriptHash, WitnessV0ScriptHash, WitnessV0KeyHash, WitnessV1Taproot, PayToAnchor, WitnessUnknown > CTxDestination
A txout script categorized into standard templates.
static constexpr CAmount MAX_MONEY
No amount larger than this (in satoshi) is valid.
Definition amount.h:26
int64_t CAmount
Amount in satoshis (Can be negative).
Definition amount.h:12
static constexpr CAmount COIN
The amount of satoshis in one BTC.
Definition amount.h:15
int ret
std::string ToString(const T &t)
Locale-independent version of std::to_string.
Definition string.h:246
ArgsManager & args
Definition bitcoind.cpp:277
const TestingSetup * g_setup
void ForceSetArg(const std::string &strArg, const std::string &strValue)
Definition args.cpp:571
uint256 GetBlockHash() const
Definition chain.h:198
CBlockIndex * Tip() const
Returns the index entry for the tip of this chain, or nullptr if none.
Definition chain.h:396
int Height() const
Return the maximal height in the chain.
Definition chain.h:425
std::optional< unsigned int > m_confirm_target
Override the default confirmation target if set.
std::optional< OutputType > m_change_type
Override the default change type if set, ignored if destChange is set.
Definition coincontrol.h:89
bool m_allow_other_inputs
Definition coincontrol.h:94
bool fOverrideFeeRate
Override automatic min/max checks on fee, m_feerate must be set if true.
Definition coincontrol.h:96
std::optional< CFeeRate > m_feerate
Override the wallet's fee rate if set.
Definition coincontrol.h:98
bool m_include_unsafe_inputs
If false, only safe inputs will be used.
Definition coincontrol.h:91
bool m_avoid_partial_spends
Avoid partial use of funds sent to a given address.
uint32_t m_version
Version.
CTxDestination destChange
Custom change destination, if not set an address is generated.
Definition coincontrol.h:87
std::optional< uint32_t > m_locktime
Locktime.
CChain m_chain
Definition validation.h:625
T ConsumeIntegralInRange(T min, T max)
T PickValueInArray(const T(&array)[size])
Coin Control Features.
Definition coincontrol.h:84
#define FUZZ_TARGET(...)
Definition fuzz.h:35
#define LIMITED_WHILE(condition, limit)
Can be used to limit a theoretically unbounded loop.
Definition fuzz.h:22
std::string ToString(const T &t)
Locale-independent version of std::to_string.
Definition string.h:246
util::Result< CreatedTransactionResult > CreateTransaction(CWallet &wallet, const std::vector< CRecipient > &vecSend, std::optional< unsigned int > change_pos, const CCoinControl &coin_control, bool sign)
Create a new transaction paying the recipients with a set of coins selected by SelectCoins(); Also cr...
Definition spend.cpp:1440
static constexpr auto OUTPUT_TYPES
Definition outputtype.h:26
static CTransactionRef MakeTransactionRef(Tx &&txIn)
@ OP_RETURN
Definition script.h:111
std::unique_ptr< T > MakeNoLogFileContext(const ChainType chain_type=ChainType::REGTEST, TestOpts opts={})
Make a test setup that has disk access to the debug.log file disabled.
node::NodeContext m_node
std::vector< CTxOut > vout
Txid GetHash() const
Compute the hash of this CMutableTransaction.
std::unique_ptr< interfaces::Chain > chain
Definition context.h:76
Wraps a descriptor wallet for fuzzing.
Definition wallet.h:23
State of transaction confirmed in a block.
Definition transaction.h:32
#define LOCK(cs)
Definition sync.h:258
NodeSeconds ConsumeTime(FuzzedDataProvider &fuzzed_data_provider, const std::optional< int64_t > &min, const std::optional< int64_t > &max) noexcept
Definition util.cpp:34
CTxDestination ConsumeTxDestination(FuzzedDataProvider &fuzzed_data_provider) noexcept
Definition util.cpp:189
CAmount ConsumeMoney(FuzzedDataProvider &fuzzed_data_provider, const std::optional< CAmount > &max) noexcept
Definition util.cpp:29
size_t CallOneOf(FuzzedDataProvider &fuzzed_data_provider, Callables... callables)
Definition util.h:35
void SeedRandomStateForTest(SeedRand seedtype)
Seed the global RNG state for testing and log the seed value.
Definition random.cpp:19
@ ZEROS
Seed with a compile time constant of zeros.
Definition random.h:19
void SetMockTime(int64_t nMockTimeIn)
DEPRECATED Use SetMockTime with chrono type.
Definition time.cpp:44
assert(!tx.IsCoinBase())