[Bug libgcj/13606] need extra runtime verification of compiled code

["tromey at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Additional Comments From tromey at gcc dot gnu dot org  2004-03-18 22:50 -------
FYI, I managed to find a slide show about "split verification" that
isn't under an obnoxious license.  Split verification is basically a 
proposal for having the compiler emit type maps into the generated bytecode,
so that the runtime verifier can do much less work to verify bytecode.

So, this isn't exactly what we need.  Instead we need something that
accepts many constructs at verification time (e.g., always return true
when asked if "is method X in class Y" or "does class X implement
interface Y"), then builds a list of such assertions to be checked
when the resulting object file is linked at runtime.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13606