Enhanced condition in EVMAbstractState to check for non-jump destination offsets.

Author: merendamattia

src/main/java/it/unipr/analysis/EVMAbstractState.java

@@ -990,7 +990,9 @@ else if (indexOfByte.compareTo(new StackElement(Number.MAX_INT)) < 0) {
 						AbstractStack resultStack = stack.clone();
 						StackElement offset = resultStack.pop();
 
-						if (offset.isTop() || memory.isTop()) {
+						if (offset.isTop()
+								|| offset.isTopNotJumpdest()
+								|| memory.isTop()) {
 							resultStack.push(StackElement.TOP);
 						} else {
 							StackElement mload = memory.mload(offset);