mirror of
https://github.com/bitcoin/bitcoin.git
synced 2025-02-22 12:23:34 -05:00
[fuzz] txorphan byte accounting
Co-authored-by: Greg Sanders <gsanders87@gmail.com>
This commit is contained in:
parent
982ce10178
commit
22dccea553
1 changed files with 47 additions and 2 deletions
|
@ -75,6 +75,8 @@ FUZZ_TARGET(txorphan, .init = initialize_orphanage)
|
||||||
return new_tx;
|
return new_tx;
|
||||||
}();
|
}();
|
||||||
|
|
||||||
|
const auto wtxid{tx->GetWitnessHash()};
|
||||||
|
|
||||||
// Trigger orphanage functions that are called using parents. ptx_potential_parent is a tx we constructed in a
|
// Trigger orphanage functions that are called using parents. ptx_potential_parent is a tx we constructed in a
|
||||||
// previous loop and potentially the parent of this tx.
|
// previous loop and potentially the parent of this tx.
|
||||||
if (ptx_potential_parent) {
|
if (ptx_potential_parent) {
|
||||||
|
@ -94,6 +96,9 @@ FUZZ_TARGET(txorphan, .init = initialize_orphanage)
|
||||||
LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10 * DEFAULT_MAX_ORPHAN_TRANSACTIONS)
|
LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10 * DEFAULT_MAX_ORPHAN_TRANSACTIONS)
|
||||||
{
|
{
|
||||||
NodeId peer_id = fuzzed_data_provider.ConsumeIntegral<NodeId>();
|
NodeId peer_id = fuzzed_data_provider.ConsumeIntegral<NodeId>();
|
||||||
|
const auto total_bytes_start{orphanage.TotalOrphanUsage()};
|
||||||
|
const auto total_peer_bytes_start{orphanage.UsageByPeer(peer_id)};
|
||||||
|
const auto tx_weight{GetTransactionWeight(*tx)};
|
||||||
|
|
||||||
CallOneOf(
|
CallOneOf(
|
||||||
fuzzed_data_provider,
|
fuzzed_data_provider,
|
||||||
|
@ -113,12 +118,29 @@ FUZZ_TARGET(txorphan, .init = initialize_orphanage)
|
||||||
bool add_tx = orphanage.AddTx(tx, peer_id);
|
bool add_tx = orphanage.AddTx(tx, peer_id);
|
||||||
// have_tx == true -> add_tx == false
|
// have_tx == true -> add_tx == false
|
||||||
Assert(!have_tx || !add_tx);
|
Assert(!have_tx || !add_tx);
|
||||||
|
|
||||||
|
if (add_tx) {
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == tx_weight + total_peer_bytes_start);
|
||||||
|
Assert(orphanage.TotalOrphanUsage() == tx_weight + total_bytes_start);
|
||||||
|
Assert(tx_weight <= MAX_STANDARD_TX_WEIGHT);
|
||||||
|
} else {
|
||||||
|
// Peer may have been added as an announcer.
|
||||||
|
if (orphanage.UsageByPeer(peer_id) == tx_weight + total_peer_bytes_start) {
|
||||||
|
Assert(orphanage.HaveTxFromPeer(wtxid, peer_id));
|
||||||
|
} else {
|
||||||
|
// Otherwise, there must not be any change to the peer byte count.
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == total_peer_bytes_start);
|
||||||
|
}
|
||||||
|
|
||||||
|
// Regardless, total bytes should not have changed.
|
||||||
|
Assert(orphanage.TotalOrphanUsage() == total_bytes_start);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
have_tx = orphanage.HaveTx(tx->GetWitnessHash());
|
have_tx = orphanage.HaveTx(tx->GetWitnessHash());
|
||||||
{
|
{
|
||||||
bool add_tx = orphanage.AddTx(tx, peer_id);
|
bool add_tx = orphanage.AddTx(tx, peer_id);
|
||||||
// if have_tx is still false, it must be too big
|
// if have_tx is still false, it must be too big
|
||||||
Assert(!have_tx == (GetTransactionWeight(*tx) > MAX_STANDARD_TX_WEIGHT));
|
Assert(!have_tx == (tx_weight > MAX_STANDARD_TX_WEIGHT));
|
||||||
Assert(!have_tx || !add_tx);
|
Assert(!have_tx || !add_tx);
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
|
@ -132,23 +154,46 @@ FUZZ_TARGET(txorphan, .init = initialize_orphanage)
|
||||||
Assert(have_tx || !added_announcer);
|
Assert(have_tx || !added_announcer);
|
||||||
// have_tx_and_peer == true -> added_announcer == false
|
// have_tx_and_peer == true -> added_announcer == false
|
||||||
Assert(!have_tx_and_peer || !added_announcer);
|
Assert(!have_tx_and_peer || !added_announcer);
|
||||||
|
|
||||||
|
// Total bytes should not have changed. If peer was added as announcer, byte
|
||||||
|
// accounting must have been updated.
|
||||||
|
Assert(orphanage.TotalOrphanUsage() == total_bytes_start);
|
||||||
|
if (added_announcer) {
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == tx_weight + total_peer_bytes_start);
|
||||||
|
} else {
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == total_peer_bytes_start);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
[&] {
|
[&] {
|
||||||
bool have_tx = orphanage.HaveTx(tx->GetWitnessHash());
|
bool have_tx = orphanage.HaveTx(tx->GetWitnessHash());
|
||||||
|
bool have_tx_and_peer{orphanage.HaveTxFromPeer(wtxid, peer_id)};
|
||||||
// EraseTx should return 0 if m_orphans doesn't have the tx
|
// EraseTx should return 0 if m_orphans doesn't have the tx
|
||||||
{
|
{
|
||||||
|
auto bytes_from_peer_before{orphanage.UsageByPeer(peer_id)};
|
||||||
Assert(have_tx == orphanage.EraseTx(tx->GetWitnessHash()));
|
Assert(have_tx == orphanage.EraseTx(tx->GetWitnessHash()));
|
||||||
|
if (have_tx) {
|
||||||
|
Assert(orphanage.TotalOrphanUsage() == total_bytes_start - tx_weight);
|
||||||
|
if (have_tx_and_peer) {
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == bytes_from_peer_before - tx_weight);
|
||||||
|
} else {
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == bytes_from_peer_before);
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
Assert(orphanage.TotalOrphanUsage() == total_bytes_start);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
have_tx = orphanage.HaveTx(tx->GetWitnessHash());
|
have_tx = orphanage.HaveTx(tx->GetWitnessHash());
|
||||||
|
have_tx_and_peer = orphanage.HaveTxFromPeer(wtxid, peer_id);
|
||||||
// have_tx should be false and EraseTx should fail
|
// have_tx should be false and EraseTx should fail
|
||||||
{
|
{
|
||||||
Assert(!have_tx && !orphanage.EraseTx(tx->GetWitnessHash()));
|
Assert(!have_tx && !have_tx_and_peer && !orphanage.EraseTx(wtxid));
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
[&] {
|
[&] {
|
||||||
orphanage.EraseForPeer(peer_id);
|
orphanage.EraseForPeer(peer_id);
|
||||||
Assert(!orphanage.HaveTxFromPeer(tx->GetWitnessHash(), peer_id));
|
Assert(!orphanage.HaveTxFromPeer(tx->GetWitnessHash(), peer_id));
|
||||||
|
Assert(orphanage.UsageByPeer(peer_id) == 0);
|
||||||
},
|
},
|
||||||
[&] {
|
[&] {
|
||||||
// test mocktime and expiry
|
// test mocktime and expiry
|
||||||
|
|
Loading…
Add table
Reference in a new issue