[Soot-list] Problem in running Paddle

Zalia Shams zalia18 at vt.edu
Mon May 3 17:27:13 EDT 2010


Hi,
I am trying to run a simple example in Paddle. After following the
guidelines of how to run Paddle from sootsurvivorsguide I am getting
following errors:

Exception in thread "main" java.lang.ExceptionInInitializerError
    at
soot.jimple.paddle.queue.Rvar_method_typeBDD.<init>(Rvar_method_typeBDD.java:13)
    at
soot.jimple.paddle.queue.Qvar_method_typeBDD.reader(Qvar_method_typeBDD.java:41)
    at soot.jimple.paddle.PaddleScene.build(PaddleScene.java:1411)
    at soot.jimple.paddle.PaddleScene.setup(PaddleScene.java:1298)
    at soot.jimple.paddle.PaddleTransformer.setup(PaddleTransformer.java:84)
    at SideEffectTransformer.PaddleTransform(SideEffectTransformer.java:387)
    at SideEffectTransformer.runAnalysis(SideEffectTransformer.java:116)
    at
SideEffectTransformer.internalTransform(SideEffectTransformer.java:70)
    at soot.SceneTransformer.transform(SceneTransformer.java:39)
    at soot.Transform.apply(Transform.java:89)
    at soot.ScenePack.internalApply(ScenePack.java:43)
    at soot.Pack.apply(Pack.java:114)
    at soot.PackManager.runWholeProgramPacks(PackManager.java:409)
    at soot.PackManager.runPacks(PackManager.java:329)
    at soot.Main.run(Main.java:190)
    at soot.Main.main(Main.java:135)
    at Main.main(Main.java:41)
Caused by: java.lang.NullPointerException
    at jedd.internal.PhysicalDomain.<init>(PhysicalDomain.java:33)
    at jedd.PhysicalDomain.<init>(PhysicalDomain.java:22)
    at soot.jimple.paddle.bdddomains.V1.<init>(V1.java:12)
    at soot.jimple.paddle.bdddomains.V1.<clinit>(V1.java:10)
    ... 17 more

If anyone have any idea of possible reason for the error, and how to solve
this please let me know.

Thanks in advance.

Zalia
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.cs.mcgill.ca/pipermail/soot-list/attachments/20100503/7de0cdc8/attachment.html 


More information about the Soot-list mailing list