[Soot-list] Flowdroid with Stubdroid not working

[輝先生]

Hi Kazuki, 

I find that the soot-infoflow-summaries is not compatible with the latest 
soot-infoflow. How did you deal with it?

For example, in 
soot.jimple.infoflow.methodSummary.posrtProcessor.SummarypathBuilder.java, 
line 188:

public SummaryPathBuilder(IInfoflowCFG icfg, int maxThreadNum) {
super(icfg, maxThreadNum, true);
}
there is no correct constructors in the super 
class(ContextSensitivePathBuilder.java). There are also some other cases, I 
don't list here.

Thanks

在 2016年7月20日星期三 UTC+8下午4:06:04，Kazuki Hatayama写道：
>
> Hi Steven, 
>
> Thank you for the fix. It works well! 
>
> Best regards, 
> Kazuki 
>
>
> On 2016/07/19 2:10, Steven Arzt wrote: 
> > 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/6a4782d2/attachment-0003.html