vm

package
v0.93.0-pre Latest Latest
Warning

This package is not in the latest version of its module.

Go to latest
Published: Dec 28, 2020 License: MIT Imports: 24 Imported by: 6

Documentation

Index

Constants

View Source
const (
	// MaxInvocationStackSize is the maximum size of an invocation stack.
	MaxInvocationStackSize = 1024

	// MaxTryNestingDepth is the maximum level of TRY nesting allowed,
	// that is you can't have more exception handling contexts than this.
	MaxTryNestingDepth = 16

	// MaxStackSize is the maximum number of items allowed to be
	// on all stacks at once.
	MaxStackSize = 2 * 1024
)

Variables

This section is empty.

Functions

func CheckMultisigPar added in v0.90.0

func CheckMultisigPar(v *VM, curve elliptic.Curve, h []byte, pkeys [][]byte, sigs [][]byte) bool

CheckMultisigPar checks if sigs contains sufficient valid signatures.

func EnumeratorConcat

func EnumeratorConcat(v *VM) error

EnumeratorConcat handles syscall System.Enumerator.Concat.

func EnumeratorCreate

func EnumeratorCreate(v *VM) error

EnumeratorCreate handles syscall System.Enumerator.Create.

func EnumeratorNext

func EnumeratorNext(v *VM) error

EnumeratorNext handles syscall System.Enumerator.Next.

func EnumeratorValue

func EnumeratorValue(v *VM) error

EnumeratorValue handles syscall System.Enumerator.Value.

func GetInteropID

func GetInteropID(parameter []byte) uint32

GetInteropID converts instruction parameter to an interop ID.

func IsMultiSigContract

func IsMultiSigContract(script []byte) bool

IsMultiSigContract checks whether the passed script is a multi-signature contract.

func IsSignatureContract

func IsSignatureContract(script []byte) bool

IsSignatureContract checks whether the passed script is a signature check contract.

func IsStandardContract

func IsStandardContract(script []byte) bool

IsStandardContract checks whether the passed script is a signature or multi-signature contract.

func IteratorConcat

func IteratorConcat(v *VM) error

IteratorConcat handles syscall System.Iterator.Concat.

func IteratorCreate

func IteratorCreate(v *VM) error

IteratorCreate handles syscall System.Iterator.Create.

func IteratorKey

func IteratorKey(v *VM) error

IteratorKey handles syscall System.Iterator.Key.

func IteratorKeys

func IteratorKeys(v *VM) error

IteratorKeys handles syscall System.Iterator.Keys.

func IteratorValues

func IteratorValues(v *VM) error

IteratorValues handles syscall System.Iterator.Values.

func NewMapIterator

func NewMapIterator(m *stackitem.Map) *stackitem.Interop

NewMapIterator returns new interop item containing iterator over m.

func ParseMultiSigContract

func ParseMultiSigContract(script []byte) (int, [][]byte, bool)

ParseMultiSigContract returns number of signatures and list of public keys from the verification script of the contract.

func RuntimeDeserialize

func RuntimeDeserialize(vm *VM) error

RuntimeDeserialize handles System.Binary.Deserialize syscall.

func RuntimeSerialize

func RuntimeSerialize(vm *VM) error

RuntimeSerialize handles System.Binary.Serialize syscall.

Types

type CheckReturnState added in v0.92.0

type CheckReturnState byte

CheckReturnState represents possible states of stack after opcode.RET was processed.

const (
	// NoCheck performs no return values check.
	NoCheck CheckReturnState = 0
	// EnsureIsEmpty checks that stack is empty and panics if not.
	EnsureIsEmpty CheckReturnState = 1
	// EnsureNotEmpty checks that stack contains not more than 1 element and panics if not.
	// It pushes stackitem.Null on stack in case if there's no elements.
	EnsureNotEmpty CheckReturnState = 2
)

type Context

type Context struct {

	// CheckReturn specifies if amount of return values needs to be checked.
	CheckReturn CheckReturnState
	// contains filtered or unexported fields
}

Context represents the current execution context of the VM.

func NewContext

func NewContext(b []byte) *Context

NewContext returns a new Context object.

func (*Context) Convert added in v0.90.0

func (c *Context) Convert(_ stackitem.Type) (stackitem.Item, error)

Convert implements stackitem.Item interface.

func (*Context) Copy

func (c *Context) Copy() *Context

Copy returns an new exact copy of c.

func (*Context) CurrInstr

func (c *Context) CurrInstr() (int, opcode.Opcode)

CurrInstr returns the current instruction and opcode.

func (*Context) Dup

func (c *Context) Dup() stackitem.Item

Dup implements stackitem.Item interface.

func (*Context) Equals

func (c *Context) Equals(s stackitem.Item) bool

Equals implements stackitem.Item interface.

func (*Context) Estack added in v0.92.0

func (c *Context) Estack() *Stack

Estack returns the evaluation stack of c.

func (*Context) GetCallFlags added in v0.90.0

func (c *Context) GetCallFlags() smartcontract.CallFlag

GetCallFlags returns calling flags context was created with.

func (*Context) IP

func (c *Context) IP() int

IP returns current instruction offset in the context script.

func (*Context) IsDeployed added in v0.92.0

func (c *Context) IsDeployed() bool

IsDeployed returns whether this context contains deployed contract.

func (*Context) LenInstr

func (c *Context) LenInstr() int

LenInstr returns the number of instructions loaded.

func (*Context) Next

func (c *Context) Next() (opcode.Opcode, []byte, error)

Next returns the next instruction to execute with its parameter if any. After its invocation the instruction pointer points to the instruction being returned.

func (*Context) NextIP

func (c *Context) NextIP() int

NextIP returns next instruction pointer.

func (*Context) NextInstr added in v0.78.3

func (c *Context) NextInstr() (int, opcode.Opcode)

NextInstr returns the next instruction and opcode.

func (*Context) Program

func (c *Context) Program() []byte

Program returns the loaded program.

func (*Context) ScriptHash

func (c *Context) ScriptHash() util.Uint160

ScriptHash returns a hash of the script in the current context.

func (*Context) String

func (c *Context) String() string

func (*Context) TryBool added in v0.92.0

func (c *Context) TryBool() (bool, error)

TryBool implements stackitem.Item interface.

func (*Context) TryBytes

func (c *Context) TryBytes() ([]byte, error)

TryBytes implements stackitem.Item interface.

func (*Context) TryInteger added in v0.90.0

func (c *Context) TryInteger() (*big.Int, error)

TryInteger implements stackitem.Item interface.

func (*Context) Type added in v0.90.0

func (c *Context) Type() stackitem.Type

Type implements stackitem.Item interface.

func (*Context) Value

func (c *Context) Value() interface{}

Value implements stackitem.Item interface.

type Element

type Element struct {
	// contains filtered or unexported fields
}

Element represents an element in the double linked list (the stack), which will hold the underlying stackitem.Item.

func NewElement

func NewElement(v interface{}) *Element

NewElement returns a new Element object, with its underlying value inferred to the corresponding type.

func (*Element) Array

func (e *Element) Array() []stackitem.Item

Array attempts to get the underlying value of the element as an array of other items. Will panic if the item type is different which will be caught by the VM.

func (*Element) BigInt

func (e *Element) BigInt() *big.Int

BigInt attempts to get the underlying value of the element as a big integer. Will panic if the assertion failed which will be caught by the VM.

func (*Element) Bool

func (e *Element) Bool() bool

Bool converts an underlying value of the element to a boolean if it's possible to do so, it will panic otherwise.

func (*Element) Bytes

func (e *Element) Bytes() []byte

Bytes attempts to get the underlying value of the element as a byte array. Will panic if the assertion failed which will be caught by the VM.

func (*Element) BytesOrNil added in v0.92.0

func (e *Element) BytesOrNil() []byte

BytesOrNil attempts to get the underlying value of the element as a byte array or nil. Will panic if the assertion failed which will be caught by the VM.

func (*Element) Interop

func (e *Element) Interop() *stackitem.Interop

Interop attempts to get the underlying value of the element as an interop item.

func (*Element) Item

func (e *Element) Item() stackitem.Item

Item returns Item contained in the element.

func (*Element) Next

func (e *Element) Next() *Element

Next returns the next element in the stack.

func (*Element) Prev

func (e *Element) Prev() *Element

Prev returns the previous element in the stack.

func (*Element) String added in v0.91.0

func (e *Element) String() string

String attempts to get string from the element value. It is assumed to be use in interops and panics if string is not a valid UTF-8 byte sequence.

func (*Element) Value

func (e *Element) Value() interface{}

Value returns value of the Item contained in the element.

type Slot added in v0.90.0

type Slot struct {
	// contains filtered or unexported fields
}

Slot is a fixed-size slice of stack items.

func (*Slot) Clear added in v0.91.0

func (s *Slot) Clear()

Clear removes all slot variables from reference counter.

func (*Slot) Get added in v0.90.0

func (s *Slot) Get(i int) stackitem.Item

Get returns item contained in i-th slot.

func (*Slot) Set added in v0.90.0

func (s *Slot) Set(i int, item stackitem.Item)

Set sets i-th storage slot.

func (*Slot) Size added in v0.90.0

func (s *Slot) Size() int

Size returns slot size.

type Stack

type Stack struct {
	// contains filtered or unexported fields
}

Stack represents a Stack backed by a double linked list.

func NewStack

func NewStack(n string) *Stack

NewStack returns a new stack name by the given name.

func (*Stack) Back

func (s *Stack) Back() *Element

Back returns the element at the end of the stack. Nil if the stack is empty.

func (*Stack) Clear

func (s *Stack) Clear()

Clear clears all elements on the stack and set its length to 0.

func (*Stack) Dup

func (s *Stack) Dup(n int) *Element

Dup duplicates and returns the element at position n. Dup is used for copying elements on to the top of its own stack.

s.Push(s.Peek(0)) // will result in unexpected behaviour.
s.Push(s.Dup(0)) // is the correct approach.

func (*Stack) InsertAt

func (s *Stack) InsertAt(e *Element, n int) *Element

InsertAt inserts the given item (n) deep on the stack. Be very careful using it and _always_ check both e and n before invocation as it will silently do wrong things otherwise.

func (*Stack) Iter

func (s *Stack) Iter(f func(*Element))

Iter iterates over all the elements int the stack, starting from the top of the stack.

s.Iter(func(elem *Element) {
	// do something with the element.
})

func (*Stack) IterBack

func (s *Stack) IterBack(f func(*Element))

IterBack iterates over all the elements of the stack, starting from the bottom of the stack.

s.IterBack(func(elem *Element) {
	// do something with the element.
})

func (*Stack) Len

func (s *Stack) Len() int

Len returns the number of elements that are on the stack.

func (*Stack) MarshalJSON

func (s *Stack) MarshalJSON() ([]byte, error)

MarshalJSON implements JSON marshalling interface.

func (*Stack) Peek

func (s *Stack) Peek(n int) *Element

Peek returns the element (n) far in the stack beginning from the top of the stack.

n = 0 => will return the element on top of the stack.

func (*Stack) Pop

func (s *Stack) Pop() *Element

Pop removes and returns the element on top of the stack.

func (*Stack) PopSigElements added in v0.90.0

func (s *Stack) PopSigElements() ([][]byte, error)

PopSigElements pops keys or signatures from the stack as needed for CHECKMULTISIG.

func (*Stack) Push

func (s *Stack) Push(e *Element)

Push pushes the given element on the stack.

func (*Stack) PushVal

func (s *Stack) PushVal(v interface{})

PushVal pushes the given value on the stack. It will infer the underlying Item to its corresponding type.

func (*Stack) Remove

func (s *Stack) Remove(e *Element) *Element

Remove removes and returns the given element from the stack.

func (*Stack) RemoveAt

func (s *Stack) RemoveAt(n int) *Element

RemoveAt removes the element (n) deep on the stack beginning from the top of the stack.

func (*Stack) ReverseTop added in v0.90.0

func (s *Stack) ReverseTop(n int) error

ReverseTop reverses top n items of the stack.

func (*Stack) Roll

func (s *Stack) Roll(n int) error

Roll brings an item with the given index to the top of the stack, moving all the other elements down accordingly. It does all of that without popping and pushing elements.

func (*Stack) Swap

func (s *Stack) Swap(n1, n2 int) error

Swap swaps two elements on the stack without popping and pushing them.

func (*Stack) ToArray added in v0.91.0

func (s *Stack) ToArray() []stackitem.Item

ToArray converts stack to an array of stackitems with top item being the last.

func (*Stack) Top

func (s *Stack) Top() *Element

Top returns the element on top of the stack. Nil if the stack is empty.

type State

type State uint8

State of the VM.

const (
	// NoneState represents NONE VM state.
	NoneState State = 0
	// HaltState represents HALT VM state.
	HaltState State = 1 << iota
	// FaultState represents FAULT VM state.
	FaultState
	// BreakState represents BREAK VM state.
	BreakState
)

Available States.

func StateFromString

func StateFromString(s string) (st State, err error)

StateFromString converts string into the VM State.

func (State) HasFlag

func (s State) HasFlag(f State) bool

HasFlag checks for State flag presence.

func (State) MarshalJSON

func (s State) MarshalJSON() (data []byte, err error)

MarshalJSON implements the json.Marshaler interface.

func (State) String

func (s State) String() string

String implements the stringer interface.

func (*State) UnmarshalJSON

func (s *State) UnmarshalJSON(data []byte) (err error)

UnmarshalJSON implements the json.Marshaler interface.

type StateMessage

type StateMessage string

StateMessage is a vm state message which could be used as additional info for example by cli.

type SyscallHandler added in v0.91.0

type SyscallHandler = func(*VM, uint32) error

SyscallHandler is a type for syscall handler.

type VM

type VM struct {
	GasLimit int64

	// SyscallHandler handles SYSCALL opcode.
	SyscallHandler func(v *VM, id uint32) error

	// Invocations is a script invocation counter.
	Invocations map[util.Uint160]int
	// contains filtered or unexported fields
}

VM represents the virtual machine.

func New

func New() *VM

New returns a new VM object ready to load AVM bytecode scripts.

func NewWithTrigger added in v0.90.0

func NewWithTrigger(t trigger.Type) *VM

NewWithTrigger returns a new VM for executions triggered by t.

func (*VM) AddBreakPoint

func (v *VM) AddBreakPoint(n int)

AddBreakPoint adds a breakpoint to the current context.

func (*VM) AddBreakPointRel

func (v *VM) AddBreakPointRel(n int)

AddBreakPointRel adds a breakpoint relative to the current instruction pointer.

func (*VM) AddGas added in v0.90.0

func (v *VM) AddGas(gas int64) bool

AddGas consumes specified amount of gas. It returns true iff gas limit wasn't exceeded.

func (*VM) AtBreakpoint

func (v *VM) AtBreakpoint() bool

AtBreakpoint returns whether VM is at breakpoint.

func (*VM) Call added in v0.91.0

func (v *VM) Call(ctx *Context, offset int)

Call calls method by offset. It is similar to Jump but also pushes new context to the invocation stack and increments invocation counter for the corresponding context script hash.

func (*VM) Context

func (v *VM) Context() *Context

Context returns the current executed context. Nil if there is no context, which implies no program is loaded.

func (*VM) Estack

func (v *VM) Estack() *Stack

Estack returns the evaluation stack so interop hooks can utilize this.

func (*VM) GasConsumed

func (v *VM) GasConsumed() int64

GasConsumed returns the amount of GAS consumed during execution.

func (*VM) GetCallingScriptHash added in v0.90.0

func (v *VM) GetCallingScriptHash() util.Uint160

GetCallingScriptHash implements ScriptHashGetter interface

func (*VM) GetCurrentScriptHash added in v0.90.0

func (v *VM) GetCurrentScriptHash() util.Uint160

GetCurrentScriptHash implements ScriptHashGetter interface

func (*VM) GetEntryScriptHash added in v0.90.0

func (v *VM) GetEntryScriptHash() util.Uint160

GetEntryScriptHash implements ScriptHashGetter interface

func (*VM) HasFailed

func (v *VM) HasFailed() bool

HasFailed returns whether VM is in the failed state now. Usually used to check status after Run.

func (*VM) HasHalted

func (v *VM) HasHalted() bool

HasHalted returns whether VM is in Halt state.

func (*VM) HasStopped

func (v *VM) HasStopped() bool

HasStopped returns whether VM is in Halt or Failed state.

func (*VM) Istack

func (v *VM) Istack() *Stack

Istack returns the invocation stack so interop hooks can utilize this.

func (*VM) Jump added in v0.91.0

func (v *VM) Jump(ctx *Context, offset int)

Jump performs jump to the offset.

func (*VM) Load

func (v *VM) Load(prog []byte)

Load initializes the VM with the program given.

func (*VM) LoadArgs

func (v *VM) LoadArgs(method []byte, args []stackitem.Item)

LoadArgs loads in the arguments used in the Mian entry point.

func (*VM) LoadFile

func (v *VM) LoadFile(path string) error

LoadFile loads a program in NEF format from the given path, ready to execute it.

func (*VM) LoadScript

func (v *VM) LoadScript(b []byte)

LoadScript loads a script from the internal script table. It will immediately push a new context created from this script to the invocation stack and starts executing it.

func (*VM) LoadScriptWithCallingHash added in v0.92.0

func (v *VM) LoadScriptWithCallingHash(caller util.Uint160, b []byte, hash util.Uint160, f smartcontract.CallFlag)

LoadScriptWithCallingHash is similar to LoadScriptWithHash but sets calling hash explicitly. It should be used for calling from native contracts.

func (*VM) LoadScriptWithFlags added in v0.90.0

func (v *VM) LoadScriptWithFlags(b []byte, f smartcontract.CallFlag)

LoadScriptWithFlags loads script and sets call flag to f.

func (*VM) LoadScriptWithHash added in v0.90.0

func (v *VM) LoadScriptWithHash(b []byte, hash util.Uint160, f smartcontract.CallFlag)

LoadScriptWithHash if similar to the LoadScriptWithFlags method, but it also loads given script hash directly into the Context to avoid its recalculations and to make is possible to override it for deployed contracts with special hashes (the function assumes that it is used for deployed contracts setting context's parameters accordingly). It's up to user of this function to make sure the script and hash match each other.

func (*VM) PopResult

func (v *VM) PopResult() interface{}

PopResult is used to pop the first item of the evaluation stack. This allows us to test compiler and vm in a bi-directional way.

func (*VM) PrintOps

func (v *VM) PrintOps(out io.Writer)

PrintOps prints the opcodes of the current loaded program to stdout.

func (*VM) PushContextScriptHash added in v0.90.0

func (v *VM) PushContextScriptHash(n int) error

PushContextScriptHash pushes to evaluation stack the script hash of the invocation stack element number n.

func (*VM) Ready

func (v *VM) Ready() bool

Ready returns true if the VM ready to execute the loaded program. Will return false if no program is loaded.

func (*VM) Run

func (v *VM) Run() error

Run starts the execution of the loaded program.

func (*VM) SetPriceGetter

func (v *VM) SetPriceGetter(f func(*VM, opcode.Opcode, []byte) int64)

SetPriceGetter registers the given PriceGetterFunc in v. f accepts vm's Context, current instruction and instruction parameter.

func (*VM) Stack

func (v *VM) Stack(n string) string

Stack returns json formatted representation of the given stack.

func (*VM) State

func (v *VM) State() State

State returns the state for the VM.

func (*VM) Step

func (v *VM) Step() error

Step 1 instruction in the program.

func (*VM) StepInto

func (v *VM) StepInto() error

StepInto behaves the same as “step over” in case if the line does not contain a function. Otherwise the debugger will enter the called function and continue line-by-line debugging there.

func (*VM) StepOut

func (v *VM) StepOut() error

StepOut takes the debugger to the line where the current function was called.

func (*VM) StepOver

func (v *VM) StepOver() error

StepOver takes the debugger to the line that will step over a given line. If the line contains a function the function will be executed and the result returned without debugging each line.

Directories

Path Synopsis

Jump to

Keyboard shortcuts

? : This menu
/ : Search site
f or F : Jump to
y or Y : Canonical URL