[Sablevm-bugs] [ sablevm-Bugs-653551 ] assertion failure running soot-1.2.4

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

Bugs item #653551, was opened at 2002-12-13 20:27
Message generated for change (Comment added) made by egagnon
You can respond by visiting: 
https://sourceforge.net/tracker/?func=detail&atid=105523&aid=653551&group_id=5523

Category: Execution Problem
Group: SableVM
>Status: Closed
Resolution: None
Priority: 5
Submitted By: Archie Cobbs (archiecobbs)
Assigned to: Etienne M. Gagnon (egagnon)
Summary: assertion failure running soot-1.2.4

Initial Comment:
I can consistently reproduce an assertion faiulre with
SableVM 1.0.5.
This happens on both FreeBSD and Linux. You must use
the debug
version of SableVM to get the assertion failure
(obviously), othewise
you get a SEGV core dump or other weird error.

Environment: soot-1.2.4 classes are in the classpath.

Contents of ~/.sablevm are attached.

Also, two class files are attached, along with source
files.
jikes-1.15 was used to generate them.

Here's the failure:

$ sablevm-debug --verbose-gc soot.Main --jimple Test
[verbose gc: allocating fixed size heap (2 * 16777216
bytes)]
Soot started on Fri Dec 13 17:21:16 GMT-08:00 2002
[verbose gc: previously allocated 16765808 bytes,
surviving 3822924 bytes, new heap is 16777216 bytes, gc
time = 0 sec 87391 usec]
[verbose gc: previously allocated 16767540 bytes,
surviving 6648540 bytes, new heap is 16777216 bytes, gc
time = 0 sec 133278 usec]
Transforming Test... sablevm-debug: util2.c:161:
_svmf_is_assignable_from: Assertion `T != ((void *)0)'
failed.
Abort

I've also gotten these assertion failures instead:

sablevm-debug: instructions_switch.c:15982:
_svmf_interpreter: Assertion `_svmf_is_assignable_from
(env, instance->vtable->type, _svmf_cast_type_class
(method->class_info))' failed.

sablevm: INTERNAL ERROR (source file "error.c", line
170): unhandled segmentation fault

It appears that memory is being corrupted somehow.


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

Comment By: Etienne M. Gagnon (egagnon)
Date: 2004-07-03 09:23

Message:
Logged In: YES 
user_id=15365

This bug has been moved to the new SableVM Bug Trackiong System.

Please visit: http://sablevm.org/bugs

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

Comment By: Archie Cobbs (archiecobbs)
Date: 2002-12-16 18:20

Message:
Logged In: YES 
user_id=99943

Here is a much simpler way I've found to reproduce this problem.
Just compile and run this program:

public class Bar {
    public static void main(String[] args) {
        new
soot.jimple.internal.JimpleLocalBox(null).setValue(null);
    }
}


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

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