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