[Soot-list] Soot bug?

[Mark Friedman]

I think I've found a bug in Soot.  I've isolated it to the following Java
program (the original class was much more complex):

public class SootProblem {
    public SootProblem()
    {
        if (false) {
            Runnable myRunnable =
                    new Runnable() {
                        public void run() {}
                    };
        }
        new SootProblemInner();
    }

    private class SootProblemInner {
        int foo;
    }
}

Here is the output of compiling the above file and then running Soot:

$ javac SootProblem.java
$ ls -l SootProblem*.*
-rw-r----- 1 markf eng  483 Jun  1 16:30 SootProblem$SootProblemInner.class
-rw-r----- 1 markf eng  372 Jun  1 16:30 SootProblem.class
-rw-r----- 1 markf eng  329 Jun  1 16:29 SootProblem.java
$ java -classpath
/home/markf/soot/soot-2708/classes:/home/markf/soot/polyglot-1.3.4
/classes:/home/markf/soot/polyglot-1.3.4/cup-classes:/home/markf/soot/jasmin-2708/classes
soot.Main -cp /usr/local/java-latest/jre/lib/rt.jar:. -src-prec only-class
-O SootProblem
Soot started on Fri Jun 01 16:31:14 PDT 2007
Exception in thread "main" java.lang.RuntimeException: couldn't find class:
SootProblem$1 (is your soot-class-path set properly?)
    at soot.SootResolver.bringToHierarchy(SootResolver.java:139)
    at soot.SootResolver.bringToSignatures(SootResolver.java:172)
    at soot.SootResolver.processResolveWorklist(SootResolver.java:104)
    at soot.SootResolver.resolveClass(SootResolver.java:89)
    at soot.Scene.loadClass(Scene.java:336)
    at soot.Scene.loadClassAndSupport(Scene.java:322)
    at soot.Scene.loadNecessaryClass(Scene.java:868)
    at soot.Scene.loadNecessaryClasses(Scene.java:887)
    at soot.Main.run(Main.java:170)
    at soot.Main.main(Main.java:146)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.CS.McGill.CA/pipermail/soot-list/attachments/20070601/2eed3b09/attachment.htm