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

Fri Aug 17 05:43:31 EDT 2012

Dear Cheng,

Great suggestion!  This works. I mean to split "-process-dir c:/ds/wk3.6.1/testcase1/lib/velocity-dep-1.3.1.jar" into "-process-dir", "c:/ds/wk3.6.1/testcase1/lib/velocity-dep-1.3.1.jar".
Thanks a lot.

Best Regards,
Ding Sun

Date: Thu, 16 Aug 2012 15:43:22 +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 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_highlighting begin_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/20120817/3395cb49/attachment-0001.html 