This is the mail archive of the
java@gcc.gnu.org
mailing list for the Java project.
Bytecode verifier
- From: Andrew Haley <aph at redhat dot com>
- To: Tom Tromey <tromey at redhat dot com>
- Cc: java at gcc dot gnu dot org
- Date: Wed, 17 Mar 2004 19:00:20 +0000
- Subject: Bytecode verifier
- References: <1079384474.1995.85.camel@localhost.localdomain><1079532074.29202.1033.camel@localhost.localdomain><87oeqv49qc.fsf@fleche.redhat.com>
One of the most important problems with binary compatibility is the
lameness of the bytecode verifier in gcj. Unless we fix this we won't
be able to have true compatibility, because we can't compile all the
jarfiles that are out there.
I know that there is a somewhat decent verifier in libgcj, so perhaps
we could replace the gcj verifer with that one.
Perhaps we could have a separate verification pass in gcj -- verify
first using the libgcj verifier and then do separate semantic
analysis. That's better than trying to maintain two buggy verifiers.
I don't think the fact that the libgcj verifier is written in C++ is a
show stopper. We could have a verifer library and compile it twice,
once for host and once for target.
Andrew.