[kaffe] ensuring that a type signature is valid

Rob Gonzalez rgonzale at wso.williams.edu
Wed Jun 18 08:13:05 PDT 2003


Hi all,

What checks, if any, are done on type signatures in the constant pool
during loading/linking/execution?  That is, if a method has some goofy
type signature, such as:

	(junk)V

kaffe probably should reject the class containing that method as
corrupted.  I ran through the class loading source and it wasn't in there,
and I really don't know much about the run-time system (though I would
imagine that if the check isn't done during loading/linking, then it's
probably not done at all).

If no such checks exist, I'll go ahead and throw a parser for type
signatures into pass 2 verification (currently undergoing bug-for-bug
compatibility tests with Sun's verifier).  I just wanted to confirm that
such a checks or a parser isn't buried in the code base somewhere already.


Cheers,
Rob


ps - I've been bustling to finish my thesis the last few months, but I'll
be around again at least for the summer :)





More information about the kaffe mailing list