Use instruction ctx to see if a jump has already happened. Not sure if it works but it runs.

src/main/java/info/sigterm/deob/execution/Frame.java

@@ -13,6 +13,8 @@ import info.sigterm.deob.attributes.code.Instructions;
 import info.sigterm.deob.attributes.code.instructions.LookupSwitch;
 import info.sigterm.deob.attributes.code.instructions.TableSwitch;
 import info.sigterm.deob.pool.NameAndType;
+import org.apache.commons.collections4.MultiMap;
+import org.apache.commons.collections4.map.MultiValueMap;
 
 public class Frame
 {
@@ -23,7 +25,7 @@ public class Frame
 	private Stack stack;
 	private Variables variables;
 	private List<InstructionContext> instructions = new ArrayList<>(); // instructions executed in this frame
-	private Map<Instruction, List<Instruction>> visited; // shared
+	private MultiValueMap<InstructionContext, Instruction> visited = new MultiValueMap<>(); // shared
 
 	public Frame(Execution execution, Method method)
 	{
@@ -35,8 +37,6 @@ public class Frame
 		stack = new Stack(code.getMaxStack());
 		variables = new Variables(code.getMaxLocals());
 		
-		visited = new HashMap<>();
-		
 		// initialize LVT
 		int pos = 0;
 		if (!method.isStatic())
@@ -60,7 +60,11 @@ public class Frame
 		this.cur = other.cur;
 		this.stack = new Stack(other.stack);
 		this.variables = new Variables(other.variables);
+		//this.instructions = new ArrayList<>(other.instructions); // deep?
 		this.visited = other.visited;
+		
+//		for (InstructionContext ctx : other.instructions)
+//			instructions.add(new InstructionContext(other, ctx));
 	}
 	
 	public Frame dup()
@@ -160,16 +164,14 @@ public class Frame
 	private void processExceptions(Instruction i)
 	{
 		Code code = method.getCode();
+		InstructionContext ictx = instructions.get(instructions.size() - 1);
+		
+		assert ictx.getInstruction() == i;
 		
 		for (Exception e : code.getExceptions().getExceptions())
 		{
 			if (e.getStart() == i)
 			{				
-				if (hasJumped(i, e.getHandler()))
-					continue;
-				
-				doJump(i, e.getHandler());
-				
 				Frame f = dup();
 				Stack stack = f.getStack();
 				
@@ -182,57 +184,33 @@ public class Frame
 				
 				ins.push(ctx);
 			
-				// at this point maybe cur != i, and f.jump() uses cur, so
-				f.cur = e.getHandler();
-				assert f.executing;
+				f.jump(ictx, e.getHandler());
 			}
 		}
 	}
 	
-	private void doJump(Instruction from, Instruction to)
+	private boolean hasJumped(InstructionContext from, Instruction to)
 	{
-		List<Instruction> l = visited.get(from);
-		if (l == null)
-		{
-			List<Instruction> l2 = new ArrayList<>();
-			l2.add(to);
-			visited.put(from, l2);
-		}
-		else
-		{
-			l.add(to);
-		}
-	}
-	
-	private boolean hasJumped(Instruction from, Instruction to)
-	{
-		List<Instruction> i = visited.get(from);
+		Collection<Instruction> i = visited.getCollection(from);
 		if (i != null && i.contains(to))
 			return true;
 		
-		if (i == null)
-		{
-			i = new ArrayList<>();
-			visited.put(from, i);
-		}
-		
-		i.add(to);
+		visited.put(from, to);
 		return false;
 	}
 	
-	public void jump(Instruction to)
+	public void jump(InstructionContext from, Instruction to)
 	{
 		assert to != null;
 		assert to.getInstructions() == method.getCode().getInstructions();
 		assert method.getCode().getInstructions().getInstructions().contains(to);
 		
-		if (hasJumped(cur, to))
+		if (hasJumped(from, to))
 		{
 			executing = false;
 			return;
 		}
 		
-		doJump(cur, to);
 		cur = to;
 	}
 }

src/main/java/info/sigterm/deob/execution/InstructionContext.java

@@ -5,6 +5,7 @@ import java.util.List;
 
 import info.sigterm.deob.Method;
 import info.sigterm.deob.attributes.code.Instruction;
+import java.util.Objects;
 
 public class InstructionContext
 {
@@ -77,4 +78,38 @@ public class InstructionContext
 		// start recursively removing
 		ctx.removeStack();
 	}
+	
+	@Override
+	public boolean equals(Object other)
+	{
+		if (!(other instanceof InstructionContext))
+			return false;
+		
+		InstructionContext ic = (InstructionContext) other;
+		
+		if (ins != ic.ins)
+			return false;
+		
+		if (getPops().size() != ic.getPops().size())
+			return false;
+		
+		for (int i = 0; i < getPops().size(); ++i)
+		{
+			StackContext ours = getPops().get(i),
+				theirs = ic.getPops().get(i);
+			
+			if (!ours.getPushed().equals(theirs.getPushed()))
+				return false;
+		}
+		
+		return true;
+	}
+
+	@Override
+	public int hashCode()
+	{
+		int hash = 7;
+		hash = 73 * hash + Objects.hashCode(this.ins);
+		return hash;
+	}
 }

src/main/java/info/sigterm/deob/execution/StackContext.java

@@ -2,9 +2,9 @@ package info.sigterm.deob.execution;
 
 public class StackContext
 {
-	private InstructionContext pushed; // instruction which pushed this
-	private InstructionContext popped; // instruction which popped this
-	private Type type; // type of this
+	public InstructionContext pushed; // instruction which pushed this
+	public InstructionContext popped; // instruction which popped this
+	public Type type; // type of this
 	
 	public StackContext(InstructionContext pushed, Type type)
 	{
@@ -23,7 +23,7 @@ public class StackContext
 		this.pushed = pushed;
 		type = new Type(c.getName());
 	}
-	
+
 	public InstructionContext getPushed()
 	{
 		return pushed;