Re: [Sablevm-user] Assertion failure

[Prof. E. M. G. <eti...@uq...>]

Hi Archie,

Archie Cobbs wrote:
> I'm trying to use SableVM 1.0.5 to run Soot 1.2.5 and getting an
> assertion failure when trying to process java.lang.String.
>=20
> Here is a test program:
=2E..

> Here's what I get:
>=20
>     $ sablevm x
>     assertion "instruction->stack_and_local_map->stack_size >=3D 0" fai=
led: file "prepare_code.c", line 1088
>     Abort(core dumped)
=B7=B7=B7
> Any ideas appreciated...

This *should* only happen if you were trying to execute unverifiable byte=
code (a=20
verifier would reject the code).  Could you find out exactly which method=
 is=20
executing, then send us the
   javap -c -l -private -s -verbose
output for that method?


In a debugging version of SableVM, you can type:

sablevm --property=3Dsablevm.verbose.methods=3Dtrue x

Etienne
--=20
Etienne M. Gagnon, Ph.D.             http://www.info.uqam.ca/~egagnon/
SableVM:                                       http://www.sablevm.org/
SableCC:                                       http://www.sablecc.org/