Branch data Line data Source code
1 : : // Copyright (c) 2021-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 <consensus/amount.h>
6 : : #include <pubkey.h>
7 : : #include <test/fuzz/util.h>
8 : : #include <test/util/script.h>
9 : : #include <util/check.h>
10 : : #include <util/overflow.h>
11 : : #include <util/rbf.h>
12 : : #include <util/time.h>
13 : :
14 : : #include <memory>
15 : :
16 : 1320034 : std::vector<uint8_t> ConstructPubKeyBytes(FuzzedDataProvider& fuzzed_data_provider, Span<const uint8_t> byte_data, const bool compressed) noexcept
17 : : {
18 : 1320034 : uint8_t pk_type;
19 [ + + ]: 1320034 : if (compressed) {
20 : 1230687 : pk_type = fuzzed_data_provider.PickValueInArray({0x02, 0x03});
21 : : } else {
22 : 89347 : pk_type = fuzzed_data_provider.PickValueInArray({0x04, 0x06, 0x07});
23 : : }
24 [ + + ]: 1409381 : std::vector<uint8_t> pk_data{byte_data.begin(), byte_data.begin() + (compressed ? CPubKey::COMPRESSED_SIZE : CPubKey::SIZE)};
25 : 1320034 : pk_data[0] = pk_type;
26 : 1320034 : return pk_data;
27 : : }
28 : :
29 : 839945 : CAmount ConsumeMoney(FuzzedDataProvider& fuzzed_data_provider, const std::optional<CAmount>& max) noexcept
30 : : {
31 [ + + ]: 1545540 : return fuzzed_data_provider.ConsumeIntegralInRange<CAmount>(0, max.value_or(MAX_MONEY));
32 : : }
33 : :
34 : 723558 : int64_t ConsumeTime(FuzzedDataProvider& fuzzed_data_provider, const std::optional<int64_t>& min, const std::optional<int64_t>& max) noexcept
35 : : {
36 : : // Avoid t=0 (1970-01-01T00:00:00Z) since SetMockTime(0) disables mocktime.
37 : 723558 : static const int64_t time_min{946684801}; // 2000-01-01T00:00:01Z
38 : 723558 : static const int64_t time_max{4133980799}; // 2100-12-31T23:59:59Z
39 [ + + + + ]: 1228286 : return fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(min.value_or(time_min), max.value_or(time_max));
40 : : }
41 : :
42 : 216269 : CMutableTransaction ConsumeTransaction(FuzzedDataProvider& fuzzed_data_provider, const std::optional<std::vector<Txid>>& prevout_txids, const int max_num_in, const int max_num_out) noexcept
43 : : {
44 : 216269 : CMutableTransaction tx_mut;
45 : 216269 : const auto p2wsh_op_true = fuzzed_data_provider.ConsumeBool();
46 [ + + ]: 216269 : tx_mut.version = fuzzed_data_provider.ConsumeBool() ?
47 : : CTransaction::CURRENT_VERSION :
48 : 26586 : fuzzed_data_provider.ConsumeIntegral<uint32_t>();
49 : 216269 : tx_mut.nLockTime = fuzzed_data_provider.ConsumeIntegral<uint32_t>();
50 : 216269 : const auto num_in = fuzzed_data_provider.ConsumeIntegralInRange<int>(0, max_num_in);
51 : 216269 : const auto num_out = fuzzed_data_provider.ConsumeIntegralInRange<int>(0, max_num_out);
52 [ + + ]: 525973 : for (int i = 0; i < num_in; ++i) {
53 [ + - ]: 309704 : const auto& txid_prev = prevout_txids ?
54 : 309704 : PickValue(fuzzed_data_provider, *prevout_txids) :
55 : 309704 : Txid::FromUint256(ConsumeUInt256(fuzzed_data_provider));
56 : 309704 : const auto index_out = fuzzed_data_provider.ConsumeIntegralInRange<uint32_t>(0, max_num_out);
57 : 309704 : const auto sequence = ConsumeSequence(fuzzed_data_provider);
58 [ + + ]: 309704 : const auto script_sig = p2wsh_op_true ? CScript{} : ConsumeScript(fuzzed_data_provider);
59 : 309704 : CScriptWitness script_wit;
60 [ + + ]: 309704 : if (p2wsh_op_true) {
61 [ + + ]: 541012 : script_wit.stack = std::vector<std::vector<uint8_t>>{WITNESS_STACK_ELEM_OP_TRUE};
62 : : } else {
63 : 39198 : script_wit = ConsumeScriptWitness(fuzzed_data_provider);
64 : : }
65 : 309704 : CTxIn in;
66 : 309704 : in.prevout = COutPoint{txid_prev, index_out};
67 : 309704 : in.nSequence = sequence;
68 : 309704 : in.scriptSig = script_sig;
69 : 309704 : in.scriptWitness = script_wit;
70 : :
71 : 309704 : tx_mut.vin.push_back(in);
72 : 309704 : }
73 [ + + ]: 577435 : for (int i = 0; i < num_out; ++i) {
74 : 361166 : const auto amount = fuzzed_data_provider.ConsumeIntegralInRange<CAmount>(-10, 50 * COIN + 10);
75 [ + + ]: 361166 : const auto script_pk = p2wsh_op_true ?
76 : : P2WSH_OP_TRUE :
77 : 361166 : ConsumeScript(fuzzed_data_provider, /*maybe_p2wsh=*/true);
78 : 361166 : tx_mut.vout.emplace_back(amount, script_pk);
79 : 361166 : }
80 : 216269 : return tx_mut;
81 : 270506 : }
82 : :
83 : 39198 : CScriptWitness ConsumeScriptWitness(FuzzedDataProvider& fuzzed_data_provider, const size_t max_stack_elem_size) noexcept
84 : : {
85 : 39198 : CScriptWitness ret;
86 : 39198 : const auto n_elements = fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, max_stack_elem_size);
87 [ + + ]: 120114 : for (size_t i = 0; i < n_elements; ++i) {
88 : 80916 : ret.stack.push_back(ConsumeRandomLengthByteVector(fuzzed_data_provider));
89 : : }
90 : 39198 : return ret;
91 : : }
92 : :
93 : 359550 : CScript ConsumeScript(FuzzedDataProvider& fuzzed_data_provider, const bool maybe_p2wsh) noexcept
94 : : {
95 : 359550 : CScript r_script{};
96 : 359550 : {
97 : : // Keep a buffer of bytes to allow the fuzz engine to produce smaller
98 : : // inputs to generate CScripts with repeated data.
99 : 359550 : static constexpr unsigned MAX_BUFFER_SZ{128};
100 : 359550 : std::vector<uint8_t> buffer(MAX_BUFFER_SZ, uint8_t{'a'});
101 [ + + ]: 13024288 : while (fuzzed_data_provider.ConsumeBool()) {
102 : 12664738 : CallOneOf(
103 : : fuzzed_data_provider,
104 : 3171072 : [&] {
105 : : // Insert byte vector directly to allow malformed or unparsable scripts
106 : 3171072 : r_script.insert(r_script.end(), buffer.begin(), buffer.begin() + fuzzed_data_provider.ConsumeIntegralInRange(0U, MAX_BUFFER_SZ));
107 : 3171072 : },
108 : 8653677 : [&] {
109 : : // Push a byte vector from the buffer
110 : 8653677 : r_script << std::vector<uint8_t>{buffer.begin(), buffer.begin() + fuzzed_data_provider.ConsumeIntegralInRange(0U, MAX_BUFFER_SZ)};
111 : 8653677 : },
112 : 148349 : [&] {
113 : : // Push multisig
114 : : // There is a special case for this to aid the fuzz engine
115 : : // navigate the highly structured multisig format.
116 : 148349 : r_script << fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(0, 22);
117 : 148349 : int num_data{fuzzed_data_provider.ConsumeIntegralInRange(1, 22)};
118 [ + + ]: 1614374 : while (num_data--) {
119 : 1317676 : auto pubkey_bytes{ConstructPubKeyBytes(fuzzed_data_provider, buffer, fuzzed_data_provider.ConsumeBool())};
120 [ + + ]: 1317676 : if (fuzzed_data_provider.ConsumeBool()) {
121 : 1227500 : pubkey_bytes.back() = num_data; // Make each pubkey different
122 : : }
123 : 1317676 : r_script << pubkey_bytes;
124 : 1317676 : }
125 : 148349 : r_script << fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(0, 22);
126 : 148349 : },
127 : 110861 : [&] {
128 : : // Mutate the buffer
129 : 110861 : const auto vec{ConsumeRandomLengthByteVector(fuzzed_data_provider, /*max_length=*/MAX_BUFFER_SZ)};
130 : 110861 : std::copy(vec.begin(), vec.end(), buffer.begin());
131 : 110861 : },
132 : 167517 : [&] {
133 : : // Push an integral
134 : 167517 : r_script << fuzzed_data_provider.ConsumeIntegral<int64_t>();
135 : 167517 : },
136 : 250053 : [&] {
137 : : // Push an opcode
138 : 250053 : r_script << ConsumeOpcodeType(fuzzed_data_provider);
139 : 250053 : },
140 : 163209 : [&] {
141 : : // Push a scriptnum
142 : 163209 : r_script << ConsumeScriptNum(fuzzed_data_provider);
143 : 163209 : });
144 : : }
145 : 359550 : }
146 [ + + + + ]: 422362 : if (maybe_p2wsh && fuzzed_data_provider.ConsumeBool()) {
147 : 22284 : uint256 script_hash;
148 [ + + + + ]: 51333 : CSHA256().Write(r_script.data(), r_script.size()).Finalize(script_hash.begin());
149 : 22284 : r_script.clear();
150 : 22284 : r_script << OP_0 << ToByteVector(script_hash);
151 : : }
152 : 359550 : return r_script;
153 : : }
154 : :
155 : 10728952 : uint32_t ConsumeSequence(FuzzedDataProvider& fuzzed_data_provider) noexcept
156 : : {
157 [ + + ]: 10728952 : return fuzzed_data_provider.ConsumeBool() ?
158 : 7371168 : fuzzed_data_provider.PickValueInArray({
159 : : CTxIn::SEQUENCE_FINAL,
160 : : CTxIn::MAX_SEQUENCE_NONFINAL,
161 : : MAX_BIP125_RBF_SEQUENCE,
162 : : }) :
163 : 3357784 : fuzzed_data_provider.ConsumeIntegral<uint32_t>();
164 : : }
165 : :
166 : 5473 : std::map<COutPoint, Coin> ConsumeCoins(FuzzedDataProvider& fuzzed_data_provider) noexcept
167 : : {
168 : 5473 : std::map<COutPoint, Coin> coins;
169 [ + + + - ]: 21822 : LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000) {
170 : 17848 : const std::optional<COutPoint> outpoint{ConsumeDeserializable<COutPoint>(fuzzed_data_provider)};
171 [ + + ]: 17848 : if (!outpoint) {
172 : : break;
173 : : }
174 : 17063 : const std::optional<Coin> coin{ConsumeDeserializable<Coin>(fuzzed_data_provider)};
175 [ + + ]: 17063 : if (!coin) {
176 : : break;
177 : : }
178 : 16349 : coins[*outpoint] = *coin;
179 : 17063 : }
180 : :
181 : 5473 : return coins;
182 : : }
183 : :
184 : 18986 : CTxDestination ConsumeTxDestination(FuzzedDataProvider& fuzzed_data_provider) noexcept
185 : : {
186 : 18986 : CTxDestination tx_destination;
187 : 18986 : const size_t call_size{CallOneOf(
188 : : fuzzed_data_provider,
189 : 2772 : [&] {
190 : 2772 : tx_destination = CNoDestination{};
191 : 2772 : },
192 : 2358 : [&] {
193 : 2358 : bool compressed = fuzzed_data_provider.ConsumeBool();
194 : 4716 : CPubKey pk{ConstructPubKeyBytes(
195 : : fuzzed_data_provider,
196 [ + + ]: 3512 : ConsumeFixedLengthByteVector(fuzzed_data_provider, (compressed ? CPubKey::COMPRESSED_SIZE : CPubKey::SIZE)),
197 : : compressed
198 : 2358 : )};
199 : 2358 : tx_destination = PubKeyDestination{pk};
200 : 2358 : },
201 : 1768 : [&] {
202 : 1768 : tx_destination = PKHash{ConsumeUInt160(fuzzed_data_provider)};
203 : 1768 : },
204 : 1250 : [&] {
205 : 1250 : tx_destination = ScriptHash{ConsumeUInt160(fuzzed_data_provider)};
206 : 1250 : },
207 : 2454 : [&] {
208 : 2454 : tx_destination = WitnessV0ScriptHash{ConsumeUInt256(fuzzed_data_provider)};
209 : 2454 : },
210 : 1452 : [&] {
211 : 1452 : tx_destination = WitnessV0KeyHash{ConsumeUInt160(fuzzed_data_provider)};
212 : 1452 : },
213 : 3709 : [&] {
214 : 3709 : tx_destination = WitnessV1Taproot{XOnlyPubKey{ConsumeUInt256(fuzzed_data_provider)}};
215 : 3709 : },
216 : 687 : [&] {
217 : 687 : tx_destination = PayToAnchor{};
218 : 687 : },
219 : 2536 : [&] {
220 : 2536 : std::vector<unsigned char> program{ConsumeRandomLengthByteVector(fuzzed_data_provider, /*max_length=*/40)};
221 [ + + ]: 2536 : if (program.size() < 2) {
222 [ + - ]: 584 : program = {0, 0};
223 : : }
224 [ + - ]: 2536 : tx_destination = WitnessUnknown{fuzzed_data_provider.ConsumeIntegralInRange<unsigned int>(2, 16), program};
225 : 2536 : })};
226 : 18986 : Assert(call_size == std::variant_size_v<CTxDestination>);
227 : 18986 : return tx_destination;
228 : : }
229 : :
230 : 23167 : CKey ConsumePrivateKey(FuzzedDataProvider& fuzzed_data_provider, std::optional<bool> compressed) noexcept
231 : : {
232 : 23167 : auto key_data = fuzzed_data_provider.ConsumeBytes<uint8_t>(32);
233 : 23167 : key_data.resize(32);
234 : 23167 : CKey key;
235 [ + + ]: 44357 : bool compressed_value = compressed ? *compressed : fuzzed_data_provider.ConsumeBool();
236 : 23167 : key.Set(key_data.begin(), key_data.end(), compressed_value);
237 : 23167 : return key;
238 : 23167 : }
239 : :
240 : 443 : bool ContainsSpentInput(const CTransaction& tx, const CCoinsViewCache& inputs) noexcept
241 : : {
242 [ + + ]: 6846 : for (const CTxIn& tx_in : tx.vin) {
243 : 6456 : const Coin& coin = inputs.AccessCoin(tx_in.prevout);
244 [ + + ]: 6456 : if (coin.IsSpent()) {
245 : : return true;
246 : : }
247 : : }
248 : : return false;
249 : : }
250 : :
251 : 5422 : FILE* FuzzedFileProvider::open()
252 : : {
253 : 5422 : SetFuzzedErrNo(m_fuzzed_data_provider);
254 [ + + ]: 5422 : if (m_fuzzed_data_provider.ConsumeBool()) {
255 : : return nullptr;
256 : : }
257 [ + - ]: 5110 : std::string mode;
258 [ + - ]: 5110 : CallOneOf(
259 : : m_fuzzed_data_provider,
260 : 3703 : [&] {
261 : 3703 : mode = "r";
262 : 3703 : },
263 : 457 : [&] {
264 : 457 : mode = "r+";
265 : 457 : },
266 : 109 : [&] {
267 : 109 : mode = "w";
268 : 109 : },
269 : 467 : [&] {
270 : 467 : mode = "w+";
271 : 467 : },
272 : 70 : [&] {
273 : 70 : mode = "a";
274 : 70 : },
275 : 304 : [&] {
276 : 304 : mode = "a+";
277 : 304 : });
278 : : #if defined _GNU_SOURCE && (defined(__linux__) || defined(__FreeBSD__))
279 : 5110 : const cookie_io_functions_t io_hooks = {
280 : : FuzzedFileProvider::read,
281 : : FuzzedFileProvider::write,
282 : : FuzzedFileProvider::seek,
283 : : FuzzedFileProvider::close,
284 : : };
285 : 5110 : return fopencookie(this, mode.c_str(), io_hooks);
286 : : #else
287 : : (void)mode;
288 : : return nullptr;
289 : : #endif
290 : 5110 : }
291 : :
292 : 19013 : ssize_t FuzzedFileProvider::read(void* cookie, char* buf, size_t size)
293 : : {
294 : 19013 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
295 : 19013 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
296 [ + - + + ]: 19013 : if (buf == nullptr || size == 0 || fuzzed_file->m_fuzzed_data_provider.ConsumeBool()) {
297 [ + + ]: 1533 : return fuzzed_file->m_fuzzed_data_provider.ConsumeBool() ? 0 : -1;
298 : : }
299 : 17480 : const std::vector<uint8_t> random_bytes = fuzzed_file->m_fuzzed_data_provider.ConsumeBytes<uint8_t>(size);
300 [ + + ]: 17480 : if (random_bytes.empty()) {
301 : : return 0;
302 : : }
303 [ - + ]: 15703 : std::memcpy(buf, random_bytes.data(), random_bytes.size());
304 [ - + ]: 15703 : if (AdditionOverflow(fuzzed_file->m_offset, (int64_t)random_bytes.size())) {
305 [ # # ]: 0 : return fuzzed_file->m_fuzzed_data_provider.ConsumeBool() ? 0 : -1;
306 : : }
307 : 15703 : fuzzed_file->m_offset += random_bytes.size();
308 : 15703 : return random_bytes.size();
309 : 17480 : }
310 : :
311 : 1281 : ssize_t FuzzedFileProvider::write(void* cookie, const char* buf, size_t size)
312 : : {
313 : 1281 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
314 : 1281 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
315 : 1281 : const ssize_t n = fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<ssize_t>(0, size);
316 [ + - ]: 1281 : if (AdditionOverflow(fuzzed_file->m_offset, (int64_t)n)) {
317 : : return 0;
318 : : }
319 : 1281 : fuzzed_file->m_offset += n;
320 : 1281 : return n;
321 : : }
322 : :
323 : 5484 : int FuzzedFileProvider::seek(void* cookie, int64_t* offset, int whence)
324 : : {
325 [ - + ]: 5484 : assert(whence == SEEK_SET || whence == SEEK_CUR || whence == SEEK_END);
326 : 5484 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
327 : 5484 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
328 : 5484 : int64_t new_offset = 0;
329 [ - + ]: 5484 : if (whence == SEEK_SET) {
330 : 0 : new_offset = *offset;
331 [ + - ]: 5484 : } else if (whence == SEEK_CUR) {
332 [ + - ]: 5484 : if (AdditionOverflow(fuzzed_file->m_offset, *offset)) {
333 : : return -1;
334 : : }
335 : 5484 : new_offset = fuzzed_file->m_offset + *offset;
336 [ # # ]: 0 : } else if (whence == SEEK_END) {
337 : 0 : const int64_t n = fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(0, 4096);
338 [ # # ]: 0 : if (AdditionOverflow(n, *offset)) {
339 : : return -1;
340 : : }
341 : 0 : new_offset = n + *offset;
342 : : }
343 [ + + ]: 5484 : if (new_offset < 0) {
344 : : return -1;
345 : : }
346 : 5232 : fuzzed_file->m_offset = new_offset;
347 : 5232 : *offset = new_offset;
348 : 5232 : return fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<int>(-1, 0);
349 : : }
350 : :
351 : 5110 : int FuzzedFileProvider::close(void* cookie)
352 : : {
353 : 5110 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
354 : 5110 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
355 : 5110 : return fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<int>(-1, 0);
356 : : }
|
