// Copyright (c) 2009-present The Bitcoin Core developers

// Distributed under the MIT software license, see the accompanying

// file COPYING or http://www.opensource.org/licenses/mit-license.php.

#include <consensus/amount.h>

#include <primitives/transaction.h>

#include <script/interpreter.h>

#include <serialize.h>

#include <streams.h>

#include <test/fuzz/fuzz.h>

#include <test/util/script.h>

#include <cassert>

#include <ios>

#include <utility>

#include <vector>

static SpanReader& operator>>(SpanReader& ds, script_verify_flags& f)

{

    script_verify_flags::value_type n{0};

    ds >> n;

    f = script_verify_flags::from_int(n);

    assert(n == f.as_int());

  Branch (23:5): [True: 0, False: 0]

    return ds;

}

FUZZ_TARGET(script_flags)

{

    if (buffer.size() > 100'000) return;

  Branch (29:9): [True: 0, False: 0]

    SpanReader ds{buffer};

    try {

        const CTransaction tx(deserialize, TX_WITH_WITNESS, ds);

        script_verify_flags verify_flags;

        ds >> verify_flags;

        assert(verify_flags == script_verify_flags::from_int(verify_flags.as_int()));

  Branch (37:9): [True: 0, False: 0]

        if (!IsValidFlagCombination(verify_flags)) return;

  Branch (39:13): [True: 0, False: 0]

        script_verify_flags fuzzed_flags;

        ds >> fuzzed_flags;

        std::vector<CTxOut> spent_outputs;

        for (unsigned i = 0; i < tx.vin.size(); ++i) {

  Branch (45:30): [True: 0, False: 0]

            CTxOut prevout;

            ds >> prevout;

            if (!MoneyRange(prevout.nValue)) {

  Branch (48:17): [True: 0, False: 0]

                // prevouts should be consensus-valid

                prevout.nValue = 1;

            }

            spent_outputs.push_back(prevout);

        }

        PrecomputedTransactionData txdata;

        txdata.Init(tx, std::move(spent_outputs));

        for (unsigned i = 0; i < tx.vin.size(); ++i) {

  Branch (57:30): [True: 0, False: 0]

            const CTxOut& prevout = txdata.m_spent_outputs.at(i);

            const TransactionSignatureChecker checker{&tx, i, prevout.nValue, txdata, MissingDataBehavior::ASSERT_FAIL};

            ScriptError serror;

            const bool ret = VerifyScript(tx.vin.at(i).scriptSig, prevout.scriptPubKey, &tx.vin.at(i).scriptWitness, verify_flags, checker, &serror);

            assert(ret == (serror == SCRIPT_ERR_OK));

  Branch (63:13): [True: 0, False: 0]

            // Verify that removing flags from a passing test or adding flags to a failing test does not change the result

            if (ret) {

  Branch (66:17): [True: 0, False: 0]

                verify_flags &= ~fuzzed_flags;

            } else {

                verify_flags |= fuzzed_flags;

            }

            if (!IsValidFlagCombination(verify_flags)) return;

  Branch (71:17): [True: 0, False: 0]

            ScriptError serror_fuzzed;

            const bool ret_fuzzed = VerifyScript(tx.vin.at(i).scriptSig, prevout.scriptPubKey, &tx.vin.at(i).scriptWitness, verify_flags, checker, &serror_fuzzed);

            assert(ret_fuzzed == (serror_fuzzed == SCRIPT_ERR_OK));

  Branch (75:13): [True: 0, False: 0]

            assert(ret_fuzzed == ret);

  Branch (77:13): [True: 0, False: 0]

        }

    } catch (const std::ios_base::failure&) {

        return;

    }

}