<div dir="ltr"><div style="font-size:12.727272033691406px">Hi,</div><div style="font-size:12.727272033691406px"><br></div><div style="font-size:12.727272033691406px">I have a quick question regarding FlowDroid:</div><div style="font-size:12.727272033691406px"><br></div><div style="font-size:12.727272033691406px">Suppose &#39;foo&#39; is reachable from the &quot;dummyMain&quot; in FlowDroid,</div><br style="font-size:12.727272033691406px"><div style="font-size:12.727272033691406px">foo() {                                                                                     </div><div style="font-size:12.727272033691406px"><div>        $r3 = virtualinvoke $r0.&lt;com.GoldDream.zj.zjService: java.lang.Object getSystemService(java.lang.String)&gt;($r2);</div><div>        $r1 = $r3;</div><div>        $r4 = (android.telephony.TelephonyManager) $r1;</div><div>        $r5 = virtualinvoke $r4.&lt;android.telephony.TelephonyManager: java.lang.String getDeviceId()&gt;();</div></div><div style="font-size:12.727272033691406px"><br></div><div style="font-size:12.727272033691406px">}</div><div style="font-size:12.727272033691406px"><br></div><div style="font-size:12.727272033691406px">If I build the call graph for this code snippet, it should have at least two edges:</div><div style="font-size:12.727272033691406px">1. foo -&gt; getSystemService</div><div style="font-size:12.727272033691406px">2. foo-&gt; getDeviceId</div><div style="font-size:12.727272033691406px"><br></div><div style="font-size:12.727272033691406px">For CHA it looks correct, but for Spark, the second edge is missing because the points-to set of $r3 is empty. </div><div style="font-size:12.727272033691406px">I thought most of the Android APIs(like getSystemService) are handled properly in FlowDroid and why it still returns an empty set regarding this case.</div><div style="font-size:12.727272033691406px">What should I do if I need to get a sound call graph(based on Spark, not CHA) from FlowDroid?</div><div style="font-size:12.727272033691406px"><br></div><div style="font-size:12.727272033691406px">Thanks so much,</div><div style="font-size:12.727272033691406px">Yu </div><br clear="all"><div><br></div></div>