bytecode verification in Kaffe
tullmann at cs.utah.edu
Sat Mar 4 13:49:43 PST 2000
> 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
----- ----- ---- --- --- -- - - - - -
Pat Tullmann tullmann at cs.utah.edu
If Gates got a dime each time Windows crashed... Oh, nevermind...
More information about the kaffe