From 19717f23b1df744424e7f1e05fdc2caf61569e1b Mon Sep 17 00:00:00 2001 From: dah-fari7009 <35702512+dah-fari7009@users.noreply.github.com> Date: Fri, 27 Dec 2019 19:31:51 -0800 Subject: [PATCH] Update ConcreteExecutionListener.java Replaced getMethodInfo with getInvokedMethod --- .../nasa/jpf/symbc/concolic/ConcreteExecutionListener.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java b/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java index ace0899c..c287dbc8 100644 --- a/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java +++ b/src/main/gov/nasa/jpf/symbc/concolic/ConcreteExecutionListener.java @@ -64,8 +64,8 @@ public ConcreteExecutionListener(Config conf, JPF jpf) { public void instructionExecuted(VM vm, ThreadInfo currentThread, Instruction nextInstruction, Instruction executedInstruction) { Instruction lastInsn = executedInstruction; - MethodInfo mi = executedInstruction.getMethodInfo(); if(lastInsn != null && lastInsn instanceof JVMInvokeInstruction) { + MethodInfo mi =((JVMInvokeInstruction)lastInsn).getInvokedMethod(); boolean foundAnote = checkConcreteAnnotation(mi); if(foundAnote) { ThreadInfo ti = vm.getCurrentThread(); @@ -214,4 +214,4 @@ private Expression generateConstant(String typeVal, Object value) { } } -} \ No newline at end of file +}