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 <node/psbt.h>
       6                 :             : #include <psbt.h>
       7                 :             : #include <pubkey.h>
       8                 :             : #include <script/script.h>
       9                 :             : #include <streams.h>
      10                 :             : #include <test/fuzz/FuzzedDataProvider.h>
      11                 :             : #include <test/fuzz/fuzz.h>
      12                 :             : #include <test/util/random.h>
      13                 :             : #include <util/check.h>
      14                 :             : 
      15                 :             : #include <cstdint>
      16                 :             : #include <optional>
      17                 :             : #include <string>
      18                 :             : #include <vector>
      19                 :             : 
      20                 :             : using node::AnalyzePSBT;
      21                 :             : using node::PSBTAnalysis;
      22                 :             : using node::PSBTInputAnalysis;
      23                 :             : 
      24         [ +  - ]:        5786 : FUZZ_TARGET(psbt)
      25                 :             : {
      26                 :        5372 :     SeedRandomStateForTest(SeedRand::ZEROS);
      27                 :        5372 :     FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};
      28                 :        5372 :     PartiallySignedTransaction psbt_mut;
      29         [ +  - ]:        5372 :     std::string error;
      30         [ +  - ]:        5372 :     auto str = fuzzed_data_provider.ConsumeRandomLengthString();
      31   [ +  -  +  + ]:        5372 :     if (!DecodeRawPSBT(psbt_mut, MakeByteSpan(str), error)) {
      32                 :         992 :         return;
      33                 :             :     }
      34         [ +  - ]:        4380 :     const PartiallySignedTransaction psbt = psbt_mut;
      35                 :             : 
      36   [ +  -  +  - ]:        4380 :     const PSBTAnalysis analysis = AnalyzePSBT(psbt);
      37         [ +  - ]:        4380 :     (void)PSBTRoleName(analysis.next);
      38         [ +  + ]:       10495 :     for (const PSBTInputAnalysis& input_analysis : analysis.inputs) {
      39         [ +  - ]:       12230 :         (void)PSBTRoleName(input_analysis.next);
      40                 :             :     }
      41                 :             : 
      42         [ +  - ]:        4380 :     (void)psbt.IsNull();
      43                 :             : 
      44         [ +  - ]:        4380 :     std::optional<CMutableTransaction> tx = psbt.tx;
      45         [ +  - ]:        4380 :     if (tx) {
      46         [ +  - ]:        4380 :         const CMutableTransaction& mtx = *tx;
      47         [ +  - ]:        4380 :         const PartiallySignedTransaction psbt_from_tx{mtx};
      48                 :        4380 :     }
      49                 :             : 
      50         [ +  + ]:       12627 :     for (const PSBTInput& input : psbt.inputs) {
      51         [ +  - ]:        8247 :         (void)PSBTInputSigned(input);
      52         [ +  - ]:        8247 :         (void)input.IsNull();
      53                 :             :     }
      54         [ +  - ]:        4380 :     (void)CountPSBTUnsignedInputs(psbt);
      55                 :             : 
      56         [ +  + ]:       15088 :     for (const PSBTOutput& output : psbt.outputs) {
      57         [ +  - ]:       10708 :         (void)output.IsNull();
      58                 :             :     }
      59                 :             : 
      60         [ +  + ]:       12627 :     for (size_t i = 0; i < psbt.tx->vin.size(); ++i) {
      61                 :        8247 :         CTxOut tx_out;
      62   [ +  -  +  + ]:        8247 :         if (psbt.GetInputUTXO(tx_out, i)) {
      63                 :        5262 :             (void)tx_out.IsNull();
      64         [ +  - ]:       10524 :             (void)tx_out.ToString();
      65                 :             :         }
      66                 :        8247 :     }
      67                 :             : 
      68         [ +  - ]:        4380 :     psbt_mut = psbt;
      69         [ +  - ]:        4380 :     (void)FinalizePSBT(psbt_mut);
      70                 :             : 
      71         [ +  - ]:        4380 :     psbt_mut = psbt;
      72         [ +  - ]:        4380 :     CMutableTransaction result;
      73   [ +  -  +  + ]:        4380 :     if (FinalizeAndExtractPSBT(psbt_mut, result)) {
      74         [ +  - ]:         797 :         const PartiallySignedTransaction psbt_from_tx{result};
      75                 :         797 :     }
      76                 :             : 
      77                 :        4380 :     PartiallySignedTransaction psbt_merge;
      78         [ +  - ]:        4380 :     str = fuzzed_data_provider.ConsumeRandomLengthString();
      79   [ +  -  +  + ]:        4380 :     if (!DecodeRawPSBT(psbt_merge, MakeByteSpan(str), error)) {
      80         [ +  - ]:        3926 :         psbt_merge = psbt;
      81                 :             :     }
      82         [ +  - ]:        4380 :     psbt_mut = psbt;
      83         [ +  - ]:        4380 :     (void)psbt_mut.Merge(psbt_merge);
      84         [ +  - ]:        4380 :     psbt_mut = psbt;
      85   [ +  -  +  -  :       13140 :     (void)CombinePSBTs(psbt_mut, {psbt_mut, psbt_merge});
             +  +  -  - ]
      86         [ +  - ]:        4380 :     psbt_mut = psbt;
      87         [ +  + ]:       12873 :     for (unsigned int i = 0; i < psbt_merge.tx->vin.size(); ++i) {
      88         [ +  - ]:        8493 :         (void)psbt_mut.AddInput(psbt_merge.tx->vin[i], psbt_merge.inputs[i]);
      89                 :             :     }
      90         [ +  + ]:       15272 :     for (unsigned int i = 0; i < psbt_merge.tx->vout.size(); ++i) {
      91   [ +  -  +  - ]:       10892 :         Assert(psbt_mut.AddOutput(psbt_merge.tx->vout[i], psbt_merge.outputs[i]));
      92                 :             :     }
      93         [ +  - ]:        4380 :     psbt_mut.unknown.insert(psbt_merge.unknown.begin(), psbt_merge.unknown.end());
      94   [ +  -  +  -  :       22892 : }
             +  -  -  - ]