[Soot-list] Soot Body.getUnits() does not get ALL units

[Bodden, Eric]

Hi Xinxin.

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.

Cheers,
Eric

> On 08.04.2015, at 08:02, Xinxin Jin <xinxinjin89 at gmail.com> wrote:
> 
> Hi there,
> 
> I got a weird problem: Sometimes Body.getUnits() does not list all the units of a method. The following is one example:
> 
> Simplified code snippet:
> 
> void foo() {
>     ...
>     BasicHttpClient basicClient = new BasicHttpClient();
>     ...
> }
> 
> ​And in the Jimple file, there are two statements related with "new BasicHttpClient()" :
> 
> $r5 = new com.turbomanage.httpclient.BasicHttpClient;
> specialinvoke $r5.<com.turbomanage.httpclient.BasicHttpClient: void <init>()>(); ​
> 
> ​However, when I use retriveActiveBody().getUnits() to print out all the units of foo(), I can only see one statement:
> specialinvoke $r5.<com.turbomanage.httpclient.BasicHttpClient: void <init>()>()​
> 
> I don't know why getUnits() cannot obtain "$r5 = new com.turbomanage.httpclient.BasicHttpClient" ?
> ​What kind of units are ignored by Soot ?​
> 
> ​Thanks a lot for any advices !​
> 
> 
> 
> --
> Xinxin
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 869-127
Room B5.11, Fraunhofer SIT, Rheinstraße 75, 64295 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20150408/1c886c66/attachment.bin