collecting concrete values of object instance and arguments at the en…

…d of the method
vorpal-research · Nov 13, 2023 · c6aa286 · c6aa286
1 parent 5941abd
commit c6aa286
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/kex-core/src/main/kotlin/org/vorpal/research/kex/asm/transform/SymbolicTraceInstrumenter.kt b/kex-core/src/main/kotlin/org/vorpal/research/kex/asm/transform/SymbolicTraceInstrumenter.kt
@@ -738,6 +738,16 @@ class SymbolicTraceInstrumenter(
             else -> values.nullConstant to values.nullConstant
         }
         val instrumented = buildList {
+            if (inst.hasReturnValue) {
+                addAll(track(inst.returnValue))
+            }
+            val currentMethod = inst.parent.method
+            if (!currentMethod.isStatic) {
+                addAll(track(values.getThis(currentMethod.klass)))
+            }
+            for ((index, type) in currentMethod.argTypes.withIndex()) {
+                addAll(track(values.getArgument(index, currentMethod, type)))
+            }
             add(
                 collectorClass.interfaceCall(
                     returnMethod, traceCollector,