mirror of
https://github.com/bitcoin/bitcoin.git
synced 2026-01-19 06:43:45 +01:00
fa6dfaaf45
-BEGIN VERIFY SCRIPT-
ren() { sed --regexp-extended -i "s|$1|$2|g" $(git grep -l --extended-regexp "$1"); }
# Replace FUZZ_TARGET_INIT
ren 'FUZZ_TARGET_INIT\((.+), (.+)\)' 'FUZZ_TARGET(\1, .init = \2)'
# Delete unused FUZZ_TARGET_INIT
sed -i -e '37,39d' src/test/fuzz/fuzz.h
-END VERIFY SCRIPT-
115 lines
3.4 KiB
C++
115 lines
3.4 KiB
C++
// Copyright (c) 2019-2022 The Bitcoin Core developers
|
|
// Distributed under the MIT software license, see the accompanying
|
|
// file COPYING or http://www.opensource.org/licenses/mit-license.php.
|
|
|
|
#include <chainparams.h>
|
|
#include <coins.h>
|
|
#include <consensus/tx_check.h>
|
|
#include <consensus/tx_verify.h>
|
|
#include <consensus/validation.h>
|
|
#include <core_io.h>
|
|
#include <core_memusage.h>
|
|
#include <policy/policy.h>
|
|
#include <policy/settings.h>
|
|
#include <primitives/transaction.h>
|
|
#include <streams.h>
|
|
#include <test/fuzz/fuzz.h>
|
|
#include <univalue.h>
|
|
#include <util/chaintype.h>
|
|
#include <util/rbf.h>
|
|
#include <validation.h>
|
|
#include <version.h>
|
|
|
|
#include <cassert>
|
|
|
|
void initialize_transaction()
|
|
{
|
|
SelectParams(ChainType::REGTEST);
|
|
}
|
|
|
|
FUZZ_TARGET(transaction, .init = initialize_transaction)
|
|
{
|
|
CDataStream ds(buffer, SER_NETWORK, INIT_PROTO_VERSION);
|
|
try {
|
|
int nVersion;
|
|
ds >> nVersion;
|
|
ds.SetVersion(nVersion);
|
|
} catch (const std::ios_base::failure&) {
|
|
return;
|
|
}
|
|
bool valid_tx = true;
|
|
const CTransaction tx = [&] {
|
|
try {
|
|
return CTransaction(deserialize, ds);
|
|
} catch (const std::ios_base::failure&) {
|
|
valid_tx = false;
|
|
return CTransaction{CMutableTransaction{}};
|
|
}
|
|
}();
|
|
bool valid_mutable_tx = true;
|
|
CDataStream ds_mtx(buffer, SER_NETWORK, INIT_PROTO_VERSION);
|
|
CMutableTransaction mutable_tx;
|
|
try {
|
|
int nVersion;
|
|
ds_mtx >> nVersion;
|
|
ds_mtx.SetVersion(nVersion);
|
|
ds_mtx >> mutable_tx;
|
|
} catch (const std::ios_base::failure&) {
|
|
valid_mutable_tx = false;
|
|
}
|
|
assert(valid_tx == valid_mutable_tx);
|
|
if (!valid_tx) {
|
|
return;
|
|
}
|
|
|
|
{
|
|
TxValidationState state_with_dupe_check;
|
|
const bool res{CheckTransaction(tx, state_with_dupe_check)};
|
|
Assert(res == state_with_dupe_check.IsValid());
|
|
}
|
|
|
|
const CFeeRate dust_relay_fee{DUST_RELAY_TX_FEE};
|
|
std::string reason;
|
|
const bool is_standard_with_permit_bare_multisig = IsStandardTx(tx, std::nullopt, /* permit_bare_multisig= */ true, dust_relay_fee, reason);
|
|
const bool is_standard_without_permit_bare_multisig = IsStandardTx(tx, std::nullopt, /* permit_bare_multisig= */ false, dust_relay_fee, reason);
|
|
if (is_standard_without_permit_bare_multisig) {
|
|
assert(is_standard_with_permit_bare_multisig);
|
|
}
|
|
|
|
(void)tx.GetHash();
|
|
(void)tx.GetTotalSize();
|
|
try {
|
|
(void)tx.GetValueOut();
|
|
} catch (const std::runtime_error&) {
|
|
}
|
|
(void)tx.GetWitnessHash();
|
|
(void)tx.HasWitness();
|
|
(void)tx.IsCoinBase();
|
|
(void)tx.IsNull();
|
|
(void)tx.ToString();
|
|
|
|
(void)EncodeHexTx(tx);
|
|
(void)GetLegacySigOpCount(tx);
|
|
(void)GetTransactionWeight(tx);
|
|
(void)GetVirtualTransactionSize(tx);
|
|
(void)IsFinalTx(tx, /* nBlockHeight= */ 1024, /* nBlockTime= */ 1024);
|
|
(void)RecursiveDynamicUsage(tx);
|
|
(void)SignalsOptInRBF(tx);
|
|
|
|
CCoinsView coins_view;
|
|
const CCoinsViewCache coins_view_cache(&coins_view);
|
|
(void)AreInputsStandard(tx, coins_view_cache);
|
|
(void)IsWitnessStandard(tx, coins_view_cache);
|
|
|
|
if (tx.GetTotalSize() < 250'000) { // Avoid high memory usage (with msan) due to json encoding
|
|
{
|
|
UniValue u{UniValue::VOBJ};
|
|
TxToUniv(tx, /*block_hash=*/uint256::ZERO, /*entry=*/u);
|
|
}
|
|
{
|
|
UniValue u{UniValue::VOBJ};
|
|
TxToUniv(tx, /*block_hash=*/uint256::ONE, /*entry=*/u);
|
|
}
|
|
}
|
|
}
|