[Soot-list] SPARK and Paddle not running

[Abdejalil SETH]

Hi everybody,


I have a problem with SPARK and Paddle , i have read the “Survivor’s Guide”
and downloading all jar class but it doesn't work :

*NB : I Work in Eclipse (Windows 8)*

This is : PointsToAnalysis.JAVA

http://pastebin.com/Qt1nDY2a

OUTPUT :

Exception in thread "main" java.lang.RuntimeException: couldn't find class:
org.sf.javabdd.BDDFactory (is your soot-class-path set properly?)



I need a Points-To Analysis project or some advices to run the example.


Thanks
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20130416/24ac3e26/attachment.html