6.1Byte-code校验

　　如果byte-code通过代码校验，没有返回错误，我们可知道：代码没有堆栈上溢出和下溢出所有操作代码参数类型都是正确的没有发生非法数据转换，如将整数转换成指针。访问对象操作是合法的

　　6.2类装载

　　ClassLoader通过将本机类与网络资源类的名称分开，来保持安全性。因为调入类时总要经过检查，这样避免了特洛伊木马现象的出现。从网络上下载的类被调进一个与源相关的私有的名字域。当一个私有类访问另一个类时，build-in(本机类)首先被检查，然后检查相关的类。这样就避免了破坏本机类情况的出现。