[Soot-list] Missing Virtual call edges in spark CallGraph

[Bernhard Berger]

Hi Ashish,

as far as I know,  they are not visible in the call graph, since Spark does not find an allocation site for these framework objects. Therefore, Spark cannot determine a points-to-set for $r1 and fails to resolve the call to getDeviceId().

Regards, Bernhard
  
Am 05.09.2014 um 19:54 schrieb ASHISH MISHRA <ashish123.mishragkp at gmail.com>:

> Hi All,
> 
> I am using CallGraph generation of spark on droidBench benchmarks , the call  graph generated misses some of the edges. I tried both with on-the-fly and rta options . 
> 
>  1.sms = staticinvoke <android.telephony.SmsManager: android.telephony.SmsManager getDefault()>();
>  2. $r1 = virtualinvoke mgr.<android.telephony.TelephonyManager: java.lang.String getDeviceId()>();
>  3.virtualinvoke sms.<android.telephony.SmsManager: void sendTextMessage(java.lang.String,java.lang.String,java.lang.String,android.app.PendingIntent,android.app.PendingIntent)>("+49 1234", null, $r1, null, null);
>         return;
> 
> The staticInvoke to method getDefault() is present in the Graph but the Virtualinvoke in line 2 and 3 are missing. 
> 
> methods sendTextMessage() and getDeviceId() are absent form set of reachable methods too. 
> My guess was that these method might be phantom but these are not phantom methods .
> 
> Anybody faced this problem or have some help.
> Thanks
> -- 
> Regards,
> Ashish Mishra
> Graduate Student,
> Computer Science and Automation Department,IISc
> Cell : +91-9611194714
> Mailto : ashishmishra at csa.iisc.ernet.in
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140905/db1e9546/attachment.html