[Soot-list] Handling Try/Catch in Soot

[Daniel Ott]

Hello,

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: *$r1 :=
@caughtexception.*

*[Thread-13] ERROR heros.solver.CountingThreadPoolExecutor - Worker thread
execution failed: Trap handler does start with caught exception reference*
*Trap handler does start with caught exception reference*

I'm using the following code:
units.insertBefore(Jimple.v().newAssignStmt(
tmpRef, Jimple.v().newStaticFieldRef(
Scene.v().getField("<java.lang.System: java.io.PrintStream
out>").makeRef())), u);

It is working for any other types of units but for units of type
caughtexception, I get the above error.


Any idea on this?
Thanks. Regards.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20190327/95808967/attachment.html>