[Soot-list] Excpetion using spark

[Bodden, Eric]

Hi.

Without knowing your exact command line and input it's hard to tell what might be going wrong.

Eric

On 18.08.2014, at 08:12, ASHISH MISHRA <ashish123.mishragkp at gmail.com> wrote:

> 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
> 
> _______________________________________________
> Soot-list mailing list
> Soot-list at CS.McGill.CA
> https://mailman.CS.McGill.CA/mailman/listinfo/soot-list

--
Prof. Eric Bodden, Ph.D., http://sse.ec-spride.de/ http://bodden.de/
Head of Secure Software Engineering  at Fraunhofer SIT, TU Darmstadt and EC SPRIDE
Tel: +49 6151 16-75422    Fax: +49 6151 16-72051
Room 3.2.14, Mornewegstr. 30, 64293 Darmstadt

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 841 bytes
Desc: Message signed with OpenPGP using GPGMail
Url : http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20140818/1ca83a69/attachment.bin