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

[dingsun]

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.jarsoot.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/20120816/6bfd24eb/attachment-0001.html