[Soot-list] java.lang.VerifyError while instrumenting in soot

[Steven Arzt]

Hi Rashmi,

Have you double-checked that "val" is indeed of the correct type? It must
match the type of the first parameter of the method you are calling. Are you
sure that the method you are calling is indeed static? Also please run Soot
with the -validate option enabled to run Soot's internal code checkers.

Best regards,
  Steven


M.Sc. M.Sc. Steven Arzt
Secure Software Engineering Group (SSE)
European Center for Security and Privacy by Design (EC SPRIDE) 
Mornewegstraße 32
D-64293 Darmstadt
Phone: +49 61 51 16-75426
Fax: +49 61 51 16-72118
eMail: steven.arzt at ec-spride.de
Web: http://sse.ec-spride.de



-----Ursprüngliche Nachricht-----
Von: soot-list-bounces at CS.McGill.CA [mailto:soot-list-bounces at CS.McGill.CA]
Im Auftrag von Rashmi Mudduluru
Gesendet: Samstag, 18. Oktober 2014 20:13
An: soot-list at CS.McGill.CA
Betreff: [Soot-list] java.lang.VerifyError while instrumenting in soot

Hi,

I am using soot instrumentation to access all the newly created objects.
The instrumentation stage is fine but when I execute the instrumented
bytecode, I get the error "Expecting to find object/array on stack".

Following is my code snippet:
SootMethodRef mr;
LinkedList<Value> args = new LinkedList<Value>(); args.addLast(val); mr =
Scene.v().getMethod("<" + observerClass + ": void " + "newObj" +
"(java.lang.Object)>").makeRef();
units.insertAfter(Jimple.v().newInvokeStmt(Jimple.v().newStaticInvokeExpr(mr
,
val)), s);

Your help is greatly appreciated.

Regards,
Rashmi.


--
This message has been scanned for viruses and dangerous content by
MailScanner, and is believed to be clean.

_______________________________________________
Soot-list mailing list
Soot-list at CS.McGill.CA
https://mailman.CS.McGill.CA/mailman/listinfo/soot-list