supported final method case in virtual call

- added case for approximated interfaces
UnitTestBot · Aug 13, 2024 · 3b1f43e · 3b1f43e
1 parent c6bdfce
commit 3b1f43e
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/usvm-jvm/src/main/kotlin/org/usvm/machine/interpreter/JcInterpreter.kt b/usvm-jvm/src/main/kotlin/org/usvm/machine/interpreter/JcInterpreter.kt
@@ -307,6 +307,16 @@ class JcInterpreter(
                     return
                 }
 
+                if (method.isFinal) {
+                    // Case for approximated interfaces
+                    with (stmt) {
+                        scope.doWithState {
+                            newStmt(JcConcreteMethodCallInst(location, method, arguments, returnSite))
+                        }
+                    }
+                    return
+                }
+
                 resolveVirtualInvoke(stmt, scope)
             }