<div dir="ltr">Hi Kazuki, <div><br></div><div>I find that the soot-infoflow-summaries is not compatible with the latest soot-infoflow. How did you deal with it?</div><div><br></div><div>For example, in soot.jimple.infoflow.methodSummary.posrtProcessor.SummarypathBuilder.java, line 188:</div><div><br></div><div><div><span class="Apple-tab-span" style="white-space:pre">        </span>public SummaryPathBuilder(IInfoflowCFG icfg, int maxThreadNum) {</div><div><span class="Apple-tab-span" style="white-space:pre">                </span>super(icfg, maxThreadNum, true);</div><div><span class="Apple-tab-span" style="white-space:pre">        </span>}</div><div>there is no correct constructors in the super class(ContextSensitivePathBuilder.java). There are also some other cases, I don&#39;t list here.</div><div><br></div><div>Thanks</div><br>在 2016年7月20日星期三 UTC+8下午4:06:04,Kazuki Hatayama写道:<blockquote class="gmail_quote" style="margin: 0;margin-left: 0.8ex;border-left: 1px #ccc solid;padding-left: 1ex;">Hi Steven,
<br>
<br>Thank you for the fix. It works well!
<br>
<br>Best regards,
<br>Kazuki
<br>
<br>
<br>On 2016/07/19 2:10, Steven Arzt wrote:
<br>&gt; Hi Kazuki,
<br>&gt;
<br>&gt; That was indeed a bug in the software, thanks for reporting the issue. I
<br>&gt; have just committed a change that should solve the problem, please try it
<br>&gt; out. There was a refactoring in StubDroid that, apparently, was not
<br>&gt; reflected in the runner class that invokes the data flow analysis.
<br>&gt;
<br>&gt; Best regards,
<br>&gt;    Steven
<br>&gt;
<br>&gt; -----Ursprüngliche Nachricht-----
<br>&gt; Von: Kazuki Hatayama [mailto:<a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">komakoma...@<wbr>gmail.com</a>]
<br>&gt; Gesendet: Donnerstag, 14. Juli 2016 14:29
<br>&gt; An: Steven Arzt; <a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">soot...@CS.McGill.CA</a>
<br>&gt; Betreff: Re: AW: [Soot-list] Flowdroid with Stubdroid not working
<br>&gt;
<br>&gt; Hi Steven,
<br>&gt;
<br>&gt; Thanks for your reply.
<br>&gt;&gt; Have you put the StubDroid JAR file on the classpath?
<br>&gt; Yes. I built soot-infoflow-summaries.jar and soot-infoflow-android.jar from
<br>&gt; source codes on your Github repository.
<br>&gt; And I run the following command.
<br>&gt;
<br>&gt; java -Xms10g -Xmx12g -cp
<br>&gt; guava-18.0.jar:soot-trunk.jar:<wbr>soot-infoflow.jar:soot-<wbr>infoflow-android.jar:so
<br>&gt; ot-infoflow-summaries.jar:<wbr>slf4j-api-1.7.5.jar:slf4j-<wbr>simple-1.7.5.jar:axml-2.
<br>&gt; 0.jar
<br>&gt; soot.jimple.infoflow.android.<wbr>TestApps.MyTest test.apk
<br>&gt; /usr/local/opt/android-sdk/<wbr>platforms --pathalgo contextsensitive
<br>&gt; --summarypath /Users/hatayama/Desktop/<wbr>FlowDroid/summaries
<br>&gt;
<br>&gt;
<br>&gt; Did I make some mistakes?
<br>&gt;
<br>&gt; Best regards,
<br>&gt; Kazuki
<br>&gt;
<br>&gt; On 2016/07/14 20:07, Steven Arzt wrote:
<br>&gt;&gt; Hi Kazuki,
<br>&gt;&gt;
<br>&gt;&gt; Have you put the StubDroid JAR file on the classpath? FlowDroid
<br>&gt;&gt; apparently can&#39;t find the StubDroid implementation. Note that
<br>&gt;&gt; StubDroid is a separate project, so it has its own repository on
<br>&gt;&gt; Github and its own JAR file on our nightly build server.
<br>&gt;&gt;
<br>&gt;&gt; Best regards,
<br>&gt;&gt;     Steven
<br>&gt;&gt;
<br>&gt;&gt; -----Ursprüngliche Nachricht-----
<br>&gt;&gt; Von: <a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">soot-lis...@CS.McGill.CA</a>
<br>&gt;&gt; [mailto:<a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">soot-lis...@CS.<wbr>McGill.CA</a>]
<br>&gt;&gt; Im Auftrag von Kazuki Hatayama
<br>&gt;&gt; Gesendet: Donnerstag, 14. Juli 2016 11:58
<br>&gt;&gt; An: <a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">soot...@CS.McGill.CA</a>
<br>&gt;&gt; Betreff: [Soot-list] Flowdroid with Stubdroid not working
<br>&gt;&gt;
<br>&gt;&gt; Hi all,
<br>&gt;&gt;
<br>&gt;&gt; I tried to use FlowDroid with StubDroid, but I faced a same situation
<br>&gt;&gt; as following issue.
<br>&gt;&gt; <a href="https://github.com/secure-software-engineering/soot-infoflow-android/i" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgithub.com%2Fsecure-software-engineering%2Fsoot-infoflow-android%2Fi\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNF0Frjw0l7JiiZCME8wY-5HiTszYg&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fgithub.com%2Fsecure-software-engineering%2Fsoot-infoflow-android%2Fi\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNF0Frjw0l7JiiZCME8wY-5HiTszYg&#39;;return true;">https://github.com/secure-<wbr>software-engineering/soot-<wbr>infoflow-android/i</a>
<br>&gt;&gt; ssues/
<br>&gt;&gt; 125
<br>&gt;&gt;
<br>&gt;&gt; Where can I get source codes of
<br>&gt;&gt; soot.jimple.infoflow.<wbr>methodSummary.data.summary.<wbr>LazySummary?
<br>&gt;&gt;
<br>&gt;&gt; Snapshot of errors are as follows:
<br>&gt;&gt; -------------
<br>&gt;&gt; Using the StubDroid taint wrapper
<br>&gt;&gt; Could not find library summary classes:
<br>&gt;&gt; soot.jimple.infoflow.<wbr>methodSummary.data.summary.<wbr>LazySummary
<br>&gt;&gt; java.lang.<wbr>ClassNotFoundException:
<br>&gt;&gt; soot.jimple.infoflow.<wbr>methodSummary.data.summary.<wbr>LazySummary
<br>&gt;&gt;        at java.net.URLClassLoader$1.run(<wbr>URLClassLoader.java:366)
<br>&gt;&gt;        at java.net.URLClassLoader$1.run(<wbr>URLClassLoader.java:355)
<br>&gt;&gt;        at java.security.<wbr>AccessController.doPrivileged(<wbr>Native Method)
<br>&gt;&gt;        at java.net.URLClassLoader.<wbr>findClass(URLClassLoader.java:<wbr>354)
<br>&gt;&gt;        at java.lang.ClassLoader.<wbr>loadClass(ClassLoader.java:<wbr>425)
<br>&gt;&gt;        at sun.misc.Launcher$<wbr>AppClassLoader.loadClass(<wbr>Launcher.java:308)
<br>&gt;&gt;        at java.lang.ClassLoader.<wbr>loadClass(ClassLoader.java:<wbr>358)
<br>&gt;&gt;        at java.lang.Class.forName0(<wbr>Native Method)
<br>&gt;&gt;        at java.lang.Class.forName(Class.<wbr>java:191)
<br>&gt;&gt;        at
<br>&gt;&gt; soot.jimple.infoflow.android.<wbr>TestApps.MyTest.<wbr>createLibrarySummaryTW(My
<br>&gt;&gt; Test.j
<br>&gt;&gt; ava:672)
<br>&gt;&gt;        at
<br>&gt;&gt; soot.jimple.infoflow.android.<wbr>TestApps.MyTest.runAnalysis(<wbr>MyTest.java:608)
<br>&gt;&gt;        at
<br>&gt;&gt; soot.jimple.infoflow.android.<wbr>TestApps.MyTest.main(MyTest.<wbr>java:241)
<br>&gt;&gt; Could not initialize StubDroid
<br>&gt;&gt; -------------
<br>&gt;&gt;
<br>&gt;&gt; thanks,
<br>&gt;&gt;
<br>&gt;&gt; --
<br>&gt;&gt; Kazuki
<br>&gt;&gt;
<br>&gt;&gt; ______________________________<wbr>_________________
<br>&gt;&gt; Soot-list mailing list
<br>&gt;&gt; <a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">Soot...@CS.McGill.CA</a>
<br>&gt;&gt; <a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-list\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-list\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw&#39;;return true;">https://mailman.CS.McGill.CA/<wbr>mailman/listinfo/soot-list</a>
<br>&gt;&gt;
<br>______________________________<wbr>_________________
<br>Soot-list mailing list
<br><a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">Soot...@CS.McGill.CA</a>
<br><a href="https://mailman.CS.McGill.CA/mailman/listinfo/soot-list" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-list\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw&#39;;return true;" onclick="this.href=&#39;https://www.google.com/url?q\x3dhttps%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-list\x26sa\x3dD\x26sntz\x3d1\x26usg\x3dAFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw&#39;;return true;">https://mailman.CS.McGill.CA/<wbr>mailman/listinfo/soot-list</a>
<br></blockquote></div></div>