bytecode verification in Kaffe

Gaetano Bigliardi kaffe@rufus.w3.org
Fri, 3 Mar 2000 00:38:31 +0100


  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