[Sablevm-bugs] [ sablevm-Bugs-688788 ] Assertion failure in prepare_code.c

[SourceForge.net <no...@so...>]

Bugs item #688788, was opened at 2003-02-18 12:51
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=105523&aid=688788&group_id=5523

Category: Execution Problem
Group: SableVM
Status: Open
Resolution: None
Priority: 5
Submitted By: Archie Cobbs (archiecobbs)
>Assigned to: Etienne M. Gagnon (egagnon)
Summary: Assertion failure in prepare_code.c

Initial Comment:
I'm trying to use Soot with SableVM 1.0.5 and getting
an assertion
failure. Here is my test program:
-----------------------------------------

import soot.*;
import soot.jimple.*;
import java.util.*;

public class x {
        public static void main(String[] args) throws
Exception {
                SootClass c =
Scene.v().loadClassAndSupport("java.lang.String");
                c.setApplicationClass();
                for (Iterator i = c.methodIterator();
i.hasNext(); ) {
                        SootMethod m =
(SootMethod)i.next();
                        Body body =
(JimpleBody)m.retrieveActiveBody();
                       
Scene.v().getPack("jtp").apply(body);
                       
Scene.v().getPack("jop").apply(body);
                }
        }
}

------------------------------------------

Note that the "java.lang.String" class that is being
processed
is the one that comes with SableVM. Other classes
process OK
but this one seems to cause problems.. perhaps there is
some
bytecode sequence that SableVM can't handle or is invalid?

Here is the failure:

$ sablevm x
assertion "instruction->stack_and_local_map->stack_size
>= 0" failed: file "prepare_code.c", line 1088
Abort(core dumped)



----------------------------------------------------------------------

You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=105523&aid=688788&group_id=5523