Branch data     Line data    Source code

       1                 :             : // Copyright (c) 2019-2020 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 <core_io.h>
       6                 :             : #include <primitives/transaction.h>
       7                 :             : #include <test/fuzz/fuzz.h>
       8                 :             : #include <util/strencodings.h>
       9                 :             : 
      10                 :             : #include <cassert>
      11                 :             : #include <cstdint>
      12                 :             : #include <string>
      13                 :             : #include <vector>
      14                 :             : 
      15         [ +  - ]:         824 : FUZZ_TARGET(decode_tx)
      16                 :             : {
      17                 :         412 :     const std::string tx_hex = HexStr(buffer);
      18         [ +  - ]:         412 :     CMutableTransaction mtx;
      19         [ +  - ]:         412 :     const bool result_none = DecodeHexTx(mtx, tx_hex, false, false);
      20         [ +  - ]:         412 :     const bool result_try_witness = DecodeHexTx(mtx, tx_hex, false, true);
      21         [ +  - ]:         412 :     const bool result_try_witness_and_maybe_no_witness = DecodeHexTx(mtx, tx_hex, true, true);
      22         [ +  - ]:         412 :     CMutableTransaction no_witness_mtx;
      23         [ +  - ]:         412 :     const bool result_try_no_witness = DecodeHexTx(no_witness_mtx, tx_hex, true, false);
      24         [ -  + ]:         412 :     assert(!result_none);
      25         [ +  + ]:         412 :     if (result_try_witness_and_maybe_no_witness) {
      26         [ -  + ]:         364 :         assert(result_try_no_witness || result_try_witness);
      27                 :             :     }
      28         [ +  + ]:         412 :     if (result_try_no_witness) {
      29         [ -  + ]:         260 :         assert(!no_witness_mtx.HasWitness());
      30         [ -  + ]:         260 :         assert(result_try_witness_and_maybe_no_witness);
      31                 :             :     }
      32                 :         824 : }