bytecode verification in Kaffe

[Gaetano Bigliardi]

  Good morning,

  I'm a student in Computer Science at Bologna University (Italy). I'm
interested in the Java bytecode verification. Is a bytecode verifier
embedded in Kaffe? And where I can find it for investigate how Kaffe
implements verification?

  Thanks, Gaetano Bigliardi