safety of GCJ-generated code

[Adam Megacz <gcj at lists dot megacz dot com>]

Is GCJ-compiled code "safe" in the sense that no malicious input to a
program can possibly cause it to crash or jump to memory locations
that aren't part of its code? (ie buffer overflows, stack-busting). By
crash, I mean something beyond an uncaught exception.

I know that normal JVMs have this property; and from my understanding
of GCJ, I believe that it does as well (assuming that you leave
bounds-checking turned on).

I guess if I wanted to be really precise, I ought to say "assuming
that the JVM/compiler/libgcj has no bugs, no matter how bug-ridden the
java code being compiled is, it will never behave in an unsafe manner".

For example, GCJ with bounds checking turned off definately does not
have this property -- with malicious inputs, you can get some programs
to overwrite arbitrary regions of memory.

  - a