// Copyright (c) 2023-present 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 <chainparams.h>

#include <node/blockstorage.h>

#include <test/fuzz/FuzzedDataProvider.h>

#include <test/fuzz/fuzz.h>

#include <test/fuzz/util.h>

#include <test/util/setup_common.h>

#include <txdb.h>

#include <util/byte_units.h>

#include <validation.h>

using kernel::CBlockFileInfo;

namespace {

const BasicTestingSetup* g_setup;

// Hardcoded block hash and nBits to make sure the blocks we store pass the pow check.

uint256 g_block_hash;

bool operator==(const CBlockFileInfo& a, const CBlockFileInfo& b)

{

    return a.nBlocks == b.nBlocks &&

  Branch (27:12): [True: 0, False: 0]

        a.nSize == b.nSize &&

  Branch (28:9): [True: 0, False: 0]

        a.nUndoSize == b.nUndoSize &&

  Branch (29:9): [True: 0, False: 0]

        a.nHeightFirst == b.nHeightFirst &&

  Branch (30:9): [True: 0, False: 0]

        a.nHeightLast == b.nHeightLast &&

  Branch (31:9): [True: 0, False: 0]

        a.nTimeFirst == b.nTimeFirst &&

  Branch (32:9): [True: 0, False: 0]

        a.nTimeLast == b.nTimeLast;

  Branch (33:9): [True: 0, False: 0]

}

CBlockHeader ConsumeBlockHeader(FuzzedDataProvider& provider)

{

    CBlockHeader header;

    header.nVersion = provider.ConsumeIntegral<decltype(header.nVersion)>();

    header.hashPrevBlock = g_block_hash;

    header.hashMerkleRoot = g_block_hash;

    header.nTime = provider.ConsumeIntegral<decltype(header.nTime)>();

    header.nBits = Params().GenesisBlock().nBits;

    header.nNonce = provider.ConsumeIntegral<decltype(header.nNonce)>();

    return header;

}

} // namespace

void init_block_index()

{

    static const auto testing_setup = MakeNoLogFileContext<>(ChainType::MAIN);

    g_setup = testing_setup.get();

    g_block_hash = Params().GenesisBlock().GetHash();

}

FUZZ_TARGET(block_index, .init = init_block_index)

{

    FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};

    auto block_index = kernel::BlockTreeDB(DBParams{

        .path = "", // Memory only.

        .cache_bytes = 1_MiB,

        .memory_only = true,

    });

    // Generate a number of block files to be stored in the index.

    int files_count = fuzzed_data_provider.ConsumeIntegralInRange(1, 100);

    std::vector<std::unique_ptr<CBlockFileInfo>> files;

    files.reserve(files_count);

    std::vector<std::pair<int, const CBlockFileInfo*>> files_info;

    files_info.reserve(files_count);

    for (int i = 0; i < files_count; i++) {

  Branch (72:21): [True: 0, False: 0]

        if (auto file_info = ConsumeDeserializable<CBlockFileInfo>(fuzzed_data_provider)) {

  Branch (73:18): [True: 0, False: 0]

            files.push_back(std::make_unique<CBlockFileInfo>(std::move(*file_info)));

            files_info.emplace_back(i, files.back().get());

        } else {

            return;

        }

    }

    // Generate a number of block headers to be stored in the index.

    int blocks_count = fuzzed_data_provider.ConsumeIntegralInRange(files_count * 10, files_count * 100);

    std::vector<std::unique_ptr<CBlockIndex>> blocks;

    blocks.reserve(blocks_count);

    std::vector<const CBlockIndex*> blocks_info;

    blocks_info.reserve(blocks_count);

    for (int i = 0; i < blocks_count; i++) {

  Branch (87:21): [True: 0, False: 0]

        CBlockHeader header{ConsumeBlockHeader(fuzzed_data_provider)};

        blocks.push_back(std::make_unique<CBlockIndex>(std::move(header)));

        blocks.back()->phashBlock = &g_block_hash;

        blocks_info.push_back(blocks.back().get());

    }

    // Store these files and blocks in the block index. It should not fail.

    block_index.WriteBatchSync(files_info, files_count - 1, blocks_info);

    // We should be able to read every block file info we stored. Its value should correspond to

    // what we stored above.

    CBlockFileInfo info;

    for (const auto& [n, file_info]: files_info) {

  Branch (100:36): [True: 0, False: 0]

        assert(block_index.ReadBlockFileInfo(n, info));

  Branch (101:9): [True: 0, False: 0]

        assert(info == *file_info);

  Branch (102:9): [True: 0, False: 0]

    }

    // We should be able to read the last block file number. Its value should be consistent.

    int last_block_file;

    assert(block_index.ReadLastBlockFile(last_block_file));

  Branch (107:5): [True: 0, False: 0]

    assert(last_block_file == files_count - 1);

  Branch (108:5): [True: 0, False: 0]

    // We should be able to flip and read the reindexing flag.

    bool reindexing;

    block_index.WriteReindexing(true);

    block_index.ReadReindexing(reindexing);

    assert(reindexing);

  Branch (114:5): [True: 0, False: 0]

    block_index.WriteReindexing(false);

    block_index.ReadReindexing(reindexing);

    assert(!reindexing);

  Branch (117:5): [True: 0, False: 0]

    // We should be able to set and read the value of any random flag.

    const std::string flag_name = fuzzed_data_provider.ConsumeRandomLengthString(100);

    bool flag_value;

    block_index.WriteFlag(flag_name, true);

    block_index.ReadFlag(flag_name, flag_value);

    assert(flag_value);

  Branch (124:5): [True: 0, False: 0]

    block_index.WriteFlag(flag_name, false);

    block_index.ReadFlag(flag_name, flag_value);

    assert(!flag_value);

  Branch (127:5): [True: 0, False: 0]

    // We should be able to load everything we've previously stored. Note to assert on the

    // return value we need to make sure all blocks pass the pow check.

    const auto params{Params().GetConsensus()};

    const auto inserter = [&](const uint256&) {

        return blocks.back().get();

    };

    WITH_LOCK(::cs_main, assert(block_index.LoadBlockIndexGuts(params, inserter, g_setup->m_interrupt)));

}