Branch data Line data Source code
1 : : // Copyright (c) 2021-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 <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 : 2391476 : std::vector<uint8_t> ConstructPubKeyBytes(FuzzedDataProvider& fuzzed_data_provider, Span<const uint8_t> byte_data, const bool compressed) noexcept
17 : : {
18 : 2391476 : uint8_t pk_type;
19 [ + + ]: 2391476 : if (compressed) {
20 : 2193062 : pk_type = fuzzed_data_provider.PickValueInArray({0x02, 0x03});
21 : : } else {
22 : 198414 : pk_type = fuzzed_data_provider.PickValueInArray({0x04, 0x06, 0x07});
23 : : }
24 [ + + ]: 2589890 : std::vector<uint8_t> pk_data{byte_data.begin(), byte_data.begin() + (compressed ? CPubKey::COMPRESSED_SIZE : CPubKey::SIZE)};
25 : 2391476 : pk_data[0] = pk_type;
26 : 2391476 : return pk_data;
27 : : }
28 : :
29 : 1442451 : CAmount ConsumeMoney(FuzzedDataProvider& fuzzed_data_provider, const std::optional<CAmount>& max) noexcept
30 : : {
31 [ + + ]: 2564658 : return fuzzed_data_provider.ConsumeIntegralInRange<CAmount>(0, max.value_or(MAX_MONEY));
32 : : }
33 : :
34 : 1172019 : 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 [ + + + - : 1172019 : static const int64_t time_min{ParseISO8601DateTime("2000-01-01T00:00:01Z").value()};
+ - ]
38 [ + + + - : 1172019 : static const int64_t time_max{ParseISO8601DateTime("2100-12-31T23:59:59Z").value()};
+ - ]
39 [ + + + + ]: 3516057 : return fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(min.value_or(time_min), max.value_or(time_max));
40 : : }
41 : :
42 : 258152 : 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 : 258152 : CMutableTransaction tx_mut;
45 : 258152 : const auto p2wsh_op_true = fuzzed_data_provider.ConsumeBool();
46 [ + + ]: 258152 : tx_mut.version = fuzzed_data_provider.ConsumeBool() ?
47 : : CTransaction::CURRENT_VERSION :
48 : 30391 : fuzzed_data_provider.ConsumeIntegral<uint32_t>();
49 : 258152 : tx_mut.nLockTime = fuzzed_data_provider.ConsumeIntegral<uint32_t>();
50 : 258152 : const auto num_in = fuzzed_data_provider.ConsumeIntegralInRange<int>(0, max_num_in);
51 : 258152 : const auto num_out = fuzzed_data_provider.ConsumeIntegralInRange<int>(0, max_num_out);
52 [ + + ]: 625499 : for (int i = 0; i < num_in; ++i) {
53 [ + - ]: 367347 : const auto& txid_prev = prevout_txids ?
54 : 367347 : PickValue(fuzzed_data_provider, *prevout_txids) :
55 : 367347 : Txid::FromUint256(ConsumeUInt256(fuzzed_data_provider));
56 : 367347 : const auto index_out = fuzzed_data_provider.ConsumeIntegralInRange<uint32_t>(0, max_num_out);
57 : 367347 : const auto sequence = ConsumeSequence(fuzzed_data_provider);
58 [ + + ]: 367347 : const auto script_sig = p2wsh_op_true ? CScript{} : ConsumeScript(fuzzed_data_provider);
59 : 367347 : CScriptWitness script_wit;
60 [ + + ]: 367347 : if (p2wsh_op_true) {
61 [ + + ]: 647622 : script_wit.stack = std::vector<std::vector<uint8_t>>{WITNESS_STACK_ELEM_OP_TRUE};
62 : : } else {
63 : 43536 : script_wit = ConsumeScriptWitness(fuzzed_data_provider);
64 : : }
65 : 367347 : CTxIn in;
66 : 367347 : in.prevout = COutPoint{txid_prev, index_out};
67 : 367347 : in.nSequence = sequence;
68 : 367347 : in.scriptSig = script_sig;
69 : 367347 : in.scriptWitness = script_wit;
70 : :
71 : 367347 : tx_mut.vin.push_back(in);
72 : 367347 : }
73 [ + + ]: 695638 : for (int i = 0; i < num_out; ++i) {
74 : 437486 : const auto amount = fuzzed_data_provider.ConsumeIntegralInRange<CAmount>(-10, 50 * COIN + 10);
75 [ + + ]: 437486 : const auto script_pk = p2wsh_op_true ?
76 : : P2WSH_OP_TRUE :
77 : 437486 : ConsumeScript(fuzzed_data_provider, /*maybe_p2wsh=*/true);
78 : 437486 : tx_mut.vout.emplace_back(amount, script_pk);
79 : 437486 : }
80 : 258152 : return tx_mut;
81 : 323811 : }
82 : :
83 : 43536 : CScriptWitness ConsumeScriptWitness(FuzzedDataProvider& fuzzed_data_provider, const size_t max_stack_elem_size) noexcept
84 : : {
85 : 43536 : CScriptWitness ret;
86 : 43536 : const auto n_elements = fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, max_stack_elem_size);
87 [ + + ]: 132939 : for (size_t i = 0; i < n_elements; ++i) {
88 : 89403 : ret.stack.push_back(ConsumeRandomLengthByteVector(fuzzed_data_provider));
89 : : }
90 : 43536 : return ret;
91 : : }
92 : :
93 : 532731 : CScript ConsumeScript(FuzzedDataProvider& fuzzed_data_provider, const bool maybe_p2wsh) noexcept
94 : : {
95 : 532731 : CScript r_script{};
96 : 532731 : {
97 : : // Keep a buffer of bytes to allow the fuzz engine to produce smaller
98 : : // inputs to generate CScripts with repeated data.
99 : 532731 : static constexpr unsigned MAX_BUFFER_SZ{128};
100 : 532731 : std::vector<uint8_t> buffer(MAX_BUFFER_SZ, uint8_t{'a'});
101 [ + + ]: 22608341 : while (fuzzed_data_provider.ConsumeBool()) {
102 : 22075610 : CallOneOf(
103 : : fuzzed_data_provider,
104 : 4331865 : [&] {
105 : : // Insert byte vector directly to allow malformed or unparsable scripts
106 : 4331865 : r_script.insert(r_script.end(), buffer.begin(), buffer.begin() + fuzzed_data_provider.ConsumeIntegralInRange(0U, MAX_BUFFER_SZ));
107 : 4331865 : },
108 : 16630263 : [&] {
109 : : // Push a byte vector from the buffer
110 : 16630263 : r_script << std::vector<uint8_t>{buffer.begin(), buffer.begin() + fuzzed_data_provider.ConsumeIntegralInRange(0U, MAX_BUFFER_SZ)};
111 : 16630263 : },
112 : 261319 : [&] {
113 : : // Push multisig
114 : : // There is a special case for this to aid the fuzz engine
115 : : // navigate the highly structured multisig format.
116 : 261319 : r_script << fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(0, 22);
117 : 261319 : int num_data{fuzzed_data_provider.ConsumeIntegralInRange(1, 22)};
118 [ + + ]: 2911650 : while (num_data--) {
119 : 2389012 : auto pubkey_bytes{ConstructPubKeyBytes(fuzzed_data_provider, buffer, fuzzed_data_provider.ConsumeBool())};
120 [ + + ]: 2389012 : if (fuzzed_data_provider.ConsumeBool()) {
121 : 2193608 : pubkey_bytes.back() = num_data; // Make each pubkey different
122 : : }
123 : 2389012 : r_script << pubkey_bytes;
124 : 2389012 : }
125 : 261319 : r_script << fuzzed_data_provider.ConsumeIntegralInRange<int64_t>(0, 22);
126 : 261319 : },
127 : 154565 : [&] {
128 : : // Mutate the buffer
129 : 154565 : const auto vec{ConsumeRandomLengthByteVector(fuzzed_data_provider, /*max_length=*/MAX_BUFFER_SZ)};
130 : 154565 : std::copy(vec.begin(), vec.end(), buffer.begin());
131 : 154565 : },
132 : 219813 : [&] {
133 : : // Push an integral
134 : 219813 : r_script << fuzzed_data_provider.ConsumeIntegral<int64_t>();
135 : 219813 : },
136 : 304982 : [&] {
137 : : // Push an opcode
138 : 304982 : r_script << ConsumeOpcodeType(fuzzed_data_provider);
139 : 304982 : },
140 : 172803 : [&] {
141 : : // Push a scriptnum
142 : 172803 : r_script << ConsumeScriptNum(fuzzed_data_provider);
143 : 172803 : });
144 : : }
145 : 532731 : }
146 [ + + + + ]: 606302 : if (maybe_p2wsh && fuzzed_data_provider.ConsumeBool()) {
147 : 26737 : uint256 script_hash;
148 [ + + + + ]: 61065 : CSHA256().Write(r_script.data(), r_script.size()).Finalize(script_hash.begin());
149 : 26737 : r_script.clear();
150 : 26737 : r_script << OP_0 << ToByteVector(script_hash);
151 : : }
152 : 532731 : return r_script;
153 : : }
154 : :
155 : 17624844 : uint32_t ConsumeSequence(FuzzedDataProvider& fuzzed_data_provider) noexcept
156 : : {
157 [ + + ]: 17624844 : return fuzzed_data_provider.ConsumeBool() ?
158 : 12365014 : fuzzed_data_provider.PickValueInArray({
159 : : CTxIn::SEQUENCE_FINAL,
160 : : CTxIn::MAX_SEQUENCE_NONFINAL,
161 : : MAX_BIP125_RBF_SEQUENCE,
162 : : }) :
163 : 5259830 : fuzzed_data_provider.ConsumeIntegral<uint32_t>();
164 : : }
165 : :
166 : 4406 : std::map<COutPoint, Coin> ConsumeCoins(FuzzedDataProvider& fuzzed_data_provider) noexcept
167 : : {
168 : 4406 : std::map<COutPoint, Coin> coins;
169 [ + + + - ]: 17458 : LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000) {
170 : 14111 : const std::optional<COutPoint> outpoint{ConsumeDeserializable<COutPoint>(fuzzed_data_provider)};
171 [ + + ]: 14111 : if (!outpoint) {
172 : : break;
173 : : }
174 : 13363 : const std::optional<Coin> coin{ConsumeDeserializable<Coin>(fuzzed_data_provider)};
175 [ + + ]: 13363 : if (!coin) {
176 : : break;
177 : : }
178 : 13052 : coins[*outpoint] = *coin;
179 : 13363 : }
180 : :
181 : 4406 : return coins;
182 : : }
183 : :
184 : 21744 : CTxDestination ConsumeTxDestination(FuzzedDataProvider& fuzzed_data_provider) noexcept
185 : : {
186 : 21744 : CTxDestination tx_destination;
187 : 21744 : const size_t call_size{CallOneOf(
188 : : fuzzed_data_provider,
189 : 4514 : [&] {
190 : 4514 : tx_destination = CNoDestination{};
191 : 4514 : },
192 : 2464 : [&] {
193 : 2464 : bool compressed = fuzzed_data_provider.ConsumeBool();
194 : 4928 : CPubKey pk{ConstructPubKeyBytes(
195 : : fuzzed_data_provider,
196 [ + + ]: 3715 : ConsumeFixedLengthByteVector(fuzzed_data_provider, (compressed ? CPubKey::COMPRESSED_SIZE : CPubKey::SIZE)),
197 : : compressed
198 : 2464 : )};
199 : 2464 : tx_destination = PubKeyDestination{pk};
200 : 2464 : },
201 : 1852 : [&] {
202 : 1852 : tx_destination = PKHash{ConsumeUInt160(fuzzed_data_provider)};
203 : 1852 : },
204 : 1635 : [&] {
205 : 1635 : tx_destination = ScriptHash{ConsumeUInt160(fuzzed_data_provider)};
206 : 1635 : },
207 : 2481 : [&] {
208 : 2481 : tx_destination = WitnessV0ScriptHash{ConsumeUInt256(fuzzed_data_provider)};
209 : 2481 : },
210 : 1477 : [&] {
211 : 1477 : tx_destination = WitnessV0KeyHash{ConsumeUInt160(fuzzed_data_provider)};
212 : 1477 : },
213 : 4320 : [&] {
214 : 4320 : tx_destination = WitnessV1Taproot{XOnlyPubKey{ConsumeUInt256(fuzzed_data_provider)}};
215 : 4320 : },
216 : 681 : [&] {
217 : 681 : tx_destination = PayToAnchor{};
218 : 681 : },
219 : 2320 : [&] {
220 : 2320 : std::vector<unsigned char> program{ConsumeRandomLengthByteVector(fuzzed_data_provider, /*max_length=*/40)};
221 [ + + ]: 2320 : if (program.size() < 2) {
222 [ + - ]: 493 : program = {0, 0};
223 : : }
224 [ + - ]: 2320 : tx_destination = WitnessUnknown{fuzzed_data_provider.ConsumeIntegralInRange<unsigned int>(2, 16), program};
225 : 2320 : })};
226 : 21744 : Assert(call_size == std::variant_size_v<CTxDestination>);
227 : 21744 : return tx_destination;
228 : : }
229 : :
230 : 52985 : CKey ConsumePrivateKey(FuzzedDataProvider& fuzzed_data_provider, std::optional<bool> compressed) noexcept
231 : : {
232 : 52985 : auto key_data = fuzzed_data_provider.ConsumeBytes<uint8_t>(32);
233 : 52985 : key_data.resize(32);
234 : 52985 : CKey key;
235 [ + + ]: 97039 : bool compressed_value = compressed ? *compressed : fuzzed_data_provider.ConsumeBool();
236 : 52985 : key.Set(key_data.begin(), key_data.end(), compressed_value);
237 : 52985 : return key;
238 : 52985 : }
239 : :
240 : 428 : bool ContainsSpentInput(const CTransaction& tx, const CCoinsViewCache& inputs) noexcept
241 : : {
242 [ + + ]: 3968 : for (const CTxIn& tx_in : tx.vin) {
243 : 3597 : const Coin& coin = inputs.AccessCoin(tx_in.prevout);
244 [ + + ]: 3597 : if (coin.IsSpent()) {
245 : : return true;
246 : : }
247 : : }
248 : : return false;
249 : : }
250 : :
251 : 6674 : FILE* FuzzedFileProvider::open()
252 : : {
253 : 6674 : SetFuzzedErrNo(m_fuzzed_data_provider);
254 [ + + ]: 6674 : if (m_fuzzed_data_provider.ConsumeBool()) {
255 : : return nullptr;
256 : : }
257 [ + - ]: 6182 : std::string mode;
258 [ + - ]: 6182 : CallOneOf(
259 : : m_fuzzed_data_provider,
260 : 4487 : [&] {
261 : 4487 : mode = "r";
262 : 4487 : },
263 : 573 : [&] {
264 : 573 : mode = "r+";
265 : 573 : },
266 : 159 : [&] {
267 : 159 : mode = "w";
268 : 159 : },
269 : 467 : [&] {
270 : 467 : mode = "w+";
271 : 467 : },
272 : 100 : [&] {
273 : 100 : mode = "a";
274 : 100 : },
275 : 396 : [&] {
276 : 396 : mode = "a+";
277 : 396 : });
278 : : #if defined _GNU_SOURCE && (defined(__linux__) || defined(__FreeBSD__))
279 : 6182 : const cookie_io_functions_t io_hooks = {
280 : : FuzzedFileProvider::read,
281 : : FuzzedFileProvider::write,
282 : : FuzzedFileProvider::seek,
283 : : FuzzedFileProvider::close,
284 : : };
285 : 6182 : return fopencookie(this, mode.c_str(), io_hooks);
286 : : #else
287 : : (void)mode;
288 : : return nullptr;
289 : : #endif
290 : 6182 : }
291 : :
292 : 33347 : ssize_t FuzzedFileProvider::read(void* cookie, char* buf, size_t size)
293 : : {
294 : 33347 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
295 : 33347 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
296 [ + - + + ]: 33347 : if (buf == nullptr || size == 0 || fuzzed_file->m_fuzzed_data_provider.ConsumeBool()) {
297 [ + + ]: 2418 : return fuzzed_file->m_fuzzed_data_provider.ConsumeBool() ? 0 : -1;
298 : : }
299 : 30929 : const std::vector<uint8_t> random_bytes = fuzzed_file->m_fuzzed_data_provider.ConsumeBytes<uint8_t>(size);
300 [ + + ]: 30929 : if (random_bytes.empty()) {
301 : : return 0;
302 : : }
303 [ - + ]: 28961 : std::memcpy(buf, random_bytes.data(), random_bytes.size());
304 [ - + ]: 28961 : 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 : 28961 : fuzzed_file->m_offset += random_bytes.size();
308 : 28961 : return random_bytes.size();
309 : 30929 : }
310 : :
311 : 1975 : ssize_t FuzzedFileProvider::write(void* cookie, const char* buf, size_t size)
312 : : {
313 : 1975 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
314 : 1975 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
315 : 1975 : const ssize_t n = fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<ssize_t>(0, size);
316 [ + - ]: 1975 : if (AdditionOverflow(fuzzed_file->m_offset, (int64_t)n)) {
317 : : return 0;
318 : : }
319 : 1975 : fuzzed_file->m_offset += n;
320 : 1975 : return n;
321 : : }
322 : :
323 : 6769 : int FuzzedFileProvider::seek(void* cookie, int64_t* offset, int whence)
324 : : {
325 [ - + ]: 6769 : assert(whence == SEEK_SET || whence == SEEK_CUR || whence == SEEK_END);
326 : 6769 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
327 : 6769 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
328 : 6769 : int64_t new_offset = 0;
329 [ - + ]: 6769 : if (whence == SEEK_SET) {
330 : 0 : new_offset = *offset;
331 [ + - ]: 6769 : } else if (whence == SEEK_CUR) {
332 [ + - ]: 6769 : if (AdditionOverflow(fuzzed_file->m_offset, *offset)) {
333 : : return -1;
334 : : }
335 : 6769 : 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 [ + + ]: 6769 : if (new_offset < 0) {
344 : : return -1;
345 : : }
346 : 6426 : fuzzed_file->m_offset = new_offset;
347 : 6426 : *offset = new_offset;
348 : 6426 : return fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<int>(-1, 0);
349 : : }
350 : :
351 : 6182 : int FuzzedFileProvider::close(void* cookie)
352 : : {
353 : 6182 : FuzzedFileProvider* fuzzed_file = (FuzzedFileProvider*)cookie;
354 : 6182 : SetFuzzedErrNo(fuzzed_file->m_fuzzed_data_provider);
355 : 6182 : return fuzzed_file->m_fuzzed_data_provider.ConsumeIntegralInRange<int>(-1, 0);
356 : : }
|
