<div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr">Hello,<div><br></div><div>I'm trying to instrument codes in try/catch block in soot but I get the following error whenever the unit is something like this: <b>$r1 := @caughtexception.</b></div><div><b><br></b></div><div><div><b><font color="#ff0000">[Thread-13] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread execution failed: Trap handler does start with caught exception reference</font></b></div><div><b><font color="#ff0000">Trap handler does start with caught exception reference</font></b></div></div><div><br></div><div><font color="#000000">I'm using the following code:</font></div><div><font color="#000000"><div>units.insertBefore(Jimple.v().newAssignStmt(</div><div>tmpRef, Jimple.v().newStaticFieldRef(</div><div>Scene.v().getField("<java.lang.System: java.io.PrintStream out>").makeRef())), u);</div><div><br></div><div>It is working for any other types of units but for<span style="color:rgb(34,34,34)"> units of type </span><span style="color:rgb(34,34,34)">caughtexception,</span><span style="color:rgb(34,34,34)"> I get the above error.</span> </div></font></div><div><b><font color="#ff0000"><br></font></b></div><div><b><br></b></div><div>Any idea on this?</div><div>Thanks. Regards.</div></div></div></div></div>