mirror of
https://github.com/bitcoin/bitcoin.git
synced 2025-02-06 10:18:44 -05:00
214d9055ac
Blindly chose a cap of 10000 iterations for every loop, except for the two in script_ops.cpp and scriptnum_ops.cpp which appeared to (sometimes) be deserializing individual bytes; capped those to one million to ensure that sometimes we try working with massive scripts. There was also one fuzzer-controlled loop in timedata.cpp which was already capped, so I left that alone. git grep 'while (fuzz' should now run clean except for timedata.cpp
65 lines
2.3 KiB
C++
65 lines
2.3 KiB
C++
// Copyright (c) 2020 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 <chain.h>
|
|
#include <test/fuzz/FuzzedDataProvider.h>
|
|
#include <test/fuzz/fuzz.h>
|
|
#include <test/fuzz/util.h>
|
|
|
|
#include <cstdint>
|
|
#include <optional>
|
|
#include <vector>
|
|
|
|
FUZZ_TARGET(chain)
|
|
{
|
|
FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
|
|
std::optional<CDiskBlockIndex> disk_block_index = ConsumeDeserializable<CDiskBlockIndex>(fuzzed_data_provider);
|
|
if (!disk_block_index) {
|
|
return;
|
|
}
|
|
|
|
const uint256 zero{};
|
|
disk_block_index->phashBlock = &zero;
|
|
(void)disk_block_index->GetBlockHash();
|
|
(void)disk_block_index->GetBlockPos();
|
|
(void)disk_block_index->GetBlockTime();
|
|
(void)disk_block_index->GetBlockTimeMax();
|
|
(void)disk_block_index->GetMedianTimePast();
|
|
(void)disk_block_index->GetUndoPos();
|
|
(void)disk_block_index->HaveTxsDownloaded();
|
|
(void)disk_block_index->IsValid();
|
|
(void)disk_block_index->ToString();
|
|
|
|
const CBlockHeader block_header = disk_block_index->GetBlockHeader();
|
|
(void)CDiskBlockIndex{*disk_block_index};
|
|
(void)disk_block_index->BuildSkip();
|
|
|
|
LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000) {
|
|
const BlockStatus block_status = fuzzed_data_provider.PickValueInArray({
|
|
BlockStatus::BLOCK_VALID_UNKNOWN,
|
|
BlockStatus::BLOCK_VALID_RESERVED,
|
|
BlockStatus::BLOCK_VALID_TREE,
|
|
BlockStatus::BLOCK_VALID_TRANSACTIONS,
|
|
BlockStatus::BLOCK_VALID_CHAIN,
|
|
BlockStatus::BLOCK_VALID_SCRIPTS,
|
|
BlockStatus::BLOCK_VALID_MASK,
|
|
BlockStatus::BLOCK_HAVE_DATA,
|
|
BlockStatus::BLOCK_HAVE_UNDO,
|
|
BlockStatus::BLOCK_HAVE_MASK,
|
|
BlockStatus::BLOCK_FAILED_VALID,
|
|
BlockStatus::BLOCK_FAILED_CHILD,
|
|
BlockStatus::BLOCK_FAILED_MASK,
|
|
BlockStatus::BLOCK_OPT_WITNESS,
|
|
});
|
|
if (block_status & ~BLOCK_VALID_MASK) {
|
|
continue;
|
|
}
|
|
(void)disk_block_index->RaiseValidity(block_status);
|
|
}
|
|
|
|
CBlockIndex block_index{block_header};
|
|
block_index.phashBlock = &zero;
|
|
(void)block_index.GetBlockHash();
|
|
(void)block_index.ToString();
|
|
}
|