[Soot-list] Flowdroid with Stubdroid not working

[Kazuki Hatayama]

Hi 輝先生,

My old version's soot-infoflow is compatible.

So I made no compile errors at that time.

Best regards,
Kazuki

On 2016/09/01 21:18, 輝先生 wrote:
> 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
>     <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
>     <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
>     <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/20160906/1718cb67/attachment.html