bytecode verification in Kaffe

Patrick Tullmann tullmann at
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
verification, though!


----- ----- ---- ---  ---  --   -    -      -         -               -
Pat Tullmann                                       tullmann at
  If Gates got a dime each time Windows crashed... Oh, nevermind...

More information about the kaffe mailing list