Branch data     Line data    Source code

       1                 :             : // Copyright (c) 2020-2022 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 <chain.h>
       6                 :             : #include <test/fuzz/FuzzedDataProvider.h>
       7                 :             : #include <test/fuzz/fuzz.h>
       8                 :             : #include <test/fuzz/util.h>
       9                 :             : 
      10                 :             : #include <cstdint>
      11                 :             : #include <optional>
      12                 :             : #include <vector>
      13                 :             : 
      14         [ +  - ]:         520 : FUZZ_TARGET(chain)
      15                 :             : {
      16                 :         108 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      17                 :         108 :     std::optional<CDiskBlockIndex> disk_block_index = ConsumeDeserializable<CDiskBlockIndex>(fuzzed_data_provider);
      18         [ +  + ]:         108 :     if (!disk_block_index) {
      19                 :             :         return;
      20                 :             :     }
      21                 :             : 
      22                 :          78 :     const uint256 zero{};
      23                 :          78 :     disk_block_index->phashBlock = &zero;
      24                 :          78 :     {
      25                 :          78 :         LOCK(::cs_main);
      26         [ +  - ]:          78 :         (void)disk_block_index->ConstructBlockHash();
      27                 :          78 :         (void)disk_block_index->GetBlockPos();
      28                 :          78 :         (void)disk_block_index->GetBlockTime();
      29                 :          78 :         (void)disk_block_index->GetBlockTimeMax();
      30                 :          78 :         (void)disk_block_index->GetMedianTimePast();
      31         [ +  - ]:          78 :         (void)disk_block_index->GetUndoPos();
      32                 :          78 :         (void)disk_block_index->HaveNumChainTxs();
      33         [ +  - ]:          78 :         (void)disk_block_index->IsValid();
      34                 :          78 :     }
      35                 :             : 
      36                 :          78 :     const CBlockHeader block_header = disk_block_index->GetBlockHeader();
      37                 :          78 :     (void)CDiskBlockIndex{*disk_block_index};
      38                 :          78 :     (void)disk_block_index->BuildSkip();
      39                 :             : 
      40   [ +  +  +  + ]:       15498 :     LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000) {
      41                 :       15420 :         const BlockStatus block_status = fuzzed_data_provider.PickValueInArray({
      42                 :             :             BlockStatus::BLOCK_VALID_UNKNOWN,
      43                 :             :             BlockStatus::BLOCK_VALID_RESERVED,
      44                 :             :             BlockStatus::BLOCK_VALID_TREE,
      45                 :             :             BlockStatus::BLOCK_VALID_TRANSACTIONS,
      46                 :             :             BlockStatus::BLOCK_VALID_CHAIN,
      47                 :             :             BlockStatus::BLOCK_VALID_SCRIPTS,
      48                 :             :             BlockStatus::BLOCK_VALID_MASK,
      49                 :             :             BlockStatus::BLOCK_HAVE_DATA,
      50                 :             :             BlockStatus::BLOCK_HAVE_UNDO,
      51                 :             :             BlockStatus::BLOCK_HAVE_MASK,
      52                 :             :             BlockStatus::BLOCK_FAILED_VALID,
      53                 :             :             BlockStatus::BLOCK_FAILED_CHILD,
      54                 :             :             BlockStatus::BLOCK_FAILED_MASK,
      55                 :             :             BlockStatus::BLOCK_OPT_WITNESS,
      56                 :       15420 :         });
      57         [ +  + ]:       15420 :         if (block_status & ~BLOCK_VALID_MASK) {
      58                 :       13722 :             continue;
      59                 :             :         }
      60         [ +  - ]:        3396 :         WITH_LOCK(::cs_main, (void)disk_block_index->RaiseValidity(block_status));
      61                 :             :     }
      62                 :             : 
      63                 :          78 :     CBlockIndex block_index{block_header};
      64                 :          78 :     block_index.phashBlock = &zero;
      65                 :          78 :     (void)block_index.GetBlockHash();
      66                 :          78 :     (void)block_index.ToString();
      67                 :             : }