<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"><head><meta http-equiv=Content-Type content="text/html; charset=utf-8"><meta name=Generator content="Microsoft Word 14 (filtered medium)"><style><!--
/* Font Definitions */
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
@font-face
{font-family:Tahoma;
panose-1:2 11 6 4 3 5 4 4 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Times New Roman","serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.E-MailFormatvorlage17
{mso-style-type:personal-reply;
font-family:"Calibri","sans-serif";
color:#1F497D;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri","sans-serif";
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 2.0cm 70.85pt;}
div.WordSection1
{page:WordSection1;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]--></head><body lang=DE link=blue vlink=purple><div class=WordSection1><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Hi Xinxin,<o:p></o:p></span></p><p class=MsoNormal><span style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Can you provide a complete test case? From where did you read in your Jimple code? Did you parse jimple files on disk or Java class files, or an Android APK?<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'>Best regards,<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'> Steven<o:p></o:p></span></p><p class=MsoNormal><span lang=EN-US style='font-size:11.0pt;font-family:"Calibri","sans-serif";color:#1F497D'><o:p> </o:p></span></p><p class=MsoNormal><b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'>Von:</span></b><span style='font-size:10.0pt;font-family:"Tahoma","sans-serif"'> soot-list-bounces@CS.McGill.CA [mailto:soot-list-bounces@CS.McGill.CA] <b>Im Auftrag von </b>Xinxin Jin<br><b>Gesendet:</b> Mittwoch, 8. April 2015 09:07<br><b>An:</b> Bodden, Eric<br><b>Cc:</b> soot-list@cs.mcgill.ca<br><b>Betreff:</b> Re: [Soot-list] Soot Body.getUnits() does not get ALL units<o:p></o:p></span></p><p class=MsoNormal><o:p> </o:p></p><div><div><p class=MsoNormal><span style='font-family:"Arial","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 ?<o:p></o:p></span></p></div></div><div><p class=MsoNormal><o:p> </o:p></p><div><p class=MsoNormal>On Tue, Apr 7, 2015 at 11:40 PM, Bodden, Eric <<a href="mailto:eric.bodden@sit.fraunhofer.de" target="_blank">eric.bodden@sit.fraunhofer.de</a>> wrote:<o:p></o:p></p><p class=MsoNormal>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<o:p></o:p></p><div><div><p class=MsoNormal><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<o:p></o:p></p></div></div><p class=MsoNormal style='margin-bottom:12.0pt'>> _______________________________________________<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">+49 6151 16-75422</a> Fax: <a href="tel:%2B49%206151%20869-127">+49 6151 869-127</a><br>Room B5.11, Fraunhofer SIT, Rheinstraße 75, 64295 Darmstadt<o:p></o:p></p></div><p class=MsoNormal><br><br clear=all><o:p></o:p></p><div><p class=MsoNormal><o:p> </o:p></p></div><p class=MsoNormal>-- <o:p></o:p></p><div><p class=MsoNormal><span style='font-family:"Arial","sans-serif"'>Xinxin</span><o:p></o:p></p></div></div></div></body></html>