<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Hi all,<br>
<br>
I use soot/flowdroid and I've a doubt about the generated callgraph
of this code:<br>
<br>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
private void requireapi() {<br>
String msg = "WiFi-Disabled";<br>
WifiManager wifi = (WifiManager)
getSystemService(Context.WIFI_SERVICE);<br>
if (wifi.isWifiEnabled())<br>
msg = "WiFi-Enabled";<br>
Toast toast = Toast.makeText(this, msg, Toast.LENGTH_LONG);<br>
toast.show();<br>
}<br>
<br>
<br>
with soot, when I call the edgesOutOf(..)<br>
<br>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
Iterator<Edge> edgesOut = callGraph.edgesOutOf(sm);<br>
<br>
the only edge that I found is:<br>
<br>
STATIC edge: $r4 = staticinvoke <android.widget.Toast:
android.widget.Toast
makeText(android.content.Context,java.lang.CharSequence,int)>(r5,
$r1, 1) in <com.example.testapp.MainActivity: void
requireapi()> ==> <android.widget.Toast:
android.widget.Toast
makeText(android.content.Context,java.lang.CharSequence,int)><br>
<br>
why miss the getSystemService and the isWifiEnabled method?<br>
both android.widget.Toast and android.net.wifi.WifiManager are
phantom classes!<br>
<br>
Thanks for help,<br>
Simone<br>
</body>
</html>