LCOV - code coverage report
Current view: top level - src/test/fuzz - integer.cpp (source / functions) Hit Total Coverage
Test: fuzz_coverage.info Lines: 165 165 100.0 %
Date: 2023-10-05 15:40:34 Functions: 5 5 100.0 %
Branches: 213 398 53.5 %

           Branch data     Line data    Source code
       1                 :            : // Copyright (c) 2019-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 <arith_uint256.h>
       6                 :            : #include <common/args.h>
       7                 :            : #include <common/system.h>
       8                 :            : #include <compressor.h>
       9                 :            : #include <consensus/amount.h>
      10                 :            : #include <consensus/merkle.h>
      11                 :            : #include <core_io.h>
      12                 :            : #include <crypto/common.h>
      13                 :            : #include <crypto/siphash.h>
      14                 :            : #include <key_io.h>
      15                 :            : #include <memusage.h>
      16                 :            : #include <netbase.h>
      17                 :            : #include <policy/policy.h>
      18                 :            : #include <policy/settings.h>
      19                 :            : #include <pow.h>
      20                 :            : #include <protocol.h>
      21                 :            : #include <pubkey.h>
      22                 :            : #include <script/script.h>
      23                 :            : #include <serialize.h>
      24                 :            : #include <streams.h>
      25                 :            : #include <test/fuzz/FuzzedDataProvider.h>
      26                 :            : #include <test/fuzz/fuzz.h>
      27                 :            : #include <test/fuzz/util.h>
      28                 :            : #include <uint256.h>
      29                 :            : #include <univalue.h>
      30                 :            : #include <util/chaintype.h>
      31                 :            : #include <util/check.h>
      32                 :            : #include <util/moneystr.h>
      33                 :            : #include <util/overflow.h>
      34                 :            : #include <util/strencodings.h>
      35                 :            : #include <util/string.h>
      36                 :            : #include <version.h>
      37                 :            : 
      38                 :            : #include <cassert>
      39                 :            : #include <chrono>
      40                 :            : #include <limits>
      41                 :            : #include <set>
      42                 :            : #include <vector>
      43                 :            : 
      44                 :          1 : void initialize_integer()
      45                 :            : {
      46                 :          1 :     SelectParams(ChainType::REGTEST);
      47                 :          1 : }
      48                 :            : 
      49   [ +  -  -  + ]:        412 : FUZZ_TARGET(integer, .init = initialize_integer)
      50                 :            : {
      51         [ +  + ]:         66 :     if (buffer.size() < sizeof(uint256) + sizeof(uint160)) {
      52                 :          1 :         return;
      53                 :            :     }
      54                 :         65 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      55   [ +  -  +  - ]:         65 :     const uint256 u256(fuzzed_data_provider.ConsumeBytes<unsigned char>(sizeof(uint256)));
      56   [ +  -  +  - ]:         65 :     const uint160 u160(fuzzed_data_provider.ConsumeBytes<unsigned char>(sizeof(uint160)));
      57                 :         65 :     const uint64_t u64 = fuzzed_data_provider.ConsumeIntegral<uint64_t>();
      58                 :         65 :     const int64_t i64 = fuzzed_data_provider.ConsumeIntegral<int64_t>();
      59                 :         65 :     const uint32_t u32 = fuzzed_data_provider.ConsumeIntegral<uint32_t>();
      60                 :         65 :     const int32_t i32 = fuzzed_data_provider.ConsumeIntegral<int32_t>();
      61                 :         65 :     const uint16_t u16 = fuzzed_data_provider.ConsumeIntegral<uint16_t>();
      62                 :         65 :     const int16_t i16 = fuzzed_data_provider.ConsumeIntegral<int16_t>();
      63                 :         65 :     const uint8_t u8 = fuzzed_data_provider.ConsumeIntegral<uint8_t>();
      64                 :         65 :     const int8_t i8 = fuzzed_data_provider.ConsumeIntegral<int8_t>();
      65                 :            :     // We cannot assume a specific value of std::is_signed<char>::value:
      66                 :            :     // ConsumeIntegral<char>() instead of casting from {u,}int8_t.
      67                 :         65 :     const char ch = fuzzed_data_provider.ConsumeIntegral<char>();
      68                 :         65 :     const bool b = fuzzed_data_provider.ConsumeBool();
      69                 :            : 
      70                 :         65 :     const Consensus::Params& consensus_params = Params().GetConsensus();
      71                 :         65 :     (void)CheckProofOfWork(u256, u32, consensus_params);
      72         [ +  + ]:         65 :     if (u64 <= MAX_MONEY) {
      73                 :         19 :         const uint64_t compressed_money_amount = CompressAmount(u64);
      74         [ +  - ]:        192 :         assert(u64 == DecompressAmount(compressed_money_amount));
      75   [ +  +  -  +  :         19 :         static const uint64_t compressed_money_amount_max = CompressAmount(MAX_MONEY - 1);
                   -  + ]
      76         [ +  - ]:         19 :         assert(compressed_money_amount <= compressed_money_amount_max);
      77                 :         19 :     } else {
      78                 :         46 :         (void)CompressAmount(u64);
      79                 :            :     }
      80   [ +  +  -  +  :         65 :     static const uint256 u256_min(uint256S("0000000000000000000000000000000000000000000000000000000000000000"));
                   -  + ]
      81   [ +  +  -  +  :         65 :     static const uint256 u256_max(uint256S("ffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff"));
                   -  + ]
      82         [ +  - ]:         65 :     const std::vector<uint256> v256{u256, u256_min, u256_max};
      83   [ +  -  +  - ]:         65 :     (void)ComputeMerkleRoot(v256);
      84         [ +  - ]:         65 :     (void)CountBits(u64);
      85         [ +  - ]:         65 :     (void)DecompressAmount(u64);
      86                 :            :     {
      87   [ +  -  +  -  :         65 :         if (std::optional<CAmount> parsed = ParseMoney(FormatMoney(i64))) {
                   +  + ]
      88   [ +  -  +  - ]:          7 :             assert(parsed.value() == i64);
      89                 :          7 :         }
      90                 :            :     }
      91         [ +  - ]:         65 :     (void)GetSizeOfCompactSize(u64);
      92         [ +  - ]:         65 :     (void)GetSpecialScriptSize(u32);
      93   [ +  +  +  +  :         65 :     if (!MultiplicationOverflow(i64, static_cast<int64_t>(u32)) && !AdditionOverflow(i64, static_cast<int64_t>(4)) && !AdditionOverflow(i64 * u32, static_cast<int64_t>(4))) {
                   +  + ]
      94         [ +  - ]:         33 :         (void)GetVirtualTransactionSize(i64, i64, u32);
      95                 :         33 :     }
      96         [ +  - ]:         65 :     (void)HexDigit(ch);
      97         [ +  - ]:         65 :     (void)MoneyRange(i64);
      98         [ +  - ]:         65 :     (void)ToString(i64);
      99         [ +  - ]:         65 :     (void)IsDigit(ch);
     100                 :         65 :     (void)IsSpace(ch);
     101         [ +  - ]:         65 :     (void)IsSwitchChar(ch);
     102         [ +  - ]:         65 :     (void)memusage::DynamicUsage(ch);
     103         [ +  - ]:         65 :     (void)memusage::DynamicUsage(i16);
     104         [ +  - ]:         65 :     (void)memusage::DynamicUsage(i32);
     105         [ +  - ]:         65 :     (void)memusage::DynamicUsage(i64);
     106         [ +  - ]:         65 :     (void)memusage::DynamicUsage(i8);
     107         [ +  - ]:         65 :     (void)memusage::DynamicUsage(u16);
     108         [ +  - ]:         65 :     (void)memusage::DynamicUsage(u32);
     109         [ +  - ]:         65 :     (void)memusage::DynamicUsage(u64);
     110         [ +  - ]:         65 :     (void)memusage::DynamicUsage(u8);
     111                 :         65 :     const unsigned char uch = static_cast<unsigned char>(u8);
     112         [ +  - ]:         65 :     (void)memusage::DynamicUsage(uch);
     113                 :            :     {
     114         [ +  - ]:         65 :         const std::set<int64_t> i64s{i64, static_cast<int64_t>(u64)};
     115         [ +  - ]:         65 :         const size_t dynamic_usage = memusage::DynamicUsage(i64s);
     116         [ +  - ]:         65 :         const size_t incremental_dynamic_usage = memusage::IncrementalDynamicUsage(i64s);
     117         [ +  - ]:         65 :         assert(dynamic_usage == incremental_dynamic_usage * i64s.size());
     118                 :         65 :     }
     119         [ +  - ]:         65 :     (void)MillisToTimeval(i64);
     120         [ +  - ]:         65 :     (void)SighashToStr(uch);
     121         [ +  - ]:         65 :     (void)SipHashUint256(u64, u64, u256);
     122         [ +  - ]:         65 :     (void)SipHashUint256Extra(u64, u64, u256, u32);
     123         [ +  - ]:         65 :     (void)ToLower(ch);
     124         [ +  - ]:         65 :     (void)ToUpper(ch);
     125                 :            :     {
     126   [ +  -  +  -  :         65 :         if (std::optional<CAmount> parsed = ParseMoney(ValueFromAmount(i64).getValStr())) {
             +  -  +  + ]
     127   [ +  -  +  - ]:          7 :             assert(parsed.value() == i64);
     128                 :          7 :         }
     129                 :            :     }
     130   [ +  +  +  + ]:         65 :     if (i32 >= 0 && i32 <= 16) {
     131   [ +  -  +  -  :          2 :         assert(i32 == CScript::DecodeOP_N(CScript::EncodeOP_N(i32)));
                   +  - ]
     132                 :          2 :     }
     133                 :            : 
     134         [ +  - ]:         65 :     const std::chrono::seconds seconds{i64};
     135   [ +  -  +  - ]:         65 :     assert(count_seconds(seconds) == i64);
     136                 :            : 
     137         [ +  - ]:         65 :     const CScriptNum script_num{i64};
     138         [ +  - ]:         65 :     (void)script_num.getint();
     139         [ +  - ]:         65 :     (void)script_num.getvch();
     140                 :            : 
     141         [ +  - ]:         65 :     const arith_uint256 au256 = UintToArith256(u256);
     142   [ +  -  +  -  :         65 :     assert(ArithToUint256(au256) == u256);
                   +  - ]
     143   [ +  -  +  -  :         65 :     assert(uint256S(au256.GetHex()) == u256);
             +  -  +  - ]
     144         [ +  - ]:         65 :     (void)au256.bits();
     145         [ +  - ]:         65 :     (void)au256.GetCompact(/* fNegative= */ false);
     146         [ +  - ]:         65 :     (void)au256.GetCompact(/* fNegative= */ true);
     147         [ +  - ]:         65 :     (void)au256.getdouble();
     148         [ +  - ]:         65 :     (void)au256.GetHex();
     149         [ +  - ]:         65 :     (void)au256.GetLow64();
     150         [ +  - ]:         65 :     (void)au256.size();
     151         [ +  - ]:         65 :     (void)au256.ToString();
     152                 :            : 
     153         [ +  - ]:         65 :     const CKeyID key_id{u160};
     154         [ +  - ]:         65 :     const CScriptID script_id{u160};
     155                 :            : 
     156                 :            :     {
     157         [ +  - ]:         65 :         DataStream stream{};
     158                 :            : 
     159         [ +  - ]:         65 :         uint256 deserialized_u256;
     160         [ +  - ]:         65 :         stream << u256;
     161         [ +  - ]:         65 :         stream >> deserialized_u256;
     162   [ +  -  +  -  :        130 :         assert(u256 == deserialized_u256 && stream.empty());
             +  -  +  - ]
     163                 :            : 
     164         [ +  - ]:         65 :         uint160 deserialized_u160;
     165         [ +  - ]:         65 :         stream << u160;
     166         [ +  - ]:         65 :         stream >> deserialized_u160;
     167   [ +  -  +  -  :        130 :         assert(u160 == deserialized_u160 && stream.empty());
             +  -  +  - ]
     168                 :            : 
     169                 :            :         uint64_t deserialized_u64;
     170         [ +  - ]:         65 :         stream << u64;
     171         [ +  - ]:         65 :         stream >> deserialized_u64;
     172   [ +  -  +  -  :        130 :         assert(u64 == deserialized_u64 && stream.empty());
                   +  - ]
     173                 :            : 
     174                 :            :         int64_t deserialized_i64;
     175         [ +  - ]:         65 :         stream << i64;
     176         [ +  - ]:         65 :         stream >> deserialized_i64;
     177   [ +  -  +  -  :        130 :         assert(i64 == deserialized_i64 && stream.empty());
                   +  - ]
     178                 :            : 
     179                 :            :         uint32_t deserialized_u32;
     180         [ +  - ]:         65 :         stream << u32;
     181         [ +  - ]:         65 :         stream >> deserialized_u32;
     182   [ +  -  +  -  :        130 :         assert(u32 == deserialized_u32 && stream.empty());
                   +  - ]
     183                 :            : 
     184                 :            :         int32_t deserialized_i32;
     185         [ +  - ]:         65 :         stream << i32;
     186         [ +  - ]:         65 :         stream >> deserialized_i32;
     187   [ +  -  +  -  :        130 :         assert(i32 == deserialized_i32 && stream.empty());
                   +  - ]
     188                 :            : 
     189                 :            :         uint16_t deserialized_u16;
     190         [ +  - ]:         65 :         stream << u16;
     191         [ +  - ]:         65 :         stream >> deserialized_u16;
     192   [ +  -  +  -  :        130 :         assert(u16 == deserialized_u16 && stream.empty());
                   +  - ]
     193                 :            : 
     194                 :            :         int16_t deserialized_i16;
     195         [ +  - ]:         65 :         stream << i16;
     196         [ +  - ]:         65 :         stream >> deserialized_i16;
     197   [ +  -  +  -  :        130 :         assert(i16 == deserialized_i16 && stream.empty());
                   +  - ]
     198                 :            : 
     199                 :            :         uint8_t deserialized_u8;
     200         [ +  - ]:         65 :         stream << u8;
     201         [ +  - ]:         65 :         stream >> deserialized_u8;
     202   [ +  -  +  -  :        130 :         assert(u8 == deserialized_u8 && stream.empty());
                   +  - ]
     203                 :            : 
     204                 :            :         int8_t deserialized_i8;
     205         [ +  - ]:         65 :         stream << i8;
     206         [ +  - ]:         65 :         stream >> deserialized_i8;
     207   [ +  -  +  -  :        130 :         assert(i8 == deserialized_i8 && stream.empty());
                   +  - ]
     208                 :            : 
     209                 :            :         bool deserialized_b;
     210         [ +  - ]:         65 :         stream << b;
     211         [ +  - ]:         65 :         stream >> deserialized_b;
     212   [ +  -  +  -  :        130 :         assert(b == deserialized_b && stream.empty());
                   +  - ]
     213                 :         65 :     }
     214                 :            : 
     215                 :            :     {
     216                 :         65 :         const ServiceFlags service_flags = (ServiceFlags)u64;
     217         [ +  - ]:         65 :         (void)HasAllDesirableServiceFlags(service_flags);
     218         [ +  - ]:         65 :         (void)MayHaveUsefulAddressDB(service_flags);
     219                 :            :     }
     220                 :            : 
     221                 :            :     {
     222         [ +  - ]:         65 :         DataStream stream{};
     223                 :            : 
     224         [ +  - ]:         65 :         ser_writedata64(stream, u64);
     225         [ +  - ]:         65 :         const uint64_t deserialized_u64 = ser_readdata64(stream);
     226   [ +  -  +  -  :        130 :         assert(u64 == deserialized_u64 && stream.empty());
                   +  - ]
     227                 :            : 
     228         [ +  - ]:         65 :         ser_writedata32(stream, u32);
     229         [ +  - ]:         65 :         const uint32_t deserialized_u32 = ser_readdata32(stream);
     230   [ +  -  +  -  :        130 :         assert(u32 == deserialized_u32 && stream.empty());
                   +  - ]
     231                 :            : 
     232         [ +  - ]:         65 :         ser_writedata32be(stream, u32);
     233         [ +  - ]:         65 :         const uint32_t deserialized_u32be = ser_readdata32be(stream);
     234   [ +  -  +  -  :        130 :         assert(u32 == deserialized_u32be && stream.empty());
                   +  - ]
     235                 :            : 
     236         [ +  - ]:         65 :         ser_writedata16(stream, u16);
     237         [ +  - ]:         65 :         const uint16_t deserialized_u16 = ser_readdata16(stream);
     238   [ +  -  +  -  :        130 :         assert(u16 == deserialized_u16 && stream.empty());
                   +  - ]
     239                 :            : 
     240         [ +  - ]:         65 :         ser_writedata16be(stream, u16);
     241         [ +  - ]:         65 :         const uint16_t deserialized_u16be = ser_readdata16be(stream);
     242   [ +  -  +  -  :        130 :         assert(u16 == deserialized_u16be && stream.empty());
                   +  - ]
     243                 :            : 
     244         [ +  - ]:         65 :         ser_writedata8(stream, u8);
     245         [ +  - ]:         65 :         const uint8_t deserialized_u8 = ser_readdata8(stream);
     246   [ +  -  +  -  :        130 :         assert(u8 == deserialized_u8 && stream.empty());
                   +  - ]
     247                 :         65 :     }
     248                 :            : 
     249                 :            :     {
     250         [ +  - ]:         65 :         DataStream stream{};
     251                 :            : 
     252         [ +  - ]:         65 :         WriteCompactSize(stream, u64);
     253                 :            :         try {
     254         [ +  + ]:         65 :             const uint64_t deserialized_u64 = ReadCompactSize(stream);
     255   [ +  -  +  -  :         24 :             assert(u64 == deserialized_u64 && stream.empty());
                   +  - ]
     256         [ +  - ]:         65 :         } catch (const std::ios_base::failure&) {
     257         [ +  - ]:         53 :         }
     258                 :         65 :     }
     259                 :            : 
     260                 :            :     try {
     261         [ +  + ]:         65 :         CHECK_NONFATAL(b);
     262         [ +  - ]:         65 :     } catch (const NonFatalCheckError&) {
     263         [ +  - ]:         64 :     }
     264                 :        183 : }

Generated by: LCOV version 1.14