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 <test/fuzz/FuzzedDataProvider.h>
       6                 :             : #include <test/fuzz/fuzz.h>
       7                 :             : 
       8                 :             : #include <node/psbt.h>
       9                 :             : #include <psbt.h>
      10                 :             : #include <pubkey.h>
      11                 :             : #include <script/script.h>
      12                 :             : #include <streams.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         [ +  - ]:        4187 : FUZZ_TARGET(psbt)
      25                 :             : {
      26                 :        3775 :     FuzzedDataProvider fuzzed_data_provider{buffer.data(), buffer.size()};
      27                 :        3775 :     PartiallySignedTransaction psbt_mut;
      28         [ +  - ]:        3775 :     std::string error;
      29         [ +  - ]:        3775 :     auto str = fuzzed_data_provider.ConsumeRandomLengthString();
      30   [ +  -  +  + ]:        3775 :     if (!DecodeRawPSBT(psbt_mut, MakeByteSpan(str), error)) {
      31                 :         668 :         return;
      32                 :             :     }
      33         [ +  - ]:        3107 :     const PartiallySignedTransaction psbt = psbt_mut;
      34                 :             : 
      35   [ +  -  +  - ]:        3107 :     const PSBTAnalysis analysis = AnalyzePSBT(psbt);
      36         [ +  - ]:        3107 :     (void)PSBTRoleName(analysis.next);
      37         [ +  + ]:        7547 :     for (const PSBTInputAnalysis& input_analysis : analysis.inputs) {
      38         [ +  - ]:        8880 :         (void)PSBTRoleName(input_analysis.next);
      39                 :             :     }
      40                 :             : 
      41         [ +  - ]:        3107 :     (void)psbt.IsNull();
      42                 :             : 
      43         [ +  - ]:        3107 :     std::optional<CMutableTransaction> tx = psbt.tx;
      44         [ +  - ]:        3107 :     if (tx) {
      45         [ +  - ]:        3107 :         const CMutableTransaction& mtx = *tx;
      46         [ +  - ]:        3107 :         const PartiallySignedTransaction psbt_from_tx{mtx};
      47                 :        3107 :     }
      48                 :             : 
      49         [ +  + ]:        9105 :     for (const PSBTInput& input : psbt.inputs) {
      50         [ +  - ]:        5998 :         (void)PSBTInputSigned(input);
      51         [ +  - ]:        5998 :         (void)input.IsNull();
      52                 :             :     }
      53         [ +  - ]:        3107 :     (void)CountPSBTUnsignedInputs(psbt);
      54                 :             : 
      55         [ +  + ]:       11935 :     for (const PSBTOutput& output : psbt.outputs) {
      56         [ +  - ]:        8828 :         (void)output.IsNull();
      57                 :             :     }
      58                 :             : 
      59         [ +  + ]:        9105 :     for (size_t i = 0; i < psbt.tx->vin.size(); ++i) {
      60                 :        5998 :         CTxOut tx_out;
      61   [ +  -  +  + ]:        5998 :         if (psbt.GetInputUTXO(tx_out, i)) {
      62                 :        3336 :             (void)tx_out.IsNull();
      63         [ +  - ]:        6672 :             (void)tx_out.ToString();
      64                 :             :         }
      65                 :        5998 :     }
      66                 :             : 
      67         [ +  - ]:        3107 :     psbt_mut = psbt;
      68         [ +  - ]:        3107 :     (void)FinalizePSBT(psbt_mut);
      69                 :             : 
      70         [ +  - ]:        3107 :     psbt_mut = psbt;
      71         [ +  - ]:        3107 :     CMutableTransaction result;
      72   [ +  -  +  + ]:        3107 :     if (FinalizeAndExtractPSBT(psbt_mut, result)) {
      73         [ +  - ]:         649 :         const PartiallySignedTransaction psbt_from_tx{result};
      74                 :         649 :     }
      75                 :             : 
      76                 :        3107 :     PartiallySignedTransaction psbt_merge;
      77         [ +  - ]:        3107 :     str = fuzzed_data_provider.ConsumeRandomLengthString();
      78   [ +  -  +  + ]:        3107 :     if (!DecodeRawPSBT(psbt_merge, MakeByteSpan(str), error)) {
      79         [ +  - ]:        2693 :         psbt_merge = psbt;
      80                 :             :     }
      81         [ +  - ]:        3107 :     psbt_mut = psbt;
      82         [ +  - ]:        3107 :     (void)psbt_mut.Merge(psbt_merge);
      83         [ +  - ]:        3107 :     psbt_mut = psbt;
      84   [ +  -  +  -  :        9321 :     (void)CombinePSBTs(psbt_mut, {psbt_mut, psbt_merge});
             +  +  -  - ]
      85         [ +  - ]:        3107 :     psbt_mut = psbt;
      86         [ +  + ]:        9279 :     for (unsigned int i = 0; i < psbt_merge.tx->vin.size(); ++i) {
      87         [ +  - ]:        6172 :         (void)psbt_mut.AddInput(psbt_merge.tx->vin[i], psbt_merge.inputs[i]);
      88                 :             :     }
      89         [ +  + ]:       12114 :     for (unsigned int i = 0; i < psbt_merge.tx->vout.size(); ++i) {
      90   [ +  -  +  - ]:        9007 :         Assert(psbt_mut.AddOutput(psbt_merge.tx->vout[i], psbt_merge.outputs[i]));
      91                 :             :     }
      92         [ +  - ]:        3107 :     psbt_mut.unknown.insert(psbt_merge.unknown.begin(), psbt_merge.unknown.end());
      93   [ +  -  +  -  :       16203 : }
             +  -  -  - ]