<div dir="ltr"><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">It sounds unreasonable to me too, but that is indeed the problem I encountered ... So I'm just wondering if there are some corner cases not handled by Soot or not ?</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Tue, Apr 7, 2015 at 11:40 PM, Bodden, Eric <span dir="ltr"><<a href="mailto:eric.bodden@sit.fraunhofer.de" target="_blank">eric.bodden@sit.fraunhofer.de</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Xinxin.<br>
<br>
I am afraid that does not make much sense. By definition, the units of a body are the ones returned by getUnits(). This is a very strong invariant that should never be broken by Soot.<br>
<br>
Cheers,<br>
Eric<br>
<div><div class="h5"><br>
> On 08.04.2015, at 08:02, Xinxin Jin <<a href="mailto:xinxinjin89@gmail.com">xinxinjin89@gmail.com</a>> wrote:<br>
><br>
> Hi there,<br>
><br>
> I got a weird problem: Sometimes Body.getUnits() does not list all the units of a method. The following is one example:<br>
><br>
> Simplified code snippet:<br>
><br>
> void foo() {<br>
> ...<br>
> BasicHttpClient basicClient = new BasicHttpClient();<br>
> ...<br>
> }<br>
><br>
> And in the Jimple file, there are two statements related with "new BasicHttpClient()" :<br>
><br>
> $r5 = new com.turbomanage.httpclient.BasicHttpClient;<br>
> specialinvoke $r5.<com.turbomanage.httpclient.BasicHttpClient: void <init>()>(); <br>
><br>
> However, when I use retriveActiveBody().getUnits() to print out all the units of foo(), I can only see one statement:<br>
> specialinvoke $r5.<com.turbomanage.httpclient.BasicHttpClient: void <init>()>()<br>
><br>
> I don't know why getUnits() cannot obtain "$r5 = new com.turbomanage.httpclient.BasicHttpClient" ?<br>
> What kind of units are ignored by Soot ?<br>
><br>
> Thanks a lot for any advices !<br>
><br>
><br>
><br>
> --<br>
> Xinxin<br>
</div></div>> _______________________________________________<br>
> Soot-list mailing list<br>
> <a href="mailto:Soot-list@CS.McGill.CA">Soot-list@CS.McGill.CA</a><br>
> <a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" target="_blank">https://mailman.CS.McGill.CA/mailman/listinfo/soot-list</a><br>
<br>
--<br>
Prof. Eric Bodden, Ph.D., <a href="http://sse.ec-spride.de/" target="_blank">http://sse.ec-spride.de/</a> <a href="http://bodden.de/" target="_blank">http://bodden.de/</a><br>
Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and EC SPRIDE<br>
Tel: <a href="tel:%2B49%206151%2016-75422" value="+4961511675422">+49 6151 16-75422</a> Fax: <a href="tel:%2B49%206151%20869-127" value="+496151869127">+49 6151 869-127</a><br>
Room B5.11, Fraunhofer SIT, Rheinstraße 75, 64295 Darmstadt<br>
<br>
</blockquote></div><br><br clear="all"><div><br></div>-- <br><div class="gmail_signature"><font face="arial, helvetica, sans-serif">Xinxin</font></div>
</div>