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         [ -  + ]:        541 : FUZZ_TARGET(decode_tx)
      16                 :            : {
      17                 :        195 :     const std::string tx_hex = HexStr(buffer);
      18         [ +  - ]:        195 :     CMutableTransaction mtx;
      19         [ +  - ]:        195 :     const bool result_none = DecodeHexTx(mtx, tx_hex, false, false);
      20         [ +  - ]:        195 :     const bool result_try_witness = DecodeHexTx(mtx, tx_hex, false, true);
      21         [ +  - ]:        195 :     const bool result_try_witness_and_maybe_no_witness = DecodeHexTx(mtx, tx_hex, true, true);
      22         [ +  - ]:        195 :     CMutableTransaction no_witness_mtx;
      23         [ +  - ]:        195 :     const bool result_try_no_witness = DecodeHexTx(no_witness_mtx, tx_hex, true, false);
      24         [ +  - ]:        195 :     assert(!result_none);
      25   [ +  -  +  + ]:        368 :     if (result_try_witness_and_maybe_no_witness) {
      26   [ +  +  +  - ]:        166 :         assert(result_try_no_witness || result_try_witness);
      27                 :        166 :     }
      28         [ +  + ]:        195 :     if (result_try_no_witness) {
      29   [ +  -  +  - ]:        117 :         assert(!no_witness_mtx.HasWitness());
      30         [ -  + ]:        117 :         assert(result_try_witness_and_maybe_no_witness);
      31                 :        117 :     }
      32                 :        195 : }