[Soot-list] Type Resolver Stage 2 & 3

[Qiang Xu]

Hi all,


I am recently implementing a mapping between bytecode and Jimple. I came across the fast type resolver (soot.jimple.toolkits.typing.fast.TypeResolver) because stage 2 (split new) and stage 3 (cast) of this type resolver incur new Jimple statements.


However, these new statements are not inserted right after the corresponding statements, rather they are inserted after the identity statements following the corresponding statements by calling Util.findLastIdentityUnit or Util.findFirstNonIdentityUnit.


To my knowledge, identity statements are for loading this, parameters and exceptions to local variables. How can they have something to do with the type resolver?


Thanks,

Qiang
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20181011/2cc71699/attachment.html>