dstepanov-yadro/neoneo-go
1
0
Fork 0
forked from TrueCloudLab/neoneo-go
Code Pull requests Activity

vm: fail if XTUCK argument is 0

Browse source
This commit is contained in:
Evgenii Stratonikov 2019-09-12 10:39:54 +03:00
parent b21a220712
commit d257044298
2 changed files with 10 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkg/vm/vm.go
View file

@ -375,7 +375,7 @@ func (v *VM) execute(ctx *Context, op Instruction) {
case XTUCK: case XTUCK:
n := int(v.estack.Pop().BigInt().Int64()) n := int(v.estack.Pop().BigInt().Int64())
if n < 0 { if n <= 0 {
panic("XTUCK: invalid length") panic("XTUCK: invalid length")
} }
a := v.estack.Dup(0) a := v.estack.Dup(0)

9
pkg/vm/vm_test.go
View file

@ -658,6 +658,15 @@ func TestXTUCKbadNegative(t *testing.T) {
assert.Equal(t, true, vm.state.HasFlag(faultState)) assert.Equal(t, true, vm.state.HasFlag(faultState))
} }
func TestXTUCKbadZero(t *testing.T) {
prog := makeProgram(XTUCK)
vm := load(prog)
vm.estack.PushVal(1)
vm.estack.PushVal(0)
vm.Run()
assert.Equal(t, true, vm.state.HasFlag(faultState))
}
func TestXTUCKgood(t *testing.T) { func TestXTUCKgood(t *testing.T) {
prog := makeProgram(XTUCK) prog := makeProgram(XTUCK)
topelement := 5 topelement := 5