From bd5644aa02315f4b8151805207ed0cb1eb047cab Mon Sep 17 00:00:00 2001
From: Roman Khimov <roman@nspcc.ru>
Date: Wed, 27 Jul 2022 19:06:55 +0300
Subject: [PATCH] vm/core: revert out-of-bounds script checks

This reverts commits 1005c1f7dbb0f2d96c48e3d9e314d072f72bde5d and
a5b5f88fe2a2f4c7968dbcad977895299391282d which are 3.4.0-compatible changes
while we need a 3.3.1-compatible release.
---
 pkg/core/native/management.go                  |  2 +-
 pkg/core/native/native_test/management_test.go | 12 ++++++++++--
 pkg/vm/context.go                              |  2 +-
 3 files changed, 12 insertions(+), 4 deletions(-)

diff --git a/pkg/core/native/management.go b/pkg/core/native/management.go
index 888482095..acb538500 100644
--- a/pkg/core/native/management.go
+++ b/pkg/core/native/management.go
@@ -640,7 +640,7 @@ func checkScriptAndMethods(script []byte, methods []manifest.Method) error {
 	offsets := bitfield.New(l)
 	for i := range methods {
 		if methods[i].Offset >= l {
-			return fmt.Errorf("method %s/%d: offset is out of the script range", methods[i].Name, len(methods[i].Parameters))
+			continue
 		}
 		offsets.Set(methods[i].Offset)
 	}
diff --git a/pkg/core/native/native_test/management_test.go b/pkg/core/native/native_test/management_test.go
index dd64aeed5..ce846a95e 100644
--- a/pkg/core/native/native_test/management_test.go
+++ b/pkg/core/native/native_test/management_test.go
@@ -136,11 +136,19 @@ func TestManagement_ContractDeploy(t *testing.T) {
 		badManifest := cs1.Manifest
 		badManifest.ABI.Methods = make([]manifest.Method, len(cs1.Manifest.ABI.Methods))
 		copy(badManifest.ABI.Methods, cs1.Manifest.ABI.Methods)
-		badManifest.ABI.Methods[0].Offset = 100500 // out of bounds
+		badManifest.ABI.Methods[0].Offset = 100500 // out of bounds, but it's OK, this method will not be checked then.
 		manifB, err := json.Marshal(&badManifest)
 		require.NoError(t, err)
 
-		managementInvoker.InvokeFail(t, "method add/2: offset is out of the script range", "deploy", nefBytes, manifB)
+		tx := c.PrepareInvokeNoSign(t, "deploy", nefBytes, manifB)
+		tx.Signers = []transaction.Signer{{}} // Need dummy signer to deploy.
+		b := c.NewUnsignedBlock(t, tx)
+		ic := c.Chain.GetTestVM(trigger.Application, tx, b)
+		t.Cleanup(ic.Finalize)
+
+		ic.VM.LoadWithFlags(tx.Script, callflag.All)
+		err = ic.VM.Run()
+		require.NoError(t, err)
 	})
 	t.Run("bad methods in manifest 2", func(t *testing.T) {
 		var badManifest = cs1.Manifest
diff --git a/pkg/vm/context.go b/pkg/vm/context.go
index 955554482..e46356bf5 100644
--- a/pkg/vm/context.go
+++ b/pkg/vm/context.go
@@ -92,7 +92,7 @@ func (c *Context) NextIP() int {
 
 // Jump unconditionally moves the next instruction pointer to the specified location.
 func (c *Context) Jump(pos int) {
-	if pos < 0 || pos >= len(c.prog) {
+	if pos < 0 || pos > len(c.prog) {
 		panic("instruction offset is out of range")
 	}
 	c.nextip = pos