> Is a bytecode verifier embedded in Kaffe? And where I can find it
> for investigate how Kaffe implements verification?
There is only a rudimentary verifier in Kaffe, and it is used mostly
to create data structures used by the JIT compiler. Look at
kaffe/kaffevm/verify.c. It has a skeleton of a verifier.
I'm sure the maintainers would welcome patches that improve the
verification, though!
-Pat
----- ----- ---- --- --- -- - - - - -
Pat Tullmann [EMAIL PROTECTED]
If Gates got a dime each time Windows crashed... Oh, nevermind...
