Branch data Line data Source code
1 : : // Copyright (c) 2020-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 : :
5 : : #include <addrman.h>
6 : : #include <banman.h>
7 : : #include <kernel/chainparams.h>
8 : : #include <net.h>
9 : : #include <net_processing.h>
10 : : #include <primitives/block.h>
11 : : #include <primitives/transaction.h>
12 : : #include <protocol.h>
13 : : #include <sync.h>
14 : : #include <test/fuzz/FuzzedDataProvider.h>
15 : : #include <test/fuzz/fuzz.h>
16 : : #include <test/fuzz/util.h>
17 : : #include <test/fuzz/util/net.h>
18 : : #include <test/fuzz/util/reachability.h>
19 : : #include <test/util/net.h>
20 : : #include <test/util/random.h>
21 : : #include <test/util/setup_common.h>
22 : : #include <test/util/time.h>
23 : : #include <test/util/validation.h>
24 : : #include <uint256.h>
25 : : #include <util/check.h>
26 : : #include <util/time.h>
27 : : #include <validation.h>
28 : : #include <validationinterface.h>
29 : :
30 : : #include <functional>
31 : : #include <ios>
32 : : #include <memory>
33 : : #include <optional>
34 : : #include <string>
35 : : #include <utility>
36 : : #include <vector>
37 : :
38 : : namespace {
39 : : TestingSetup* g_setup;
40 : : constexpr ReachabilityGoal PROCESS_MESSAGES_CHANGES_MEMPOOL{"process_messages changes the mempool"};
41 : : constexpr ReachabilityGoal PROCESS_MESSAGES_CHANGES_BLOCK_INDEX{"process_messages changes the block index"};
42 : :
43 : : } // namespace
44 : :
45 : : extern void MakeRandDeterministicDANGEROUS(const uint256& seed) noexcept;
46 : :
47 : 1 : void initialize_process_messages()
48 : : {
49 : 1 : RegisterReachabilityGoal(PROCESS_MESSAGES_CHANGES_MEMPOOL);
50 : 1 : RegisterReachabilityGoal(PROCESS_MESSAGES_CHANGES_BLOCK_INDEX);
51 : 1 : FakeNodeClock init_clock{}; // Uses the existing mock time
52 : 1 : static const auto testing_setup{
53 : : MakeNoLogFileContext<TestingSetup>(
54 : : /*chain_type=*/ChainType::REGTEST,
55 : : {}),
56 [ + - + - : 1 : };
+ - ]
57 [ + - ]: 1 : g_setup = testing_setup.get();
58 : : // Replace validation_signals before creating chainman and mempool so they use it.
59 [ + - + - ]: 1 : g_setup->m_node.validation_signals = std::make_unique<ValidationSignals>(std::make_unique<ImmediateBackgroundTaskRunner>());
60 [ + - ]: 2 : ResetChainmanAndMempool(*g_setup, init_clock, {.init_block_filter_basic = true});
61 : 1 : }
62 : :
63 [ + - ]: 6009 : FUZZ_TARGET(process_messages, .init = initialize_process_messages)
64 : : {
65 : 5533 : SeedRandomStateForTest(SeedRand::ZEROS);
66 : 5533 : FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
67 : :
68 : 5533 : auto& node{g_setup->m_node};
69 : 5533 : auto& connman{static_cast<ConnmanTestMsg&>(*node.connman)};
70 : 5533 : connman.Reset();
71 : 5533 : auto& chainman{static_cast<TestChainstateManager&>(*node.chainman)};
72 [ + - ]: 11066 : const auto initial_block_index_size{WITH_LOCK(chainman.GetMutex(), return chainman.BlockIndex().size())};
73 [ + - ]: 11066 : const auto initial_sequence{WITH_LOCK(node.mempool->cs, return node.mempool->GetSequence())};
74 : 5533 : FakeNodeClock node_clock{1610000000s}; // 2021-01-07, arbitrary
75 [ + - ]: 5533 : FakeSteadyClock steady_clock;
76 [ + - ]: 5533 : chainman.ResetIbd();
77 [ + - ]: 5533 : chainman.DisableNextWrite();
78 : :
79 : : // Reset, so that dangling pointers can be detected by sanitizers.
80 [ + + ]: 5533 : node.banman.reset();
81 [ + - ]: 5533 : node.addrman.reset();
82 [ + - ]: 5533 : node.peerman.reset();
83 [ + - ]: 5533 : node.addrman = std::make_unique<AddrMan>(*node.netgroupman, /*deterministic=*/true, /*consistency_check_ratio=*/0);
84 : 11066 : node.peerman = PeerManager::make(connman, *node.addrman,
85 : : /*banman=*/nullptr, chainman,
86 [ + - ]: 5533 : *node.mempool, *node.warnings,
87 : : PeerManager::Options{
88 : : .reconcile_txs = true,
89 : : .deterministic_rng = true,
90 : 5533 : });
91 [ + - ]: 5533 : connman.SetMsgProc(node.peerman.get());
92 [ + - ]: 5533 : connman.SetAddrman(*node.addrman);
93 : :
94 [ + - ]: 5533 : node.validation_signals->RegisterValidationInterface(node.peerman.get());
95 : :
96 [ + - ]: 5533 : LOCK(NetEventsInterface::g_msgproc_mutex);
97 : :
98 : 5533 : std::vector<CNode*> peers;
99 : 5533 : const auto num_peers_to_add = fuzzed_data_provider.ConsumeIntegralInRange(1, 3);
100 [ + + ]: 14934 : for (int i = 0; i < num_peers_to_add; ++i) {
101 [ + - ]: 9401 : peers.push_back(ConsumeNodeAsUniquePtr(fuzzed_data_provider, steady_clock, i).release());
102 : 9401 : CNode& p2p_node = *peers.back();
103 : :
104 : 9401 : FillNode(fuzzed_data_provider, connman, p2p_node);
105 : :
106 [ + - ]: 9401 : connman.AddTestNode(p2p_node);
107 : : }
108 : :
109 : : // Toggle IBD from within the loop, so that some messages may be processed
110 : : // under IBD and the rest after leaving it. JumpOutOfIbd() latches, so guard
111 : : // it to call at most once.
112 : : bool jump_out_of_ibd{false};
113 [ + + + + ]: 72310 : LIMITED_WHILE (fuzzed_data_provider.ConsumeBool(), 30) {
114 [ + + ]: 66777 : if (!jump_out_of_ibd) jump_out_of_ibd = fuzzed_data_provider.ConsumeBool();
115 [ + + + + : 66777 : if (jump_out_of_ibd && chainman.IsInitialBlockDownload()) chainman.JumpOutOfIbd();
+ - ]
116 [ + - + - ]: 66777 : const std::string random_message_type{fuzzed_data_provider.ConsumeBytesAsString(CMessageHeader::MESSAGE_TYPE_SIZE).c_str()};
117 : :
118 [ + - ]: 66777 : node_clock.set(ConsumeTime(fuzzed_data_provider));
119 : :
120 [ + - ]: 66777 : CSerializedNetMsg net_msg;
121 [ + - ]: 66777 : net_msg.m_type = random_message_type;
122 : 66777 : net_msg.data = ConsumeRandomLengthByteVector(fuzzed_data_provider, MAX_PROTOCOL_MESSAGE_LENGTH);
123 : :
124 : 66777 : CNode& random_node = *PickValue(fuzzed_data_provider, peers);
125 : :
126 [ + - ]: 66777 : connman.FlushSendBuffer(random_node);
127 [ + - ]: 66777 : (void)connman.ReceiveMsgFrom(random_node, std::move(net_msg));
128 : :
129 : : bool more_work{true};
130 [ + + ]: 344666 : while (more_work) { // Ensure that every message is eventually processed in some way or another
131 [ + - ]: 277889 : random_node.fPauseSend = false;
132 : :
133 : 277889 : try {
134 [ + - ]: 277889 : more_work = connman.ProcessMessagesOnce(random_node);
135 [ - - ]: 0 : } catch (const std::ios_base::failure&) {
136 : 0 : }
137 [ + - ]: 277889 : node.peerman->SendMessages(random_node);
138 : : }
139 : 66777 : }
140 [ + - ]: 5533 : node.validation_signals->SyncWithValidationInterfaceQueue();
141 [ + - ]: 5533 : node.validation_signals->UnregisterValidationInterface(node.peerman.get());
142 [ + - ]: 5533 : node.connman->StopNodes();
143 [ + - ][ + - ]: 11066 : const auto end_sequence{WITH_LOCK(node.mempool->cs, return node.mempool->GetSequence())};
144 [ + - ][ + - ]: 11066 : const auto end_block_index_size{WITH_LOCK(chainman.GetMutex(), return chainman.BlockIndex().size())};
145 [ + - ]: 5533 : ObserveReachabilityGoal(initial_sequence != end_sequence, PROCESS_MESSAGES_CHANGES_MEMPOOL);
146 [ + - ]: 5533 : ObserveReachabilityGoal(initial_block_index_size != end_block_index_size, PROCESS_MESSAGES_CHANGES_BLOCK_INDEX);
147 [ + + ]: 5533 : if (initial_block_index_size != end_block_index_size || initial_sequence != end_sequence) {
148 : : // Reuse the global chainman and mempool, but reset them when dirty.
149 : 307 : MakeRandDeterministicDANGEROUS(uint256::ZERO);
150 [ + - ]: 614 : ResetChainmanAndMempool(*g_setup, node_clock, {.init_block_filter_basic = true});
151 : : }
152 [ + - ]: 11066 : }
|
