2015-07-07 02:54:22 +02:00
|
|
|
// Copyright 2014 The go-ethereum Authors
|
2015-07-22 18:48:40 +02:00
|
|
|
// This file is part of the go-ethereum library.
|
2015-07-07 02:54:22 +02:00
|
|
|
//
|
2015-07-23 18:35:11 +02:00
|
|
|
// The go-ethereum library is free software: you can redistribute it and/or modify
|
2015-07-07 02:54:22 +02:00
|
|
|
// it under the terms of the GNU Lesser General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
2015-07-22 18:48:40 +02:00
|
|
|
// The go-ethereum library is distributed in the hope that it will be useful,
|
2015-07-07 02:54:22 +02:00
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
2015-07-22 18:48:40 +02:00
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
2015-07-07 02:54:22 +02:00
|
|
|
// GNU Lesser General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Lesser General Public License
|
2015-07-22 18:48:40 +02:00
|
|
|
// along with the go-ethereum library. If not, see <http://www.gnu.org/licenses/>.
|
2015-07-07 02:54:22 +02:00
|
|
|
|
2014-10-23 14:04:00 +02:00
|
|
|
package vm
|
|
|
|
|
2020-04-22 16:25:36 +08:00
|
|
|
import (
|
|
|
|
"errors"
|
|
|
|
"fmt"
|
2024-03-22 18:53:53 +01:00
|
|
|
"math"
|
2020-04-22 16:25:36 +08:00
|
|
|
)
|
2014-10-23 14:04:00 +02:00
|
|
|
|
2020-04-22 16:25:36 +08:00
|
|
|
// List evm execution errors
|
2016-12-06 02:16:03 +01:00
|
|
|
var (
|
2017-08-25 12:30:51 +03:00
|
|
|
ErrOutOfGas = errors.New("out of gas")
|
|
|
|
ErrCodeStoreOutOfGas = errors.New("contract creation code storage out of gas")
|
|
|
|
ErrDepth = errors.New("max call depth exceeded")
|
|
|
|
ErrInsufficientBalance = errors.New("insufficient balance for transfer")
|
|
|
|
ErrContractAddressCollision = errors.New("contract address collision")
|
2020-04-22 16:25:36 +08:00
|
|
|
ErrExecutionReverted = errors.New("execution reverted")
|
|
|
|
ErrMaxCodeSizeExceeded = errors.New("max code size exceeded")
|
2024-04-06 12:22:55 +02:00
|
|
|
ErrMaxInitCodeSizeExceeded = errors.New("max initcode size exceeded")
|
2020-04-22 16:25:36 +08:00
|
|
|
ErrInvalidJump = errors.New("invalid jump destination")
|
|
|
|
ErrWriteProtection = errors.New("write protection")
|
|
|
|
ErrReturnDataOutOfBounds = errors.New("return data out of bounds")
|
|
|
|
ErrGasUintOverflow = errors.New("gas uint64 overflow")
|
2021-04-29 11:46:03 +02:00
|
|
|
ErrInvalidCode = errors.New("invalid code: must not begin with 0xef")
|
2021-11-11 15:00:58 +01:00
|
|
|
ErrNonceUintOverflow = errors.New("nonce uint64 overflow")
|
2021-11-29 14:46:24 +01:00
|
|
|
|
|
|
|
// errStopToken is an internal token indicating interpreter loop termination,
|
|
|
|
// never returned to outside callers.
|
|
|
|
errStopToken = errors.New("stop token")
|
2016-12-06 02:16:03 +01:00
|
|
|
)
|
2020-04-22 16:25:36 +08:00
|
|
|
|
|
|
|
// ErrStackUnderflow wraps an evm error when the items on the stack less
|
|
|
|
// than the minimal requirement.
|
|
|
|
type ErrStackUnderflow struct {
|
|
|
|
stackLen int
|
|
|
|
required int
|
|
|
|
}
|
|
|
|
|
core/vm, cmd/evm: implement eof validation (#30418)
The bulk of this PR is authored by @lightclient , in the original
EOF-work. More recently, the code has been picked up and reworked for the new EOF
specification, by @MariusVanDerWijden , in https://github.com/ethereum/go-ethereum/pull/29518, and also @shemnon has contributed with fixes.
This PR is an attempt to start eating the elephant one small bite at a
time, by selecting only the eof-validation as a standalone piece which
can be merged without interfering too much in the core stuff.
In this PR:
- [x] Validation of eof containers, lifted from #29518, along with
test-vectors from consensus-tests and fuzzing, to ensure that the move
did not lose any functionality.
- [x] Definition of eof opcodes, which is a prerequisite for validation
- [x] Addition of `undefined` to a jumptable entry item. I'm not
super-happy with this, but for the moment it seems the least invasive
way to do it. A better way might be to go back and allowing nil-items or
nil execute-functions to denote "undefined".
- [x] benchmarks of eof validation speed
---------
Co-authored-by: lightclient <lightclient@protonmail.com>
Co-authored-by: Marius van der Wijden <m.vanderwijden@live.de>
Co-authored-by: Danno Ferrin <danno.ferrin@shemnon.com>
2024-10-02 15:05:50 +02:00
|
|
|
func (e ErrStackUnderflow) Error() string {
|
2020-04-22 16:25:36 +08:00
|
|
|
return fmt.Sprintf("stack underflow (%d <=> %d)", e.stackLen, e.required)
|
|
|
|
}
|
|
|
|
|
core/vm, cmd/evm: implement eof validation (#30418)
The bulk of this PR is authored by @lightclient , in the original
EOF-work. More recently, the code has been picked up and reworked for the new EOF
specification, by @MariusVanDerWijden , in https://github.com/ethereum/go-ethereum/pull/29518, and also @shemnon has contributed with fixes.
This PR is an attempt to start eating the elephant one small bite at a
time, by selecting only the eof-validation as a standalone piece which
can be merged without interfering too much in the core stuff.
In this PR:
- [x] Validation of eof containers, lifted from #29518, along with
test-vectors from consensus-tests and fuzzing, to ensure that the move
did not lose any functionality.
- [x] Definition of eof opcodes, which is a prerequisite for validation
- [x] Addition of `undefined` to a jumptable entry item. I'm not
super-happy with this, but for the moment it seems the least invasive
way to do it. A better way might be to go back and allowing nil-items or
nil execute-functions to denote "undefined".
- [x] benchmarks of eof validation speed
---------
Co-authored-by: lightclient <lightclient@protonmail.com>
Co-authored-by: Marius van der Wijden <m.vanderwijden@live.de>
Co-authored-by: Danno Ferrin <danno.ferrin@shemnon.com>
2024-10-02 15:05:50 +02:00
|
|
|
func (e ErrStackUnderflow) Unwrap() error {
|
2024-10-14 19:25:22 +02:00
|
|
|
return errors.New("stack underflow")
|
core/vm, cmd/evm: implement eof validation (#30418)
The bulk of this PR is authored by @lightclient , in the original
EOF-work. More recently, the code has been picked up and reworked for the new EOF
specification, by @MariusVanDerWijden , in https://github.com/ethereum/go-ethereum/pull/29518, and also @shemnon has contributed with fixes.
This PR is an attempt to start eating the elephant one small bite at a
time, by selecting only the eof-validation as a standalone piece which
can be merged without interfering too much in the core stuff.
In this PR:
- [x] Validation of eof containers, lifted from #29518, along with
test-vectors from consensus-tests and fuzzing, to ensure that the move
did not lose any functionality.
- [x] Definition of eof opcodes, which is a prerequisite for validation
- [x] Addition of `undefined` to a jumptable entry item. I'm not
super-happy with this, but for the moment it seems the least invasive
way to do it. A better way might be to go back and allowing nil-items or
nil execute-functions to denote "undefined".
- [x] benchmarks of eof validation speed
---------
Co-authored-by: lightclient <lightclient@protonmail.com>
Co-authored-by: Marius van der Wijden <m.vanderwijden@live.de>
Co-authored-by: Danno Ferrin <danno.ferrin@shemnon.com>
2024-10-02 15:05:50 +02:00
|
|
|
}
|
|
|
|
|
2020-04-22 16:25:36 +08:00
|
|
|
// ErrStackOverflow wraps an evm error when the items on the stack exceeds
|
|
|
|
// the maximum allowance.
|
|
|
|
type ErrStackOverflow struct {
|
|
|
|
stackLen int
|
|
|
|
limit int
|
|
|
|
}
|
|
|
|
|
core/vm, cmd/evm: implement eof validation (#30418)
The bulk of this PR is authored by @lightclient , in the original
EOF-work. More recently, the code has been picked up and reworked for the new EOF
specification, by @MariusVanDerWijden , in https://github.com/ethereum/go-ethereum/pull/29518, and also @shemnon has contributed with fixes.
This PR is an attempt to start eating the elephant one small bite at a
time, by selecting only the eof-validation as a standalone piece which
can be merged without interfering too much in the core stuff.
In this PR:
- [x] Validation of eof containers, lifted from #29518, along with
test-vectors from consensus-tests and fuzzing, to ensure that the move
did not lose any functionality.
- [x] Definition of eof opcodes, which is a prerequisite for validation
- [x] Addition of `undefined` to a jumptable entry item. I'm not
super-happy with this, but for the moment it seems the least invasive
way to do it. A better way might be to go back and allowing nil-items or
nil execute-functions to denote "undefined".
- [x] benchmarks of eof validation speed
---------
Co-authored-by: lightclient <lightclient@protonmail.com>
Co-authored-by: Marius van der Wijden <m.vanderwijden@live.de>
Co-authored-by: Danno Ferrin <danno.ferrin@shemnon.com>
2024-10-02 15:05:50 +02:00
|
|
|
func (e ErrStackOverflow) Error() string {
|
2020-04-22 16:25:36 +08:00
|
|
|
return fmt.Sprintf("stack limit reached %d (%d)", e.stackLen, e.limit)
|
|
|
|
}
|
|
|
|
|
core/vm, cmd/evm: implement eof validation (#30418)
The bulk of this PR is authored by @lightclient , in the original
EOF-work. More recently, the code has been picked up and reworked for the new EOF
specification, by @MariusVanDerWijden , in https://github.com/ethereum/go-ethereum/pull/29518, and also @shemnon has contributed with fixes.
This PR is an attempt to start eating the elephant one small bite at a
time, by selecting only the eof-validation as a standalone piece which
can be merged without interfering too much in the core stuff.
In this PR:
- [x] Validation of eof containers, lifted from #29518, along with
test-vectors from consensus-tests and fuzzing, to ensure that the move
did not lose any functionality.
- [x] Definition of eof opcodes, which is a prerequisite for validation
- [x] Addition of `undefined` to a jumptable entry item. I'm not
super-happy with this, but for the moment it seems the least invasive
way to do it. A better way might be to go back and allowing nil-items or
nil execute-functions to denote "undefined".
- [x] benchmarks of eof validation speed
---------
Co-authored-by: lightclient <lightclient@protonmail.com>
Co-authored-by: Marius van der Wijden <m.vanderwijden@live.de>
Co-authored-by: Danno Ferrin <danno.ferrin@shemnon.com>
2024-10-02 15:05:50 +02:00
|
|
|
func (e ErrStackOverflow) Unwrap() error {
|
2024-10-14 19:25:22 +02:00
|
|
|
return errors.New("stack overflow")
|
core/vm, cmd/evm: implement eof validation (#30418)
The bulk of this PR is authored by @lightclient , in the original
EOF-work. More recently, the code has been picked up and reworked for the new EOF
specification, by @MariusVanDerWijden , in https://github.com/ethereum/go-ethereum/pull/29518, and also @shemnon has contributed with fixes.
This PR is an attempt to start eating the elephant one small bite at a
time, by selecting only the eof-validation as a standalone piece which
can be merged without interfering too much in the core stuff.
In this PR:
- [x] Validation of eof containers, lifted from #29518, along with
test-vectors from consensus-tests and fuzzing, to ensure that the move
did not lose any functionality.
- [x] Definition of eof opcodes, which is a prerequisite for validation
- [x] Addition of `undefined` to a jumptable entry item. I'm not
super-happy with this, but for the moment it seems the least invasive
way to do it. A better way might be to go back and allowing nil-items or
nil execute-functions to denote "undefined".
- [x] benchmarks of eof validation speed
---------
Co-authored-by: lightclient <lightclient@protonmail.com>
Co-authored-by: Marius van der Wijden <m.vanderwijden@live.de>
Co-authored-by: Danno Ferrin <danno.ferrin@shemnon.com>
2024-10-02 15:05:50 +02:00
|
|
|
}
|
|
|
|
|
2020-04-22 16:25:36 +08:00
|
|
|
// ErrInvalidOpCode wraps an evm error when an invalid opcode is encountered.
|
|
|
|
type ErrInvalidOpCode struct {
|
|
|
|
opcode OpCode
|
|
|
|
}
|
|
|
|
|
|
|
|
func (e *ErrInvalidOpCode) Error() string { return fmt.Sprintf("invalid opcode: %s", e.opcode) }
|
2024-03-22 18:53:53 +01:00
|
|
|
|
|
|
|
// rpcError is the same interface as the one defined in rpc/errors.go
|
|
|
|
// but we do not want to depend on rpc package here so we redefine it.
|
|
|
|
//
|
|
|
|
// It's used to ensure that the VMError implements the RPC error interface.
|
|
|
|
type rpcError interface {
|
|
|
|
Error() string // returns the message
|
|
|
|
ErrorCode() int // returns the code
|
|
|
|
}
|
|
|
|
|
|
|
|
var _ rpcError = (*VMError)(nil)
|
|
|
|
|
|
|
|
// VMError wraps a VM error with an additional stable error code. The error
|
|
|
|
// field is the original error that caused the VM error and must be one of the
|
|
|
|
// VM error defined at the top of this file.
|
|
|
|
//
|
|
|
|
// If the error is not one of the known error above, the error code will be
|
|
|
|
// set to VMErrorCodeUnknown.
|
|
|
|
type VMError struct {
|
|
|
|
error
|
|
|
|
code int
|
|
|
|
}
|
|
|
|
|
|
|
|
func VMErrorFromErr(err error) error {
|
|
|
|
if err == nil {
|
|
|
|
return nil
|
|
|
|
}
|
|
|
|
|
|
|
|
return &VMError{
|
|
|
|
error: err,
|
|
|
|
code: vmErrorCodeFromErr(err),
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
func (e *VMError) Error() string {
|
|
|
|
return e.error.Error()
|
|
|
|
}
|
|
|
|
|
|
|
|
func (e *VMError) Unwrap() error {
|
|
|
|
return e.error
|
|
|
|
}
|
|
|
|
|
|
|
|
func (e *VMError) ErrorCode() int {
|
|
|
|
return e.code
|
|
|
|
}
|
|
|
|
|
|
|
|
const (
|
|
|
|
// We start the error code at 1 so that we can use 0 later for some possible extension. There
|
|
|
|
// is no unspecified value for the code today because it should always be set to a valid value
|
|
|
|
// that could be VMErrorCodeUnknown if the error is not mapped to a known error code.
|
|
|
|
|
|
|
|
VMErrorCodeOutOfGas = 1 + iota
|
|
|
|
VMErrorCodeCodeStoreOutOfGas
|
|
|
|
VMErrorCodeDepth
|
|
|
|
VMErrorCodeInsufficientBalance
|
|
|
|
VMErrorCodeContractAddressCollision
|
|
|
|
VMErrorCodeExecutionReverted
|
|
|
|
VMErrorCodeMaxCodeSizeExceeded
|
|
|
|
VMErrorCodeInvalidJump
|
|
|
|
VMErrorCodeWriteProtection
|
|
|
|
VMErrorCodeReturnDataOutOfBounds
|
|
|
|
VMErrorCodeGasUintOverflow
|
|
|
|
VMErrorCodeInvalidCode
|
|
|
|
VMErrorCodeNonceUintOverflow
|
|
|
|
VMErrorCodeStackUnderflow
|
|
|
|
VMErrorCodeStackOverflow
|
|
|
|
VMErrorCodeInvalidOpCode
|
|
|
|
|
|
|
|
// VMErrorCodeUnknown explicitly marks an error as unknown, this is useful when error is converted
|
|
|
|
// from an actual `error` in which case if the mapping is not known, we can use this value to indicate that.
|
|
|
|
VMErrorCodeUnknown = math.MaxInt - 1
|
|
|
|
)
|
|
|
|
|
|
|
|
func vmErrorCodeFromErr(err error) int {
|
|
|
|
switch {
|
|
|
|
case errors.Is(err, ErrOutOfGas):
|
|
|
|
return VMErrorCodeOutOfGas
|
|
|
|
case errors.Is(err, ErrCodeStoreOutOfGas):
|
|
|
|
return VMErrorCodeCodeStoreOutOfGas
|
|
|
|
case errors.Is(err, ErrDepth):
|
|
|
|
return VMErrorCodeDepth
|
|
|
|
case errors.Is(err, ErrInsufficientBalance):
|
|
|
|
return VMErrorCodeInsufficientBalance
|
|
|
|
case errors.Is(err, ErrContractAddressCollision):
|
|
|
|
return VMErrorCodeContractAddressCollision
|
|
|
|
case errors.Is(err, ErrExecutionReverted):
|
|
|
|
return VMErrorCodeExecutionReverted
|
|
|
|
case errors.Is(err, ErrMaxCodeSizeExceeded):
|
|
|
|
return VMErrorCodeMaxCodeSizeExceeded
|
|
|
|
case errors.Is(err, ErrInvalidJump):
|
|
|
|
return VMErrorCodeInvalidJump
|
|
|
|
case errors.Is(err, ErrWriteProtection):
|
|
|
|
return VMErrorCodeWriteProtection
|
|
|
|
case errors.Is(err, ErrReturnDataOutOfBounds):
|
|
|
|
return VMErrorCodeReturnDataOutOfBounds
|
|
|
|
case errors.Is(err, ErrGasUintOverflow):
|
|
|
|
return VMErrorCodeGasUintOverflow
|
|
|
|
case errors.Is(err, ErrInvalidCode):
|
|
|
|
return VMErrorCodeInvalidCode
|
|
|
|
case errors.Is(err, ErrNonceUintOverflow):
|
|
|
|
return VMErrorCodeNonceUintOverflow
|
|
|
|
|
|
|
|
default:
|
|
|
|
// Dynamic errors
|
|
|
|
if v := (*ErrStackUnderflow)(nil); errors.As(err, &v) {
|
|
|
|
return VMErrorCodeStackUnderflow
|
|
|
|
}
|
|
|
|
|
|
|
|
if v := (*ErrStackOverflow)(nil); errors.As(err, &v) {
|
|
|
|
return VMErrorCodeStackOverflow
|
|
|
|
}
|
|
|
|
|
|
|
|
if v := (*ErrInvalidOpCode)(nil); errors.As(err, &v) {
|
|
|
|
return VMErrorCodeInvalidOpCode
|
|
|
|
}
|
|
|
|
|
|
|
|
return VMErrorCodeUnknown
|
|
|
|
}
|
|
|
|
}
|