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

[Eric Bodden]

Hmm, can you try a more recent version? Although this is still
strange. Even with 2.4, this option should work without problems. Did
you do any modifications to Soot?

Eric

On 16 August 2012 09:07, 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_skyp! e_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
>
>
>



-- 
Eric Bodden, Ph.D., http://bodden.de/
Head of Secure Software Engineering Group at EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt