
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">

<p style="margin-top:0;margin-bottom:0">Hi all,</p>

<p style="margin-top:0;margin-bottom:0"><br>

</p>

<p style="margin-top:0;margin-bottom:0">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.</p>

<p style="margin-top:0;margin-bottom:0"><br>

</p>

<p style="margin-top:0;margin-bottom:0">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.</p>

<p style="margin-top:0;margin-bottom:0"><br>

</p>

<p style="margin-top:0;margin-bottom:0">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?</p>

<p style="margin-top:0;margin-bottom:0"><br>

</p>

<p style="margin-top:0;margin-bottom:0">Thanks,</p>

<p style="margin-top:0;margin-bottom:0">Qiang</p>

</div>

</body>

</html>