LCOV - code coverage report
Current view: top level - src/script - bitcoinconsensus.cpp (source / functions) Hit Total Coverage
Test: fuzz_coverage.info Lines: 0 76 0.0 %
Date: 2023-11-12 01:39:15 Functions: 0 16 0.0 %
Branches: 0 92 0.0 %

           Branch data     Line data    Source code
       1                 :            : // Copyright (c) 2009-2010 Satoshi Nakamoto
       2                 :            : // Copyright (c) 2009-2022 The Bitcoin Core developers
       3                 :            : // Distributed under the MIT software license, see the accompanying
       4                 :            : // file COPYING or http://www.opensource.org/licenses/mit-license.php.
       5                 :            : 
       6                 :            : #include <script/bitcoinconsensus.h>
       7                 :            : 
       8                 :            : #include <primitives/transaction.h>
       9                 :            : #include <pubkey.h>
      10                 :            : #include <script/interpreter.h>
      11                 :            : #include <version.h>
      12                 :            : 
      13                 :            : namespace {
      14                 :            : 
      15                 :            : /** A class that deserializes a single CTransaction one time. */
      16                 :            : class TxInputStream
      17                 :            : {
      18                 :            : public:
      19                 :          0 :     TxInputStream(int nVersionIn, const unsigned char *txTo, size_t txToLen) :
      20                 :          0 :     m_version(nVersionIn),
      21                 :          0 :     m_data(txTo),
      22                 :          0 :     m_remaining(txToLen)
      23                 :          0 :     {}
      24                 :            : 
      25                 :          0 :     void read(Span<std::byte> dst)
      26                 :            :     {
      27         [ #  # ]:          0 :         if (dst.size() > m_remaining) {
      28 [ #  # ][ #  # ]:          0 :             throw std::ios_base::failure(std::string(__func__) + ": end of data");
         [ #  # ][ #  # ]
      29                 :            :         }
      30                 :            : 
      31         [ #  # ]:          0 :         if (dst.data() == nullptr) {
      32 [ #  # ][ #  # ]:          0 :             throw std::ios_base::failure(std::string(__func__) + ": bad destination buffer");
         [ #  # ][ #  # ]
      33                 :            :         }
      34                 :            : 
      35         [ #  # ]:          0 :         if (m_data == nullptr) {
      36 [ #  # ][ #  # ]:          0 :             throw std::ios_base::failure(std::string(__func__) + ": bad source buffer");
         [ #  # ][ #  # ]
      37                 :            :         }
      38                 :            : 
      39                 :          0 :         memcpy(dst.data(), m_data, dst.size());
      40                 :          0 :         m_remaining -= dst.size();
      41                 :          0 :         m_data += dst.size();
      42                 :          0 :     }
      43                 :            : 
      44                 :            :     template<typename T>
      45                 :          0 :     TxInputStream& operator>>(T&& obj)
      46                 :            :     {
      47                 :          0 :         ::Unserialize(*this, obj);
      48                 :          0 :         return *this;
      49                 :            :     }
      50                 :            : 
      51                 :          0 :     int GetVersion() const { return m_version; }
      52                 :            : private:
      53                 :            :     const int m_version;
      54                 :            :     const unsigned char* m_data;
      55                 :            :     size_t m_remaining;
      56                 :            : };
      57                 :            : 
      58                 :          0 : inline int set_error(bitcoinconsensus_error* ret, bitcoinconsensus_error serror)
      59                 :            : {
      60         [ #  # ]:          0 :     if (ret)
      61                 :          0 :         *ret = serror;
      62                 :          0 :     return 0;
      63                 :            : }
      64                 :            : 
      65                 :            : } // namespace
      66                 :            : 
      67                 :            : /** Check that all specified flags are part of the libconsensus interface. */
      68                 :          0 : static bool verify_flags(unsigned int flags)
      69                 :            : {
      70                 :          0 :     return (flags & ~(bitcoinconsensus_SCRIPT_FLAGS_VERIFY_ALL)) == 0;
      71                 :            : }
      72                 :            : 
      73                 :          0 : static int verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, CAmount amount,
      74                 :            :                                     const unsigned char *txTo        , unsigned int txToLen,
      75                 :            :                                     const UTXO *spentOutputs, unsigned int spentOutputsLen,
      76                 :            :                                     unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
      77                 :            : {
      78         [ #  # ]:          0 :     if (!verify_flags(flags)) {
      79                 :          0 :         return set_error(err, bitcoinconsensus_ERR_INVALID_FLAGS);
      80                 :            :     }
      81                 :            : 
      82 [ #  # ][ #  # ]:          0 :     if (flags & bitcoinconsensus_SCRIPT_FLAGS_VERIFY_TAPROOT && spentOutputs == nullptr) {
      83                 :          0 :         return set_error(err, bitcoinconsensus_ERR_SPENT_OUTPUTS_REQUIRED);
      84                 :            :     }
      85                 :            : 
      86                 :            :     try {
      87         [ #  # ]:          0 :         TxInputStream stream(PROTOCOL_VERSION, txTo, txToLen);
      88         [ #  # ]:          0 :         CTransaction tx(deserialize, stream);
      89                 :            : 
      90                 :          0 :         std::vector<CTxOut> spent_outputs;
      91         [ #  # ]:          0 :         if (spentOutputs != nullptr) {
      92         [ #  # ]:          0 :             if (spentOutputsLen != tx.vin.size()) {
      93         [ #  # ]:          0 :                 return set_error(err, bitcoinconsensus_ERR_SPENT_OUTPUTS_MISMATCH);
      94                 :            :             }
      95         [ #  # ]:          0 :             for (size_t i = 0; i < spentOutputsLen; i++) {
      96         [ #  # ]:          0 :                 CScript spk = CScript(spentOutputs[i].scriptPubKey, spentOutputs[i].scriptPubKey + spentOutputs[i].scriptPubKeySize);
      97                 :          0 :                 const CAmount& value = spentOutputs[i].value;
      98 [ #  # ][ #  # ]:          0 :                 CTxOut tx_out = CTxOut(value, spk);
      99         [ #  # ]:          0 :                 spent_outputs.push_back(tx_out);
     100                 :          0 :             }
     101                 :          0 :         }
     102                 :            : 
     103         [ #  # ]:          0 :         if (nIn >= tx.vin.size())
     104         [ #  # ]:          0 :             return set_error(err, bitcoinconsensus_ERR_TX_INDEX);
     105 [ #  # ][ #  # ]:          0 :         if (GetSerializeSize(tx, PROTOCOL_VERSION) != txToLen)
     106         [ #  # ]:          0 :             return set_error(err, bitcoinconsensus_ERR_TX_SIZE_MISMATCH);
     107                 :            : 
     108                 :            :         // Regardless of the verification result, the tx did not error.
     109         [ #  # ]:          0 :         set_error(err, bitcoinconsensus_ERR_OK);
     110                 :            : 
     111         [ #  # ]:          0 :         PrecomputedTransactionData txdata(tx);
     112                 :            : 
     113 [ #  # ][ #  # ]:          0 :         if (spentOutputs != nullptr && flags & bitcoinconsensus_SCRIPT_FLAGS_VERIFY_TAPROOT) {
     114         [ #  # ]:          0 :             txdata.Init(tx, std::move(spent_outputs));
     115                 :          0 :         }
     116                 :            : 
     117 [ #  # ][ #  # ]:          0 :         return VerifyScript(tx.vin[nIn].scriptSig, CScript(scriptPubKey, scriptPubKey + scriptPubKeyLen), &tx.vin[nIn].scriptWitness, flags, TransactionSignatureChecker(&tx, nIn, amount, txdata, MissingDataBehavior::FAIL), nullptr);
                 [ #  # ]
     118         [ #  # ]:          0 :     } catch (const std::exception&) {
     119         [ #  # ]:          0 :         return set_error(err, bitcoinconsensus_ERR_TX_DESERIALIZE); // Error deserializing
     120         [ #  # ]:          0 :     }
     121                 :          0 : }
     122                 :            : 
     123                 :          0 : int bitcoinconsensus_verify_script_with_spent_outputs(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, int64_t amount,
     124                 :            :                                     const unsigned char *txTo        , unsigned int txToLen,
     125                 :            :                                     const UTXO *spentOutputs, unsigned int spentOutputsLen,
     126                 :            :                                     unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
     127                 :            : {
     128                 :          0 :     CAmount am(amount);
     129                 :          0 :     return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, spentOutputs, spentOutputsLen, nIn, flags, err);
     130                 :            : }
     131                 :            : 
     132                 :          0 : int bitcoinconsensus_verify_script_with_amount(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen, int64_t amount,
     133                 :            :                                     const unsigned char *txTo        , unsigned int txToLen,
     134                 :            :                                     unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
     135                 :            : {
     136                 :          0 :     CAmount am(amount);
     137                 :          0 :     UTXO *spentOutputs = nullptr;
     138                 :          0 :     unsigned int spentOutputsLen = 0;
     139                 :          0 :     return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, spentOutputs, spentOutputsLen, nIn, flags, err);
     140                 :            : }
     141                 :            : 
     142                 :            : 
     143                 :          0 : int bitcoinconsensus_verify_script(const unsigned char *scriptPubKey, unsigned int scriptPubKeyLen,
     144                 :            :                                    const unsigned char *txTo        , unsigned int txToLen,
     145                 :            :                                    unsigned int nIn, unsigned int flags, bitcoinconsensus_error* err)
     146                 :            : {
     147         [ #  # ]:          0 :     if (flags & bitcoinconsensus_SCRIPT_FLAGS_VERIFY_WITNESS) {
     148                 :          0 :         return set_error(err, bitcoinconsensus_ERR_AMOUNT_REQUIRED);
     149                 :            :     }
     150                 :            : 
     151                 :          0 :     CAmount am(0);
     152                 :          0 :     UTXO *spentOutputs = nullptr;
     153                 :          0 :     unsigned int spentOutputsLen = 0;
     154                 :          0 :     return ::verify_script(scriptPubKey, scriptPubKeyLen, am, txTo, txToLen, spentOutputs, spentOutputsLen, nIn, flags, err);
     155                 :          0 : }
     156                 :            : 
     157                 :          0 : unsigned int bitcoinconsensus_version()
     158                 :            : {
     159                 :            :     // Just use the API version for now
     160                 :          0 :     return BITCOINCONSENSUS_API_VER;
     161                 :            : }

Generated by: LCOV version 1.14