[Soot-list] soot command line option of "-process-path"

[Cheng Zhang]

Hi Ding,

It might be trivial to you, but if you run Soot on Windows (as I do) by
using code like below:

...
String[] args = new String[]{"-allow-phantom-refs", "-w", ...,
"-process-dir c:\ds\wk3.6.1\testcase1\lib\velocity-dep-1.3.1.jar"};
...
soot.Main.main(args);
...

Can you try to split the  "-process-dir
c:\ds\wk3.6.1\testcase1\lib\velocity-dep-1.3.1.jar"
into two strings, that is, "-process-dir", "c:/ds/wk3.6.1/
testcase1/lib/velocity-dep-1.3.1.jar"?

Best,
Cheng

On Thu, Aug 16, 2012 at 3:07 PM, dingsun <xyz031702 at hotmail.com> wrote:

>  Dear Eric and Cheng Zhang,
>
> My current entire command line is :
>
> -allow-phantom-refs
> -p jb use-original-names:true
> -w
> -p cg all-reachable:true
> -p cg verbose:true
> -include-all
> -process-dir c:\ds\wk3.6.1\testcase1\lib\velocity-dep-1.3.1.jar
>
> My soot version is 2.4 .
> Everything works fine if without the last command line "-process-dir"
>
> Best Regards,
> Ding Sun
>
> ------------------------------
> Date: Thu, 16 Aug 2012 10:48:40 +0800
>
> Subject: Re: [Soot-list] soot command line option of "-process-path"
> From: cheng.zhang.stap at gmail.com
> To: xyz031702 at hotmail.com
> CC: soot-list at sable.mcgill.ca
>
>
> Hi Ding,
>
> It is curious to me...
> Would you please show your complete command line?
>
> Best,
> Cheng
>
> On Thu, Aug 16, 2012 at 10:34 AM, dingsun <xyz031702 at hotmail.com> wrote:
>
>  Hi Zhang,
>
> Thanks a lot for the advice. But it still doesn't work here:
> Invalid option -process-dir
> c:\ds\wk3.6.1\testcase1\lib\velocity-dep-1.3.1.jar
> soot.CompilationDeathException: Option parse error
>  at
> emframe.staticanalysis.soot.CFGDriver.processCmdArgs(CFGDriver.java:121)
> at emframe.staticanalysis.soot.CFGDriver.generateCFG(CFGDriver.java:30)
>  at emframe.Main.start(Main.java:71)
> at emframe.Main.main(Main.java:34)
>
> I always encountered the "CompilationDeathException" exception no matter
> using "-process-path" or "-process-dir"
>
>
> Best Regards,
> Ding Sun
> ------------------------------
> Date: Thu, 16 Aug 2012 10:28:20 +0800
>
> Subject: Re: [Soot-list] soot command line option of "-process-path"
> From: cheng.zhang.stap at gmail.com
> To: xyz031702 at hotmail.com
> CC: eric.bodden at ec-spride.de; soot-list at sable.mcgill.ca
>
>
> Hi Ding,
>
> If you have a.jar, b.jar. c.jar... in your directory, say
> "c:\wk\testcase\lib\".
> I think you can use multiple -process-dir like this:
> -process-dir c:\wk\testcase\lib\a.jar
> -process-dir c:\wk\testcase\lib\b.jar -process-dir c:\wk\testcase\lib\c.jar
>
> Btw, I just encountered CompilationDeathException when I misspelled the
> option names...
> Are your sure you got the same exception when using -process-dir (instead
> of -process-path)?
>
> Best,
> Cheng
>
> On Thu, Aug 16, 2012 at 10:09 AM, dingsun <xyz031702 at hotmail.com> wrote:
>
>  Dear Eric,
>
> I have also tried the  -process-dir  , it outputs the same exception. Do I
> need to specify the jar file name?
>
> Best Regards,
> Ding Sun
>
> > From: eric.bodden at ec-spride.de
> > Date: Wed, 15 Aug 2012 20:48:10 +0200
> > Subject: Re: [Soot-list] soot command line option of "-process-path"
> > To: xyz031702 at hotmail.com
> > CC: soot-list at sable.mcgill.ca
>
> >
> > Hmm, this looks ok to me. Does -process-dir work?
> >
> > Eric
> >
> > On 15 August 2012 17:35, dingsun <xyz031702 at hotmail.com> wrote:
> > > Dear All,
> > >
> > > I want to process the class files in some jar files. Suppose my the
> path to
> > > these jar files is c:\wk\testcase\lib\
> > >
> > > I follow the help document of soot command line option, writing:
> > > -process-path c:\wk\testcase\lib\
> > >
> > > But I got the error:
> > > Inv alid option -process-path c:\wk\testcase\lib\
>
> > > soot.CompilationDeathException: Option parse error
> > > at
> emframe.staticanalysis.soot.CFGDriver.processCmdArgs(CFGDriver.java:121)
> > > at emframe.staticanalysis.soot.CFGDriver.generateCFG(CFGDriver.java:30)
> > > at emframe.Main.start(Main.java:71)
> > > at emframe.Main.main(Main.java:34)
> > >
> > > May I know how to solve this? Thanks a lot!
> > >
> > > Best Regards,
> > > Ding Sun
> > >
> > > _______________________________________________
> > > Soot-list mailing list
> > > Soot-list at sable.mcgill.ca
> > > http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
> > >
> >
> >
> >
> > --
> > Eric Bodden, Ph.D., http://bodden.de/
> > Head of Secure Software Engineering Group at EC SPRIDE
> > Tel: +49 6151 16-75422 begin_of_the_skype_highlighting            +49
> 6151 16-75422      end_of_the_skype_highlightingbegin_of_the_skype_highlighting
>             +49 6151 16-75422 begin_of_the_skype_highlighting            +49
> 6151 16-75422      end_of_the_skype_highlighting
> end_of_the_skype_highlighting Fax: +49 6151 16-72051
>
> > Room 3.2.14, Mornewegstr. 30, 64 293 Darmstadt
>
> _______________________________________________
> Soot-list mailing list
> Soot-list at sable.mcgill.ca
> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20120816/6fbab4be/attachment.html