Page MenuHomePhabricator
Differential D1097 Diff 2872 src/script/interpreter.cpp

Changeset View

Standalone View

View Options

src/script/interpreter.cpp

Show First 20 Lines • Show All 329 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_CAT || opcode == OP_SUBSTR || opcode == OP_LEFT || if (opcode == OP_SUBSTR || opcode == OP_LEFT ||
opcode == OP_RIGHT || opcode == OP_INVERT || opcode == OP_2MUL || opcode == OP_RIGHT || opcode == OP_INVERT ||
opcode == OP_2DIV || opcode == OP_MUL || opcode == OP_LSHIFT || opcode == OP_2MUL || opcode == OP_2DIV || opcode == OP_MUL ||
opcode == OP_RSHIFT) { opcode == OP_LSHIFT || opcode == OP_RSHIFT) {
// 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 432 Lines • ▼ Show 20 Lines try {
case OP_AND: case OP_AND:
case OP_OR: case OP_OR:
case OP_XOR: { case OP_XOR: {
// (x1 x2 - out) // (x1 x2 - out)
if (stack.size() < 2) { if (stack.size() < 2) {
return set_error( return set_error(
serror, SCRIPT_ERR_INVALID_STACK_OPERATION); serror, SCRIPT_ERR_INVALID_STACK_OPERATION);
} }
valtype& vch1 = stacktop(-2); valtype &vch1 = stacktop(-2);
valtype& vch2 = stacktop(-1); valtype &vch2 = stacktop(-1);
// throw error if inputs are not the same size // throw error if inputs are not the same size
if (vch1.size() != vch2.size()) { if (vch1.size() != vch2.size()) {
return set_error( return set_error(
serror, SCRIPT_ERR_INVALID_BITWISE_OPERATION); serror, SCRIPT_ERR_INVALID_BITWISE_OPERATION);
} }
switch (opcode) { switch (opcode) {
case OP_AND: case OP_AND:
▲ Show 20 Lines • Show All 122 Lines • ▼ Show 20 Lines try {
case OP_SUB: case OP_SUB:
bn = bn1 - bn2; bn = bn1 - bn2;
break; break;
case OP_DIV: case OP_DIV:
// 2nd operand must not be 0 // 2nd operand must not be 0
if (bn2 == 0) { if (bn2 == 0) {
return set_error( return set_error(serror,
serror, SCRIPT_ERR_DIV_BY_ZERO); SCRIPT_ERR_DIV_BY_ZERO);
} }
bn = bn1 / bn2; bn = bn1 / bn2;
break; break;
case OP_MOD: case OP_MOD:
// 2nd operand must not be 0 // 2nd operand must not be 0
if (bn2 == 0) { if (bn2 == 0) {
return set_error( return set_error(serror,
serror, SCRIPT_ERR_MOD_BY_ZERO); SCRIPT_ERR_MOD_BY_ZERO);
} }
bn = bn1 % bn2; bn = bn1 % bn2;
break; break;
case OP_BOOLAND: case OP_BOOLAND:
bn = (bn1 != bnZero && bn2 != bnZero); bn = (bn1 != bnZero && bn2 != bnZero);
break; break;
case OP_BOOLOR: case OP_BOOLOR:
▲ Show 20 Lines • Show All 281 Lines • ▼ Show 20 Lines try {
popstack(stack); popstack(stack);
} else { } else {
return set_error( return set_error(
serror, SCRIPT_ERR_CHECKMULTISIGVERIFY); serror, SCRIPT_ERR_CHECKMULTISIGVERIFY);
} }
} }
} break; } break;
//
// Byte string operations
//
case OP_CAT: {
// (x1 x2 -- out)
if (stack.size() < 2) {
return set_error(
serror, SCRIPT_ERR_INVALID_STACK_OPERATION);
}
valtype &vch1 = stacktop(-2);
valtype &vch2 = stacktop(-1);
if (vch1.size() + vch2.size() >
MAX_SCRIPT_ELEMENT_SIZE) {
return set_error(serror, SCRIPT_ERR_PUSH_SIZE);
}
vch1.insert(vch1.end(), vch2.begin(), vch2.end());
stack.pop_back();
} 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