[Soot-list] Excpetion using spark

[ASHISH MISHRA]

Hi,

I am running spart PTA , but I am hitting an Excpetion

Exception in thread "main" java.lang.RuntimeException: This operation
requires resolving level BODIES but java.lang.String is at resolving level
SIGNATURES
If you are extending Soot, try to add the following call before calling
soot.Main.main(..):
Scene.v().addBasicClass(java.lang.String,BODIES);
Otherwise, try whole-program mode (-w).
at soot.SootClass.checkLevel(SootClass.java:125)
at soot.SootMethod.retrieveActiveBody(SootMethod.java:312)
at
soot.jimple.spark.builder.ContextInsensitiveBuilder.preJimplify(ContextInsensitiveBuilder.java:52)
at
soot.jimple.spark.SparkTransformer.internalTransform(SparkTransformer.java:80)
at soot.SceneTransformer.transform(SceneTransformer.java:39)
at dynamicup.ComponentPTA$1.internalTransform(ComponentPTA.java:233)
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:416)
at soot.PackManager.runPacks(PackManager.java:336)
at soot.Main.run(Main.java:198)
at soot.Main.main(Main.java:141)
at dynamicup.ComponentPTA.CompoennetLevelPA(ComponentPTA.java:257)
at dynamicup.DU.main(DU.java:128)

An earlier thread suggests, this might be due to some error in soot
classpath or not including -w option. I am running in -w option , Any help
resolving this??

-- 
Regards,
Ashish Mishra
Graduate Student,
Computer Science and Automation Department,IISc
Cell : +91-9611194714
Mailto : ashishmishra at csa.iisc.ernet.in
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140818/dac45d2c/attachment.html