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

[ASHISH MISHRA]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140905/c6d05de2/attachment.html