[Soot-list] VerifyError while instrumenting with Chain.insertBefore() method.

[Patrick Lam]

On 06/15/10 13:48, Neetha Maria Sebastian wrote:
> Hi,
>
> I have been trying to insert a method call before every "if" statement
> inside some programs. I am building on top of an existing framework
> called Calfuzzer, and for some reason, I am never able to pass the if
> statements condition arguments to the instrumented method. I see other
> parts of the framework do similar things, and tried to replicate what
> they were doing, but end up with
>
>       [java] java.lang.VerifyError: (class:
> benchmarks/dstest/MTTreeSetTest, method: main signature:
> ([Ljava/lang/String;)V) Expecting to find object/array on stack
>       [java] Could not find the main class:
> benchmarks.dstest.MTTreeSetTest.  Program will exit.
>       [java] Exception in thread "main"

The Jimple code looks correct, but what are the parameters to 
myIfBefore? It looks like you're assuming that they're (byte, boolean), 
but the JVM seems to think that they should at least contain one object 
or array.

pat