[Soot-list] How to Use Paddle in Windows Environment

[杨鹏]

Hi,


I think I've failed to run Paddle to get a result for the codes which used to test the Paddle functions. And I'm not sure if it's caused by setting an incorrect environment for BDD library or Paddle. I'm confused that how to run the codes and then get a correct result which list in papers since I can't follow the steps for Linux.


Best regards,


Yang Peng





At 2013-01-31 00:06:30,"Eric Bodden" <eric.bodden at ec-spride.de> wrote:
>Hi.
>
>So what's the problem? Do you fail to build the BDD library or do you
>fail to run Paddle?
>
>IIRC there's a pure-java version of the BDD plugin which you can use.
>That should be platform independent.
>
>Eric
>
>On 25 January 2013 05:48, yangpeng3314 <yangpeng3314 at 163.com> wrote:
>> Hello,
>>
>> I'm trying to use paddle to do some points-to analysis, and I found a paper
>> "A Survivor's Guide to Java Program Analysis with Soot " which introduces a
>> process to deploy a running environment in Linux. However, I need to use
>> paddle package in a Windows 7 OS and I'm confused about the setup steps in
>> this case. Can any body give some advices about it?
>>
>> Meanwhile, I tried to a similar setup with some tiny changes in this paper
>> to see if I can run the example mentioned in chapter 8, then I got a error
>> with a log in the attachment. Have I made some incorrect configuration and
>> how can I fix it?
>>
>> The attachments are the paper and log file mentioned above, thanks for your
>> attention.
>>
>> Best regards.
>>
>> ________________________________
>> yangpeng3314
>>
>> _______________________________________________
>> Soot-list mailing list
>> Soot-list at sable.mcgill.ca
>> http://mailman.cs.mcgill.ca/mailman/listinfo/soot-list
>>
>
>
>
>-- 
>Eric Bodden, Ph.D., http://sse.ec-spride.de/ 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130131/16a7ad1e/attachment.html