Branch data     Line data    Source code

       1                 :            : // Copyright (c) 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 <test/fuzz/FuzzedDataProvider.h>
       6                 :            : #include <test/fuzz/fuzz.h>
       7                 :            : #include <test/fuzz/util.h>
       8                 :            : #include <test/util/setup_common.h>
       9                 :            : #include <wallet/coincontrol.h>
      10                 :            : #include <wallet/test/util.h>
      11                 :            : 
      12                 :            : namespace wallet {
      13                 :            : namespace {
      14                 :            : 
      15                 :            : const TestingSetup* g_setup;
      16                 :            : 
      17         [ +  - ]:        174 : void initialize_coincontrol()
      18         [ +  - ]:        173 : {
      19   [ +  -  -  +  :          1 :     static const auto testing_setup = MakeNoLogFileContext<const TestingSetup>();
                   +  - ]
      20                 :          1 :     g_setup = testing_setup.get();
      21                 :          1 : }
      22                 :            : 
      23   [ +  -  -  + ]:        718 : FUZZ_TARGET(coincontrol, .init = initialize_coincontrol)
      24                 :            : {
      25                 :        372 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      26                 :        372 :     const auto& node = g_setup->m_node;
      27                 :        372 :     ArgsManager& args = *node.args;
      28                 :            : 
      29                 :            :     // for GetBoolArg to return true sometimes
      30   [ +  -  +  -  :        372 :     args.ForceSetArg("-avoidpartialspends", fuzzed_data_provider.ConsumeBool()?"1":"0");
          +  +  +  -  -  
                      + ]
      31                 :            : 
      32                 :        372 :     CCoinControl coin_control;
      33         [ +  - ]:        372 :     COutPoint out_point;
      34                 :            : 
      35   [ +  -  +  -  :      69858 :     LIMITED_WHILE(fuzzed_data_provider.ConsumeBool(), 10000)
             +  +  +  + ]
      36                 :            :     {
      37         [ +  - ]:      69313 :         CallOneOf(
      38                 :            :             fuzzed_data_provider,
      39                 :      74688 :             [&] {
      40                 :       5375 :                 std::optional<COutPoint> optional_out_point = ConsumeDeserializable<COutPoint>(fuzzed_data_provider);
      41         [ +  + ]:       5375 :                 if (!optional_out_point) {
      42                 :       1583 :                     return;
      43                 :            :                 }
      44                 :       3792 :                 out_point = *optional_out_point;
      45                 :       5375 :             },
      46                 :      72463 :             [&] {
      47                 :       3150 :                 (void)coin_control.HasSelected();
      48                 :       3150 :             },
      49                 :      75108 :             [&] {
      50                 :       5795 :                 (void)coin_control.IsSelected(out_point);
      51                 :       5795 :             },
      52                 :      80071 :             [&] {
      53                 :      10758 :                 (void)coin_control.IsExternalSelected(out_point);
      54                 :      10758 :             },
      55                 :      76083 :             [&] {
      56                 :       6770 :                 (void)coin_control.GetExternalOutput(out_point);
      57                 :       6770 :             },
      58                 :      74916 :             [&] {
      59                 :       5603 :                 (void)coin_control.Select(out_point);
      60                 :       5603 :             },
      61                 :      77086 :             [&] {
      62         [ +  - ]:       7773 :                 const CTxOut tx_out{ConsumeMoney(fuzzed_data_provider), ConsumeScript(fuzzed_data_provider)};
      63         [ -  + ]:       7773 :                 (void)coin_control.SelectExternal(out_point, tx_out);
      64                 :       7773 :             },
      65                 :      81637 :             [&] {
      66                 :      12324 :                 (void)coin_control.UnSelect(out_point);
      67                 :      12324 :             },
      68                 :      70303 :             [&] {
      69                 :        990 :                 (void)coin_control.UnSelectAll();
      70                 :        990 :             },
      71                 :      73291 :             [&] {
      72                 :       3978 :                 (void)coin_control.ListSelected();
      73                 :       3978 :             },
      74                 :      72213 :             [&] {
      75                 :       2727 :                 int64_t weight{fuzzed_data_provider.ConsumeIntegral<int64_t>()};
      76                 :       2727 :                 (void)coin_control.SetInputWeight(out_point, weight);
      77                 :       2727 :             },
      78                 :      73383 :             [&] {
      79                 :            :                 // Condition to avoid the assertion in GetInputWeight
      80         [ +  + ]:       4070 :                 if (coin_control.HasInputWeight(out_point)) {
      81                 :       1823 :                     (void)coin_control.GetInputWeight(out_point);
      82                 :       1823 :                 }
      83                 :       4070 :             });
      84                 :      69313 :     }
      85                 :        372 : }
      86                 :            : } // namespace
      87                 :            : } // namespace wallet