fix: Better handling of analysis control flow into unrecognized label…

… target
jumanji144 · Aug 25, 2024 · bd1c3e7 · bd1c3e7
1 parent 0090a03
commit bd1c3e7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/...ition-jvm/src/main/java/me/darknet/assembler/compile/analysis/jvm/AnalysisSimulation.java b/...ition-jvm/src/main/java/me/darknet/assembler/compile/analysis/jvm/AnalysisSimulation.java
@@ -100,6 +100,8 @@ public void execute(JvmAnalysisEngine<Frame> engine, AnalysisSimulation.Info met
             while (index < elementCount) {
                 Frame oldFrame = frame.copy();
                 frame = frame.copy();
+                if (index < 0)
+                    throw new AnalysisException("Analysis jumped to invalid range: " + index);
                 CodeElement element = elements.get(index);
 
                 Frame existingFrame = engine.getFrame(index);