Branch data Line data Source code
1 : : // Copyright (c) 2020-2022 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 : :
5 : : #include <kernel/mempool_entry.h>
6 : : #include <policy/fees.h>
7 : : #include <policy/fees_args.h>
8 : : #include <primitives/transaction.h>
9 : : #include <streams.h>
10 : : #include <test/fuzz/FuzzedDataProvider.h>
11 : : #include <test/fuzz/fuzz.h>
12 : : #include <test/fuzz/util.h>
13 : : #include <test/fuzz/util/mempool.h>
14 : : #include <test/util/setup_common.h>
15 : :
16 : : #include <memory>
17 : : #include <optional>
18 : : #include <vector>
19 : :
20 : : namespace {
21 : : const BasicTestingSetup* g_setup;
22 : : } // namespace
23 : :
24 : 1 : void initialize_policy_estimator()
25 : : {
26 [ + - + - ]: 2 : static const auto testing_setup = MakeNoLogFileContext<>();
27 : 1 : g_setup = testing_setup.get();
28 [ + - ]: 2 : }
29 : :
30 [ + - ]: 1237 : FUZZ_TARGET(policy_estimator, .init = initialize_policy_estimator)
31 : : {
32 : 825 : FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
33 : 825 : bool good_data{true};
34 : :
35 [ + - ]: 825 : CBlockPolicyEstimator block_policy_estimator{FeeestPath(*g_setup->m_node.args), DEFAULT_ACCEPT_STALE_FEE_ESTIMATES};
36 [ + + + + : 99400 : LIMITED_WHILE(good_data && fuzzed_data_provider.ConsumeBool(), 10'000)
+ + ]
37 : : {
38 [ + - ]: 48972 : CallOneOf(
39 : : fuzzed_data_provider,
40 : 17385 : [&] {
41 : 17385 : const std::optional<CMutableTransaction> mtx = ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider, TX_WITH_WITNESS);
42 [ + + ]: 17385 : if (!mtx) {
43 : 97 : good_data = false;
44 [ - + ]: 97 : return;
45 : : }
46 [ + - ]: 17288 : const CTransaction tx{*mtx};
47 : 17288 : const CTxMemPoolEntry& entry = ConsumeTxMemPoolEntry(fuzzed_data_provider, tx);
48 : 17288 : const auto tx_submitted_in_package = fuzzed_data_provider.ConsumeBool();
49 : 17288 : const auto tx_has_mempool_parents = fuzzed_data_provider.ConsumeBool();
50 [ + - ]: 17288 : const auto tx_info = NewMempoolTransactionInfo(entry.GetSharedTx(), entry.GetFee(),
51 [ + - ]: 17288 : entry.GetTxSize(), entry.GetHeight(),
52 : : /*mempool_limit_bypassed=*/false,
53 : : tx_submitted_in_package,
54 : : /*chainstate_is_current=*/true,
55 [ + - + - : 34576 : tx_has_mempool_parents);
+ - ]
56 [ + - ]: 17288 : block_policy_estimator.processTransaction(tx_info);
57 [ + + ]: 17288 : if (fuzzed_data_provider.ConsumeBool()) {
58 [ + - ]: 5279 : (void)block_policy_estimator.removeTx(tx.GetHash());
59 : : }
60 [ + - ]: 51961 : },
61 : 5720 : [&] {
62 : 5720 : std::list<CTxMemPoolEntry> mempool_entries;
63 [ + + + - ]: 17825 : LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000)
64 : : {
65 : 12202 : const std::optional<CMutableTransaction> mtx = ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider, TX_WITH_WITNESS);
66 [ + + ]: 12202 : if (!mtx) {
67 : 97 : good_data = false;
68 [ - + ]: 97 : break;
69 : : }
70 [ + - ]: 12105 : const CTransaction tx{*mtx};
71 [ + - ]: 12105 : mempool_entries.emplace_back(CTxMemPoolEntry::ExplicitCopy, ConsumeTxMemPoolEntry(fuzzed_data_provider, tx));
72 [ + - ]: 24307 : }
73 : 5720 : std::vector<RemovedMempoolTransactionInfo> txs;
74 [ + - ]: 5720 : txs.reserve(mempool_entries.size());
75 [ + + ]: 17825 : for (const CTxMemPoolEntry& mempool_entry : mempool_entries) {
76 [ + - ]: 12105 : txs.emplace_back(mempool_entry);
77 : : }
78 [ + - ]: 5720 : block_policy_estimator.processBlock(txs, fuzzed_data_provider.ConsumeIntegral<unsigned int>());
79 : 5720 : },
80 : 800 : [&] {
81 : 800 : (void)block_policy_estimator.removeTx(ConsumeUInt256(fuzzed_data_provider));
82 : 800 : },
83 : 25067 : [&] {
84 : 25067 : block_policy_estimator.FlushUnconfirmed();
85 : 25067 : });
86 [ + - ]: 48972 : (void)block_policy_estimator.estimateFee(fuzzed_data_provider.ConsumeIntegral<int>());
87 : 48972 : EstimationResult result;
88 : 48972 : auto conf_target = fuzzed_data_provider.ConsumeIntegral<int>();
89 : 48972 : auto success_threshold = fuzzed_data_provider.ConsumeFloatingPoint<double>();
90 : 48972 : auto horizon = fuzzed_data_provider.PickValueInArray(ALL_FEE_ESTIMATE_HORIZONS);
91 [ + + ]: 48972 : auto* result_ptr = fuzzed_data_provider.ConsumeBool() ? &result : nullptr;
92 [ + - ]: 48972 : (void)block_policy_estimator.estimateRawFee(conf_target, success_threshold, horizon, result_ptr);
93 : :
94 : 48972 : FeeCalculation fee_calculation;
95 : 48972 : conf_target = fuzzed_data_provider.ConsumeIntegral<int>();
96 [ + + ]: 48972 : auto* fee_calc_ptr = fuzzed_data_provider.ConsumeBool() ? &fee_calculation : nullptr;
97 : 48972 : auto conservative = fuzzed_data_provider.ConsumeBool();
98 [ + - ]: 48972 : (void)block_policy_estimator.estimateSmartFee(conf_target, fee_calc_ptr, conservative);
99 : :
100 [ + - ]: 48972 : (void)block_policy_estimator.HighestTargetTracked(fuzzed_data_provider.PickValueInArray(ALL_FEE_ESTIMATE_HORIZONS));
101 : : }
102 : 825 : {
103 [ + - ]: 825 : FuzzedFileProvider fuzzed_file_provider{fuzzed_data_provider};
104 [ + - + - ]: 825 : AutoFile fuzzed_auto_file{fuzzed_file_provider.open()};
105 [ + - ]: 825 : block_policy_estimator.Write(fuzzed_auto_file);
106 [ + - ]: 825 : block_policy_estimator.Read(fuzzed_auto_file);
107 : 0 : }
108 : 825 : }
|