Changeset View
Changeset View
Standalone View
Standalone View
src/script/interpreter.cpp
Show First 20 Lines • Show All 328 Lines • ▼ Show 20 Lines | try { | ||||
return set_error(serror, SCRIPT_ERR_PUSH_SIZE); | return set_error(serror, SCRIPT_ERR_PUSH_SIZE); | ||||
} | } | ||||
// Note how OP_RESERVED does not count towards the opcode limit. | // Note how OP_RESERVED does not count towards the opcode limit. | ||||
if (opcode > OP_16 && ++nOpCount > MAX_OPS_PER_SCRIPT) { | if (opcode > OP_16 && ++nOpCount > MAX_OPS_PER_SCRIPT) { | ||||
return set_error(serror, SCRIPT_ERR_OP_COUNT); | return set_error(serror, SCRIPT_ERR_OP_COUNT); | ||||
} | } | ||||
if (opcode == OP_NUM2BIN || opcode == OP_INVERT || | if (opcode == OP_INVERT || opcode == OP_2MUL || opcode == OP_2DIV || | ||||
opcode == OP_2MUL || opcode == OP_2DIV || opcode == OP_MUL || | opcode == OP_MUL || opcode == OP_LSHIFT || | ||||
opcode == OP_LSHIFT || opcode == OP_RSHIFT) { | opcode == OP_RSHIFT) { | ||||
// Disabled opcodes. | // Disabled opcodes. | ||||
return set_error(serror, SCRIPT_ERR_DISABLED_OPCODE); | return set_error(serror, SCRIPT_ERR_DISABLED_OPCODE); | ||||
} | } | ||||
// if not monolith protocol upgrade (May 2018) then still disabled | // if not monolith protocol upgrade (May 2018) then still disabled | ||||
if (!fEnabledOpCodesMonolith && | if (!fEnabledOpCodesMonolith && | ||||
(opcode == OP_CAT || opcode == OP_SPLIT || | (opcode == OP_CAT || opcode == OP_SPLIT || | ||||
opcode == OP_BIN2NUM || opcode == OP_AND || opcode == OP_XOR || | opcode == OP_BIN2NUM || opcode == OP_NUM2BIN || | ||||
opcode == OP_OR || opcode == OP_DIV || opcode == OP_MOD)) { | opcode == OP_AND || opcode == OP_XOR || opcode == OP_OR || | ||||
opcode == OP_DIV || opcode == OP_MOD)) { | |||||
// Disabled opcodes. | // Disabled opcodes. | ||||
return set_error(serror, SCRIPT_ERR_DISABLED_OPCODE); | return set_error(serror, SCRIPT_ERR_DISABLED_OPCODE); | ||||
} | } | ||||
if (fExec && 0 <= opcode && opcode <= OP_PUSHDATA4) { | if (fExec && 0 <= opcode && opcode <= OP_PUSHDATA4) { | ||||
if (fRequireMinimal && | if (fRequireMinimal && | ||||
!CheckMinimalPush(vchPushValue, opcode)) { | !CheckMinimalPush(vchPushValue, opcode)) { | ||||
return set_error(serror, SCRIPT_ERR_MINIMALDATA); | return set_error(serror, SCRIPT_ERR_MINIMALDATA); | ||||
▲ Show 20 Lines • Show All 968 Lines • ▼ Show 20 Lines | |||||
if (num > (INT_MAX >> 1) || num < (INT_MIN >> 1)) { | if (num > (INT_MAX >> 1) || num < (INT_MIN >> 1)) { | ||||
return set_error( | return set_error( | ||||
serror, SCRIPT_ERR_INVALID_BIN2NUM_OPERATION); | serror, SCRIPT_ERR_INVALID_BIN2NUM_OPERATION); | ||||
} | } | ||||
stack.pop_back(); | stack.pop_back(); | ||||
stack.push_back(num.getvch()); | stack.push_back(num.getvch()); | ||||
} break; | } break; | ||||
case OP_NUM2BIN: { | |||||
// (in size -- out) | |||||
if (stack.size() < 2) { | |||||
return set_error( | |||||
serror, SCRIPT_ERR_INVALID_STACK_OPERATION); | |||||
} | |||||
CScriptNum num(stacktop(-2), fRequireMinimal); | |||||
int64_t size = | |||||
CScriptNum(stacktop(-1), fRequireMinimal).getint(); | |||||
if (size < 1 || | |||||
static_cast<uint64_t>(size) > | |||||
CScriptNum::nDefaultMaxNumSize) { | |||||
return set_error( | |||||
serror, SCRIPT_ERR_INVALID_NUM2BIN_OPERATION); | |||||
} | |||||
// Produces a byte vector of num and check if input size | |||||
// is valid | |||||
valtype vchNum = num.getvch(); | |||||
if (size < vchNum.size()) { | |||||
return set_error( | |||||
serror, SCRIPT_ERR_INVALID_NUM2BIN_OPERATION); | |||||
} | |||||
// Initialize byte vector for result | |||||
valtype result; | |||||
result.reserve(size); | |||||
bool neg{false}; | |||||
// Avoid negative zero | |||||
if (!vchNum.empty()) { | |||||
neg = *vchNum.rbegin() & 0x80; | |||||
*vchNum.rbegin() &= ~0x80; | |||||
} | |||||
// Pad result to declared input size | |||||
size_t pad = size - vchNum.size(); | |||||
for (uint8_t i = 0; i < pad; ++i) { | |||||
result.push_back(0); | |||||
} | |||||
for (auto i = vchNum.rbegin(); i != vchNum.rend(); | |||||
++i) { | |||||
result.push_back(*i); | |||||
} | |||||
if (neg) *result.begin() |= 0x80; | |||||
stack.pop_back(); | |||||
stack.pop_back(); | |||||
stack.push_back(result); | |||||
} break; | |||||
default: | default: | ||||
return set_error(serror, SCRIPT_ERR_BAD_OPCODE); | return set_error(serror, SCRIPT_ERR_BAD_OPCODE); | ||||
} | } | ||||
// Size limits | // Size limits | ||||
if (stack.size() + altstack.size() > 1000) { | if (stack.size() + altstack.size() > 1000) { | ||||
return set_error(serror, SCRIPT_ERR_STACK_SIZE); | return set_error(serror, SCRIPT_ERR_STACK_SIZE); | ||||
} | } | ||||
▲ Show 20 Lines • Show All 437 Lines • Show Last 20 Lines |