1. Checks a classfile for validity:
a. Code only has valid instructions & register use
b. Code does not overflow/underflow stack
c. Does not convert data types illegally or forge pointers
d. Accesses objects as correct type
e. Method calls use correct number & types of arguments
f. References to other classes use legal names
2. Goal is to prevent access to underlying machine
No comments:
Post a Comment