[kaffe] Kaffe CVS: kaffe rob
Kaffe CVS
cvs-commits at kaffe.org
Sun Jun 29 14:09:01 PDT 2003
CVSROOT: /cvs/kaffe
Module name: kaffe
Changes by: rob 03/06/29 14:07:02
Modified files:
. : ChangeLog
kaffe/kaffevm : debug.h debug.c verify.c
Log message:
This is the first of a series of small checkins that will
integrate a verifier into kaffe. This one adds most of
pass 2 verification, though without a parser for type
descriptors of method and field references from the constant
pool.
* kaffe/kaffevm/debug.h
Added VERIFY2, VERIFY3, and VERIFY debugging flags.
* kaffe/kaffevm/debug.c
Added VERIFY2, VERIFY3, and VERIFY debugging flags.
* kaffe/kaffevm/verify.c
Rewrote verify2() and added support methods that check
for errors in method static constraints.
More information about the kaffe
mailing list