Bitcoin Core
31.1.0
P2P Digital Currency
Toggle main menu visibility
Loading...
Searching...
No Matches
src
test
fuzz
script_interpreter.cpp
Go to the documentation of this file.
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 <
primitives/transaction.h
>
6
#include <
script/interpreter.h
>
7
#include <
test/fuzz/FuzzedDataProvider.h
>
8
#include <
test/fuzz/fuzz.h
>
9
#include <
test/fuzz/util.h
>
10
#include <
util/check.h
>
11
12
#include <cstdint>
13
#include <optional>
14
#include <string>
15
#include <vector>
16
17
bool
CastToBool
(
const
std::vector<unsigned char>& vch);
18
19
FUZZ_TARGET
(script_interpreter)
20
{
21
FuzzedDataProvider
fuzzed_data_provider(buffer.data(), buffer.size());
22
{
23
const
CScript
script_code =
ConsumeScript
(fuzzed_data_provider);
24
const
std::optional<CMutableTransaction> mtx =
ConsumeDeserializable<CMutableTransaction>
(fuzzed_data_provider,
TX_WITH_WITNESS
);
25
if
(mtx) {
26
const
CTransaction
tx_to{*mtx};
27
const
unsigned
int
in = fuzzed_data_provider.
ConsumeIntegral
<
unsigned
int
>();
28
if
(in < tx_to.
vin
.size()) {
29
auto
n_hash_type = fuzzed_data_provider.
ConsumeIntegral
<
int
>();
30
auto
amount =
ConsumeMoney
(fuzzed_data_provider);
31
auto
sigversion = fuzzed_data_provider.
PickValueInArray
({
SigVersion::BASE
,
SigVersion::WITNESS_V0
});
32
(void)
SignatureHash
(script_code, tx_to, in, n_hash_type, amount, sigversion,
nullptr
);
33
const
std::optional<CMutableTransaction> mtx_precomputed =
ConsumeDeserializable<CMutableTransaction>
(fuzzed_data_provider,
TX_WITH_WITNESS
);
34
if
(mtx_precomputed) {
35
const
CTransaction
tx_precomputed{*mtx_precomputed};
36
const
PrecomputedTransactionData
precomputed_transaction_data{tx_precomputed};
37
n_hash_type = fuzzed_data_provider.
ConsumeIntegral
<
int
>();
38
amount =
ConsumeMoney
(fuzzed_data_provider);
39
sigversion = fuzzed_data_provider.
PickValueInArray
({
SigVersion::BASE
,
SigVersion::WITNESS_V0
});
40
(void)
SignatureHash
(script_code, tx_to, in, n_hash_type, amount, sigversion, &precomputed_transaction_data);
41
}
42
}
43
}
44
}
45
{
46
(void)
CastToBool
(
ConsumeRandomLengthByteVector
(fuzzed_data_provider));
47
}
48
}
49
51
FUZZ_TARGET
(sighash_cache)
52
{
53
FuzzedDataProvider
provider(buffer.data(), buffer.size());
54
55
// Get inputs to the sighash function that won't change across types.
56
const
auto
scriptcode{
ConsumeScript
(provider)};
57
const
auto
tx{
ConsumeTransaction
(provider, std::nullopt)};
58
if
(tx.vin.empty())
return
;
59
const
auto
in_index{provider.
ConsumeIntegralInRange
<uint32_t>(0, tx.vin.size() - 1)};
60
const
auto
amount{
ConsumeMoney
(provider)};
61
const
auto
sigversion{(
SigVersion
)provider.
ConsumeIntegralInRange
(0, 1)};
62
63
// Check the sighash function will give the same result for 100 fuzzer-generated hash types whether or not a cache is
64
// provided. The cache is conserved across types to exercise cache hits.
65
SigHashCache
sighash_cache{};
66
for
(
int
i{0}; i < 100; ++i) {
67
const
auto
hash_type{((i & 2) == 0) ? provider.
ConsumeIntegral
<int8_t>() : provider.
ConsumeIntegral
<int32_t>()};
68
const
auto
nocache_res{
SignatureHash
(scriptcode, tx, in_index, hash_type, amount, sigversion)};
69
const
auto
cache_res{
SignatureHash
(scriptcode, tx, in_index, hash_type, amount, sigversion,
nullptr
, &sighash_cache)};
70
Assert
(nocache_res == cache_res);
71
}
72
}
FuzzedDataProvider.h
check.h
Assert
#define Assert(val)
Identity function.
Definition
check.h:113
CScript
Serialized script, used inside transaction inputs and outputs.
Definition
script.h:405
CTransaction
The basic transaction that is broadcasted on the network and contained in blocks.
Definition
transaction.h:281
CTransaction::vin
const std::vector< CTxIn > vin
Definition
transaction.h:291
FuzzedDataProvider
Definition
FuzzedDataProvider.h:32
FuzzedDataProvider::ConsumeIntegralInRange
T ConsumeIntegralInRange(T min, T max)
Definition
FuzzedDataProvider.h:205
FuzzedDataProvider::PickValueInArray
T PickValueInArray(const T(&array)[size])
Definition
FuzzedDataProvider.h:304
FuzzedDataProvider::ConsumeIntegral
T ConsumeIntegral()
Definition
FuzzedDataProvider.h:195
SigHashCache
Data structure to cache SHA256 midstates for the ECDSA sighash calculations (bare,...
Definition
interpreter.h:255
fuzz.h
FUZZ_TARGET
#define FUZZ_TARGET(...)
Definition
fuzz.h:35
SignatureHash
uint256 SignatureHash(const CScript &scriptCode, const T &txTo, unsigned int nIn, int32_t nHashType, const CAmount &amount, SigVersion sigversion, const PrecomputedTransactionData *cache, SigHashCache *sighash_cache)
Definition
interpreter.cpp:1600
interpreter.h
SigVersion
SigVersion
Definition
interpreter.h:201
SigVersion::BASE
@ BASE
Bare scripts and BIP16 P2SH-wrapped redeemscripts.
Definition
interpreter.h:202
SigVersion::WITNESS_V0
@ WITNESS_V0
Witness v0 (P2WPKH and P2WSH); see BIP 141.
Definition
interpreter.h:203
transaction.h
TX_WITH_WITNESS
static constexpr TransactionSerParams TX_WITH_WITNESS
Definition
transaction.h:180
CastToBool
bool CastToBool(const std::vector< unsigned char > &vch)
Definition
interpreter.cpp:36
PrecomputedTransactionData
Definition
interpreter.h:164
ConsumeScript
CScript ConsumeScript(FuzzedDataProvider &fuzzed_data_provider, const bool maybe_p2wsh) noexcept
Definition
util.cpp:98
ConsumeTransaction
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
Definition
util.cpp:47
ConsumeMoney
CAmount ConsumeMoney(FuzzedDataProvider &fuzzed_data_provider, const std::optional< CAmount > &max) noexcept
Definition
util.cpp:29
util.h
ConsumeRandomLengthByteVector
std::vector< B > ConsumeRandomLengthByteVector(FuzzedDataProvider &fuzzed_data_provider, const std::optional< size_t > &max_length=std::nullopt) noexcept
Definition
util.h:57
ConsumeDeserializable
std::optional< T > ConsumeDeserializable(FuzzedDataProvider &fuzzed_data_provider, const P ¶ms, const std::optional< size_t > &max_length=std::nullopt) noexcept
Definition
util.h:100
Generated on
for Bitcoin Core by
1.17.0