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 <coins.h>
6 : : #include <consensus/amount.h>
7 : : #include <consensus/tx_check.h>
8 : : #include <consensus/tx_verify.h>
9 : : #include <consensus/validation.h>
10 : : #include <policy/policy.h>
11 : : #include <primitives/transaction.h>
12 : : #include <script/interpreter.h>
13 : : #include <test/fuzz/FuzzedDataProvider.h>
14 : : #include <test/fuzz/fuzz.h>
15 : : #include <test/fuzz/util.h>
16 : : #include <test/util/setup_common.h>
17 : : #include <util/hasher.h>
18 : :
19 : : #include <cassert>
20 : : #include <cstdint>
21 : : #include <limits>
22 : : #include <memory>
23 : : #include <optional>
24 : : #include <stdexcept>
25 : : #include <string>
26 : : #include <utility>
27 : : #include <vector>
28 : :
29 : : namespace {
30 : : const TestingSetup* g_setup;
31 : 2 : const Coin EMPTY_COIN{};
32 : :
33 : 0 : bool operator==(const Coin& a, const Coin& b)
34 : : {
35 [ # # ][ # # ]: 0 : if (a.IsSpent() && b.IsSpent()) return true;
36 [ # # ][ # # ]: 0 : return a.fCoinBase == b.fCoinBase && a.nHeight == b.nHeight && a.out == b.out;
37 : 0 : }
38 : : } // namespace
39 : :
40 : 0 : void initialize_coins_view()
41 : : {
42 [ # # ][ # # ]: 0 : static const auto testing_setup = MakeNoLogFileContext<const TestingSetup>();
[ # # ]
43 : 0 : g_setup = testing_setup.get();
44 : 0 : }
45 : :
46 [ + - ]: 4 : FUZZ_TARGET(coins_view, .init = initialize_coins_view)
47 : : {
48 : 0 : FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};
49 : 0 : bool good_data{true};
50 : :
51 : 0 : CCoinsView backend_coins_view;
52 [ # # ]: 0 : CCoinsViewCache coins_view_cache{&backend_coins_view, /*deterministic=*/true};
53 [ # # ]: 0 : COutPoint random_out_point;
54 [ # # ]: 0 : Coin random_coin;
55 [ # # ]: 0 : CMutableTransaction random_mutable_transaction;
56 [ # # ][ # # ]: 0 : LIMITED_WHILE(good_data && fuzzed_data_provider.ConsumeBool(), 10'000)
[ # # ][ # # ]
57 : : {
58 [ # # ]: 0 : CallOneOf(
59 : : fuzzed_data_provider,
60 : 0 : [&] {
61 [ # # ]: 0 : if (random_coin.IsSpent()) {
62 : 0 : return;
63 : : }
64 : 0 : Coin coin = random_coin;
65 : 0 : bool expected_code_path = false;
66 [ # # ]: 0 : const bool possible_overwrite = fuzzed_data_provider.ConsumeBool();
67 : : try {
68 [ # # ]: 0 : coins_view_cache.AddCoin(random_out_point, std::move(coin), possible_overwrite);
69 : 0 : expected_code_path = true;
70 [ # # ]: 0 : } catch (const std::logic_error& e) {
71 [ # # ][ # # ]: 0 : if (e.what() == std::string{"Attempted to overwrite an unspent coin (when possible_overwrite is false)"}) {
[ # # ]
72 [ # # ]: 0 : assert(!possible_overwrite);
73 : 0 : expected_code_path = true;
74 : 0 : }
75 [ # # ][ # # ]: 0 : }
76 [ # # ]: 0 : assert(expected_code_path);
77 : 0 : },
78 : 0 : [&] {
79 : 0 : (void)coins_view_cache.Flush();
80 : 0 : },
81 : 0 : [&] {
82 : 0 : (void)coins_view_cache.Sync();
83 : 0 : },
84 : 0 : [&] {
85 : 0 : coins_view_cache.SetBestBlock(ConsumeUInt256(fuzzed_data_provider));
86 : 0 : },
87 : 0 : [&] {
88 : 0 : Coin move_to;
89 [ # # ][ # # ]: 0 : (void)coins_view_cache.SpendCoin(random_out_point, fuzzed_data_provider.ConsumeBool() ? &move_to : nullptr);
[ # # ]
90 : 0 : },
91 : 0 : [&] {
92 : 0 : coins_view_cache.Uncache(random_out_point);
93 : 0 : },
94 : 0 : [&] {
95 [ # # ]: 0 : if (fuzzed_data_provider.ConsumeBool()) {
96 : 0 : backend_coins_view = CCoinsView{};
97 : 0 : }
98 : 0 : coins_view_cache.SetBackend(backend_coins_view);
99 : 0 : },
100 : 0 : [&] {
101 : 0 : const std::optional<COutPoint> opt_out_point = ConsumeDeserializable<COutPoint>(fuzzed_data_provider);
102 [ # # ]: 0 : if (!opt_out_point) {
103 : 0 : good_data = false;
104 : 0 : return;
105 : : }
106 : 0 : random_out_point = *opt_out_point;
107 : 0 : },
108 : 0 : [&] {
109 : 0 : const std::optional<Coin> opt_coin = ConsumeDeserializable<Coin>(fuzzed_data_provider);
110 [ # # ]: 0 : if (!opt_coin) {
111 : 0 : good_data = false;
112 : 0 : return;
113 : : }
114 [ # # ]: 0 : random_coin = *opt_coin;
115 [ # # ]: 0 : },
116 : 0 : [&] {
117 : 0 : const std::optional<CMutableTransaction> opt_mutable_transaction = ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider, TX_WITH_WITNESS);
118 [ # # ]: 0 : if (!opt_mutable_transaction) {
119 : 0 : good_data = false;
120 : 0 : return;
121 : : }
122 [ # # ]: 0 : random_mutable_transaction = *opt_mutable_transaction;
123 [ # # ]: 0 : },
124 : 0 : [&] {
125 : 0 : CCoinsMapMemoryResource resource;
126 [ # # ][ # # ]: 0 : CCoinsMap coins_map{0, SaltedOutpointHasher{/*deterministic=*/true}, CCoinsMap::key_equal{}, &resource};
127 [ # # ][ # # ]: 0 : LIMITED_WHILE(good_data && fuzzed_data_provider.ConsumeBool(), 10'000)
[ # # ]
128 : : {
129 [ # # ]: 0 : CCoinsCacheEntry coins_cache_entry;
130 [ # # ]: 0 : coins_cache_entry.flags = fuzzed_data_provider.ConsumeIntegral<unsigned char>();
131 [ # # ][ # # ]: 0 : if (fuzzed_data_provider.ConsumeBool()) {
132 [ # # ]: 0 : coins_cache_entry.coin = random_coin;
133 : 0 : } else {
134 : 0 : const std::optional<Coin> opt_coin = ConsumeDeserializable<Coin>(fuzzed_data_provider);
135 [ # # ]: 0 : if (!opt_coin) {
136 : 0 : good_data = false;
137 : 0 : return;
138 : : }
139 [ # # ]: 0 : coins_cache_entry.coin = *opt_coin;
140 [ # # ]: 0 : }
141 [ # # ]: 0 : coins_map.emplace(random_out_point, std::move(coins_cache_entry));
142 : 0 : }
143 : 0 : bool expected_code_path = false;
144 : : try {
145 [ # # ][ # # ]: 0 : coins_view_cache.BatchWrite(coins_map, fuzzed_data_provider.ConsumeBool() ? ConsumeUInt256(fuzzed_data_provider) : coins_view_cache.GetBestBlock());
[ # # ][ # # ]
146 : 0 : expected_code_path = true;
147 [ # # ]: 0 : } catch (const std::logic_error& e) {
148 [ # # ][ # # ]: 0 : if (e.what() == std::string{"FRESH flag misapplied to coin that exists in parent cache"}) {
[ # # ]
149 : 0 : expected_code_path = true;
150 : 0 : }
151 [ # # ][ # # ]: 0 : }
152 [ # # ]: 0 : assert(expected_code_path);
153 [ # # ]: 0 : });
154 : 0 : }
155 : :
156 : : {
157 [ # # ]: 0 : const Coin& coin_using_access_coin = coins_view_cache.AccessCoin(random_out_point);
158 [ # # ]: 0 : const bool exists_using_access_coin = !(coin_using_access_coin == EMPTY_COIN);
159 [ # # ]: 0 : const bool exists_using_have_coin = coins_view_cache.HaveCoin(random_out_point);
160 [ # # ]: 0 : const bool exists_using_have_coin_in_cache = coins_view_cache.HaveCoinInCache(random_out_point);
161 [ # # ]: 0 : Coin coin_using_get_coin;
162 [ # # ]: 0 : const bool exists_using_get_coin = coins_view_cache.GetCoin(random_out_point, coin_using_get_coin);
163 [ # # ]: 0 : if (exists_using_get_coin) {
164 [ # # ][ # # ]: 0 : assert(coin_using_get_coin == coin_using_access_coin);
165 : 0 : }
166 [ # # ][ # # ]: 0 : assert((exists_using_access_coin && exists_using_have_coin_in_cache && exists_using_have_coin && exists_using_get_coin) ||
[ # # ][ # # ]
[ # # ][ # # ]
[ # # ][ # # ]
167 : : (!exists_using_access_coin && !exists_using_have_coin_in_cache && !exists_using_have_coin && !exists_using_get_coin));
168 : : // If HaveCoin on the backend is true, it must also be on the cache if the coin wasn't spent.
169 [ # # ]: 0 : const bool exists_using_have_coin_in_backend = backend_coins_view.HaveCoin(random_out_point);
170 [ # # ][ # # ]: 0 : if (!coin_using_access_coin.IsSpent() && exists_using_have_coin_in_backend) {
[ # # ]
171 [ # # ]: 0 : assert(exists_using_have_coin);
172 : 0 : }
173 [ # # ]: 0 : Coin coin_using_backend_get_coin;
174 [ # # ][ # # ]: 0 : if (backend_coins_view.GetCoin(random_out_point, coin_using_backend_get_coin)) {
175 [ # # ]: 0 : assert(exists_using_have_coin_in_backend);
176 : : // Note we can't assert that `coin_using_get_coin == coin_using_backend_get_coin` because the coin in
177 : : // the cache may have been modified but not yet flushed.
178 : 0 : } else {
179 [ # # ]: 0 : assert(!exists_using_have_coin_in_backend);
180 : : }
181 : 0 : }
182 : :
183 : : {
184 : 0 : bool expected_code_path = false;
185 : : try {
186 [ # # ]: 0 : (void)coins_view_cache.Cursor();
187 [ # # ]: 0 : } catch (const std::logic_error&) {
188 : 0 : expected_code_path = true;
189 [ # # ]: 0 : }
190 [ # # ]: 0 : assert(expected_code_path);
191 [ # # ]: 0 : (void)coins_view_cache.DynamicMemoryUsage();
192 [ # # ]: 0 : (void)coins_view_cache.EstimateSize();
193 [ # # ]: 0 : (void)coins_view_cache.GetBestBlock();
194 [ # # ]: 0 : (void)coins_view_cache.GetCacheSize();
195 [ # # ]: 0 : (void)coins_view_cache.GetHeadBlocks();
196 [ # # ][ # # ]: 0 : (void)coins_view_cache.HaveInputs(CTransaction{random_mutable_transaction});
197 : : }
198 : :
199 : : {
200 [ # # ]: 0 : std::unique_ptr<CCoinsViewCursor> coins_view_cursor = backend_coins_view.Cursor();
201 [ # # ]: 0 : assert(!coins_view_cursor);
202 [ # # ]: 0 : (void)backend_coins_view.EstimateSize();
203 [ # # ]: 0 : (void)backend_coins_view.GetBestBlock();
204 [ # # ]: 0 : (void)backend_coins_view.GetHeadBlocks();
205 : 0 : }
206 : :
207 [ # # ][ # # ]: 0 : if (fuzzed_data_provider.ConsumeBool()) {
208 [ # # ]: 0 : CallOneOf(
209 : : fuzzed_data_provider,
210 : 0 : [&] {
211 : 0 : const CTransaction transaction{random_mutable_transaction};
212 : 0 : bool is_spent = false;
213 [ # # ]: 0 : for (const CTxOut& tx_out : transaction.vout) {
214 [ # # ][ # # ]: 0 : if (Coin{tx_out, 0, transaction.IsCoinBase()}.IsSpent()) {
[ # # ]
215 : 0 : is_spent = true;
216 : 0 : }
217 : : }
218 [ # # ]: 0 : if (is_spent) {
219 : : // Avoid:
220 : : // coins.cpp:69: void CCoinsViewCache::AddCoin(const COutPoint &, Coin &&, bool): Assertion `!coin.IsSpent()' failed.
221 : 0 : return;
222 : : }
223 : 0 : bool expected_code_path = false;
224 [ # # ]: 0 : const int height{int(fuzzed_data_provider.ConsumeIntegral<uint32_t>() >> 1)};
225 [ # # ]: 0 : const bool possible_overwrite = fuzzed_data_provider.ConsumeBool();
226 : : try {
227 [ # # ]: 0 : AddCoins(coins_view_cache, transaction, height, possible_overwrite);
228 : 0 : expected_code_path = true;
229 [ # # ]: 0 : } catch (const std::logic_error& e) {
230 [ # # ][ # # ]: 0 : if (e.what() == std::string{"Attempted to overwrite an unspent coin (when possible_overwrite is false)"}) {
[ # # ]
231 [ # # ]: 0 : assert(!possible_overwrite);
232 : 0 : expected_code_path = true;
233 : 0 : }
234 [ # # ][ # # ]: 0 : }
235 [ # # ]: 0 : assert(expected_code_path);
236 [ # # ]: 0 : },
237 : 0 : [&] {
238 [ # # ]: 0 : (void)AreInputsStandard(CTransaction{random_mutable_transaction}, coins_view_cache);
239 : 0 : },
240 : 0 : [&] {
241 : 0 : TxValidationState state;
242 : : CAmount tx_fee_out;
243 [ # # ]: 0 : const CTransaction transaction{random_mutable_transaction};
244 [ # # ]: 0 : if (ContainsSpentInput(transaction, coins_view_cache)) {
245 : : // Avoid:
246 : : // consensus/tx_verify.cpp:171: bool Consensus::CheckTxInputs(const CTransaction &, TxValidationState &, const CCoinsViewCache &, int, CAmount &): Assertion `!coin.IsSpent()' failed.
247 : 0 : return;
248 : : }
249 : 0 : TxValidationState dummy;
250 [ # # ][ # # ]: 0 : if (!CheckTransaction(transaction, dummy)) {
251 : : // It is not allowed to call CheckTxInputs if CheckTransaction failed
252 : 0 : return;
253 : : }
254 [ # # ][ # # ]: 0 : if (Consensus::CheckTxInputs(transaction, state, coins_view_cache, fuzzed_data_provider.ConsumeIntegralInRange<int>(0, std::numeric_limits<int>::max()), tx_fee_out)) {
[ # # ]
255 [ # # ][ # # ]: 0 : assert(MoneyRange(tx_fee_out));
256 : 0 : }
257 [ # # ]: 0 : },
258 : 0 : [&] {
259 : 0 : const CTransaction transaction{random_mutable_transaction};
260 [ # # ]: 0 : if (ContainsSpentInput(transaction, coins_view_cache)) {
261 : : // Avoid:
262 : : // consensus/tx_verify.cpp:130: unsigned int GetP2SHSigOpCount(const CTransaction &, const CCoinsViewCache &): Assertion `!coin.IsSpent()' failed.
263 : 0 : return;
264 : : }
265 [ # # ]: 0 : (void)GetP2SHSigOpCount(transaction, coins_view_cache);
266 [ # # ]: 0 : },
267 : 0 : [&] {
268 : 0 : const CTransaction transaction{random_mutable_transaction};
269 [ # # ]: 0 : if (ContainsSpentInput(transaction, coins_view_cache)) {
270 : : // Avoid:
271 : : // consensus/tx_verify.cpp:130: unsigned int GetP2SHSigOpCount(const CTransaction &, const CCoinsViewCache &): Assertion `!coin.IsSpent()' failed.
272 : 0 : return;
273 : : }
274 [ # # ]: 0 : const auto flags{fuzzed_data_provider.ConsumeIntegral<uint32_t>()};
275 [ # # ][ # # ]: 0 : if (!transaction.vin.empty() && (flags & SCRIPT_VERIFY_WITNESS) != 0 && (flags & SCRIPT_VERIFY_P2SH) == 0) {
[ # # ]
276 : : // Avoid:
277 : : // script/interpreter.cpp:1705: size_t CountWitnessSigOps(const CScript &, const CScript &, const CScriptWitness *, unsigned int): Assertion `(flags & SCRIPT_VERIFY_P2SH) != 0' failed.
278 : 0 : return;
279 : : }
280 [ # # ]: 0 : (void)GetTransactionSigOpCost(transaction, coins_view_cache, flags);
281 [ # # ]: 0 : },
282 : 0 : [&] {
283 [ # # ]: 0 : (void)IsWitnessStandard(CTransaction{random_mutable_transaction}, coins_view_cache);
284 : 0 : });
285 : 0 : }
286 : 0 : }
|
