[Soot-list] Flowdroid with Stubdroid not working

[Steven Arzt]

Hi all,

I just committed a version that should run with the newest FlowDroid  
build.

Best regards,
   Steven

On 2016-09-06 05:22, Kazuki Hatayama wrote:
> 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]
>>>> Gesendet: Donnerstag, 14. Juli 2016 14:29
>>>> An: Steven Arzt; soot... at CS.McGill.CA
>>>> 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
>>>>> [mailto:soot-lis... at CS.McGill.CA]
>>>>> Im Auftrag von Kazuki Hatayama
>>>>> Gesendet: Donnerstag, 14. Juli 2016 11:58
>>>>> An: soot... at CS.McGill.CA
>>>>> 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
>>> [1]
>>>>> 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
>>>>> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list [2]
>>>>> 
>>> _______________________________________________
>>> Soot-list mailing list
>>> Soot... at CS.McGill.CA
>>> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list [2]
> 
> 
> Links:
> ------
> [1]
> https://www.google.com/url?qx3dhttps%3A%2F%2Fgithub.com%2Fsecure-software-engineering%2Fsoot-infoflow-android%2Fix26sax3dDx26sntzx3d1x26usgx3dAFQjCNF0Frjw0l7JiiZCME8wY-5HiTszYg
> [2]
> https://www.google.com/url?qx3dhttps%3A%2F%2Fmailman.CS.McGill.CA%2Fmailman%2Flistinfo%2Fsoot-listx26sax3dDx26sntzx3d1x26usgx3dAFQjCNESpIFG08DX_QShQ4aH7soZrrlBBw