[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