[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