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