Re: java.lang.VerifyError trying to run soot

[Archie Cobbs <archie@dellroad.org>]

Archie Cobbs wrote:
> > > Hmm... just downloaded the Soot JAR files and am getting this:
> > > 
> > >     Exception in thread "main" java.lang.VerifyError: (class: soot/PackManager, method: init signature: ()V) Incompatible argument to function
> > > 	at soot.PhaseOptions.getPM(PhaseOptions.java:67)
> > > 	at soot.PhaseOptions.setPhaseOption(PhaseOptions.java:206)

OK, below is a short program that reproducibly demonstrates the problem..

I don't *think* I'm doing anything wrong but would greatly appreciate
if someone else could try to reproduce the error by running the test
program below. It might be specific to the JDK version I'm using.. ?
It happens with both jikes 1.15 and 1.18.

Thanks!
-Archie

    $ cat > xx.java
    import soot.*;
    public class xx {
	public static void main(String[] args) throws Exception {
	    SootClass c = Scene.v().loadClassAndSupport("java.lang.Object");
	    c.setApplicationClass();
	    PhaseOptions.v().setPhaseOption("jb", "pack-locals");
	}
    }
    $ jikes xx.java && java xx
    Exception in thread "main" java.lang.VerifyError: (class: soot/PackManager, method: init signature: ()V) Incompatible argument to function
	    at soot.PhaseOptions.getPM(PhaseOptions.java:67)
	    at soot.PhaseOptions.setPhaseOption(PhaseOptions.java:206)
	    at xx.main(xx.java:6)
    $ java -version
    java version "1.4.1-p3"
    Java(TM) 2 Runtime Environment, Standard Edition (build 1.4.1-p3-root_29_jun_2003_21_29)
    Java HotSpot(TM) Client VM (build 1.4.1-p3-root_29_jun_2003_21_29, mixed mode)

__________________________________________________________________________
Archie Cobbs     *    Halloo Communications    *     http://www.halloo.com