<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'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>> 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="PboAsEkxAgAJ" 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="PboAsEkxAgAJ" 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="PboAsEkxAgAJ" 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="PboAsEkxAgAJ" 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="PboAsEkxAgAJ" 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="PboAsEkxAgAJ" 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>______________________________<wbr>_________________
<br>Soot-list mailing list
<br><a href="javascript:" target="_blank" gdf-obfuscated-mailto="PboAsEkxAgAJ" 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>