bytecode verification in Kaffe

[Patrick Tullmann]

> 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                                       tullmann at cs.utah.edu
  If Gates got a dime each time Windows crashed... Oh, nevermind...