Branch data     Line data    Source code

       1                 :             : // Copyright (c) 2020-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 <consensus/amount.h>
       6                 :             : #include <primitives/transaction.h>
       7                 :             : #include <pubkey.h>
       8                 :             : #include <script/interpreter.h>
       9                 :             : #include <script/sigcache.h>
      10                 :             : #include <span.h>
      11                 :             : #include <test/fuzz/FuzzedDataProvider.h>
      12                 :             : #include <test/fuzz/fuzz.h>
      13                 :             : #include <test/fuzz/util.h>
      14                 :             : #include <test/util/setup_common.h>
      15                 :             : #include <uint256.h>
      16                 :             : 
      17                 :             : #include <cstddef>
      18                 :             : #include <optional>
      19                 :             : #include <vector>
      20                 :             : 
      21                 :           1 : void initialize_script_sigcache()
      22                 :             : {
      23   [ +  -  +  - ]:           2 :     static const auto testing_setup = MakeNoLogFileContext<>();
      24         [ +  - ]:           2 : }
      25                 :             : 
      26         [ +  - ]:         831 : FUZZ_TARGET(script_sigcache, .init = initialize_script_sigcache)
      27                 :             : {
      28                 :         419 :     FuzzedDataProvider fuzzed_data_provider(buffer.data(), buffer.size());
      29                 :             : 
      30                 :         419 :     const auto max_sigcache_bytes{fuzzed_data_provider.ConsumeIntegralInRange<size_t>(0, DEFAULT_SIGNATURE_CACHE_BYTES)};
      31                 :         419 :     SignatureCache signature_cache{max_sigcache_bytes};
      32                 :             : 
      33                 :         419 :     const std::optional<CMutableTransaction> mutable_transaction = ConsumeDeserializable<CMutableTransaction>(fuzzed_data_provider, TX_WITH_WITNESS);
      34   [ +  +  +  -  :         419 :     const CTransaction tx{mutable_transaction ? *mutable_transaction : CMutableTransaction{}};
             +  -  +  - ]
      35                 :         419 :     const unsigned int n_in = fuzzed_data_provider.ConsumeIntegral<unsigned int>();
      36                 :         419 :     const CAmount amount = ConsumeMoney(fuzzed_data_provider);
      37                 :         419 :     const bool store = fuzzed_data_provider.ConsumeBool();
      38                 :         419 :     PrecomputedTransactionData tx_data;
      39         [ +  + ]:         727 :     CachingTransactionSignatureChecker caching_transaction_signature_checker{mutable_transaction ? &tx : nullptr, n_in, amount, store, signature_cache, tx_data};
      40         [ +  + ]:         419 :     if (fuzzed_data_provider.ConsumeBool()) {
      41         [ +  - ]:          80 :         const auto random_bytes = fuzzed_data_provider.ConsumeBytes<unsigned char>(64);
      42                 :          80 :         const XOnlyPubKey pub_key(ConsumeUInt256(fuzzed_data_provider));
      43         [ +  + ]:          80 :         if (random_bytes.size() == 64) {
      44         [ +  - ]:          68 :             (void)caching_transaction_signature_checker.VerifySchnorrSignature(random_bytes, pub_key, ConsumeUInt256(fuzzed_data_provider));
      45                 :             :         }
      46                 :          80 :     } else {
      47                 :         339 :         const auto random_bytes = ConsumeRandomLengthByteVector(fuzzed_data_provider);
      48                 :         339 :         const auto pub_key = ConsumeDeserializable<CPubKey>(fuzzed_data_provider);
      49         [ +  + ]:         339 :         if (pub_key) {
      50         [ +  + ]:         170 :             if (!random_bytes.empty()) {
      51         [ +  - ]:         167 :                 (void)caching_transaction_signature_checker.VerifyECDSASignature(random_bytes, *pub_key, ConsumeUInt256(fuzzed_data_provider));
      52                 :             :             }
      53                 :             :         }
      54                 :         339 :     }
      55         [ +  + ]:        1257 : }