Bytecode verification

George Russell george at persimmon.co.uk
Wed Apr 30 02:45:42 PDT 1997


I think Kaffe's verifier should do the same as Sun's (what's the point
of Java if verifiers disagree about what code is acceptable?) and merge
local variable states at ALL instructions in the range.  In any case, I
don't think you buy much by any other strategy; don't forget that in any
case some exceptions can occur asynchronously, IE during any
instruction.  There are major nuisances about Sun's verifier, but like
Java I think we have to put up with them.



More information about the kaffe mailing list