[Soot-list] Flowdroid with Stubdroid not working

[輝先生]

Hi Steven, 
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?
One case:
in 
soot-infoflow-summaries/src/soot/jimple/infoflow/methodSummary/postProcessor/SummaryPathBuilder.java 
line 188:
/**
* Creates a new instance of the SummaryPathBuilder class 
* @param icfg The interprocedural control-flow graph to use
* @param maxThreadNum The maximum number of threads to use
*/
public SummaryPathBuilder(IInfoflowCFG icfg, int maxThreadNum) {
super(icfg, maxThreadNum, true);
}
there is no correct constructors in the super 
class ContextSensitivePathBuilder.java

Thanks

在 2016年7月19日星期二 UTC+8上午1:11:39，Steven Arzt写道：
>
> Hi Kazuki, 
>
> That was indeed a bug in the software, thanks for reporting the issue. I 
> have just committed a change that should solve the problem, please try it 
> out. There was a refactoring in StubDroid that, apparently, was not 
> reflected in the runner class that invokes the data flow analysis. 
>
> Best regards, 
>   Steven 
>
> -----Ursprüngliche Nachricht----- 
> Von: Kazuki Hatayama [mailto:komakoma... at gmail.com <javascript:>] 
> Gesendet: Donnerstag, 14. Juli 2016 14:29 
> An: Steven Arzt; soot... at CS.McGill.CA <javascript:> 
> Betreff: Re: AW: [Soot-list] Flowdroid with Stubdroid not working 
>
> Hi Steven, 
>
> Thanks for your reply. 
> > Have you put the StubDroid JAR file on the classpath? 
> Yes. I built soot-infoflow-summaries.jar and soot-infoflow-android.jar 
> from 
> source codes on your Github repository. 
> And I run the following command. 
>
> java -Xms10g -Xmx12g -cp 
> guava-18.0.jar:soot-trunk.jar:soot-infoflow.jar:soot-infoflow-android.jar:so 
>
> ot-infoflow-summaries.jar:slf4j-api-1.7.5.jar:slf4j-simple-1.7.5.jar:axml-2. 
>
> 0.jar 
> soot.jimple.infoflow.android.TestApps.MyTest test.apk 
> /usr/local/opt/android-sdk/platforms --pathalgo contextsensitive 
> --summarypath /Users/hatayama/Desktop/FlowDroid/summaries 
>
>
> Did I make some mistakes? 
>
> Best regards, 
> Kazuki 
>
> On 2016/07/14 20:07, Steven Arzt wrote: 
> > Hi Kazuki, 
> > 
> > Have you put the StubDroid JAR file on the classpath? FlowDroid 
> > apparently can't find the StubDroid implementation. Note that 
> > StubDroid is a separate project, so it has its own repository on 
> > Github and its own JAR file on our nightly build server. 
> > 
> > Best regards, 
> >    Steven 
> > 
> > -----Ursprüngliche Nachricht----- 
> > Von: soot-lis... at CS.McGill.CA <javascript:> 
> > [mailto:soot-lis... at CS.McGill.CA <javascript:>] 
> > Im Auftrag von Kazuki Hatayama 
> > Gesendet: Donnerstag, 14. Juli 2016 11:58 
> > An: soot... at CS.McGill.CA <javascript:> 
> > Betreff: [Soot-list] Flowdroid with Stubdroid not working 
> > 
> > Hi all, 
> > 
> > I tried to use FlowDroid with StubDroid, but I faced a same situation 
> > as following issue. 
> > https://github.com/secure-software-engineering/soot-infoflow-android/i 
> > ssues/ 
> > 125 
> > 
> > Where can I get source codes of 
> > soot.jimple.infoflow.methodSummary.data.summary.LazySummary? 
> > 
> > Snapshot of errors are as follows: 
> > ------------- 
> > Using the StubDroid taint wrapper 
> > Could not find library summary classes: 
> > soot.jimple.infoflow.methodSummary.data.summary.LazySummary 
> > java.lang.ClassNotFoundException: 
> > soot.jimple.infoflow.methodSummary.data.summary.LazySummary 
> >       at java.net.URLClassLoader$1.run(URLClassLoader.java:366) 
> >       at java.net.URLClassLoader$1.run(URLClassLoader.java:355) 
> >       at java.security.AccessController.doPrivileged(Native Method) 
> >       at java.net.URLClassLoader.findClass(URLClassLoader.java:354) 
> >       at java.lang.ClassLoader.loadClass(ClassLoader.java:425) 
> >       at sun.misc.Launcher$AppClassLoader.loadClass(Launcher.java:308) 
> >       at java.lang.ClassLoader.loadClass(ClassLoader.java:358) 
> >       at java.lang.Class.forName0(Native Method) 
> >       at java.lang.Class.forName(Class.java:191) 
> >       at 
> > soot.jimple.infoflow.android.TestApps.MyTest.createLibrarySummaryTW(My 
> > Test.j 
> > ava:672) 
> >       at 
> > 
> soot.jimple.infoflow.android.TestApps.MyTest.runAnalysis(MyTest.java:608) 
> >       at 
> > soot.jimple.infoflow.android.TestApps.MyTest.main(MyTest.java:241) 
> > Could not initialize StubDroid 
> > ------------- 
> > 
> > thanks, 
> > 
> > -- 
> > Kazuki 
> > 
> > _______________________________________________ 
> > Soot-list mailing list 
> > Soot... at CS.McGill.CA <javascript:> 
> > https://mailman.CS.McGill.CA/mailman/listinfo/soot-list 
> > 
>
> _______________________________________________ 
> Soot-list mailing list 
> Soot... at CS.McGill.CA <javascript:> 
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list 
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20160901/578759a9/attachment-0003.html