fix boundary condition check in PUSH32

gballet · Nov 26, 2021 · 03dbc0a · 03dbc0a
1 parent 6d40e11
commit 03dbc0a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/core/vm/instructions.go b/core/vm/instructions.go
@@ -964,8 +964,10 @@ func makePush(size uint64, pushByteSize int) executionFunc {
 		interpreter.evm.TxContext.Accesses.TouchAddressAndChargeGas(index, nil)
 
 		// in the case of PUSH32, the end data might be two chunks away,
-		// so also get the middle chunk.
-		if pushByteSize == 32 {
+		// so also get the middle chunk. There is a boundary condition
+		// check (endMin > 2) in the case the code is a single PUSH32
+		// insctruction, whose immediate are just 0s.
+		if pushByteSize == 32 && endMin > 2 {
 			chunk = uint64(endMin-2) / 31
 			count = uint64(0)
 			// Look for the first code byte (i.e. no pushdata)