3.将代码归入某类（称为保护域），该类确定了代码可以进行哪些操作。

二.class文件检验器

   和类加载器一起，class文件检验器保证了装载的class文件内容中有正确的内部结构，并且这些class文件相互间协调一致，如果class文件检验器在class文件中发生了问题，它将抛出异常。好的java编译器不应该产生畸形的class文件，但是java虚拟机并不知道某个特定的class文件的来源，所以java虚拟机的实现必须有个class文件检验器，文件检验器可以调用class文件以确保这些定义的类型可以安全的使用。

    java虚拟机的class文件检验器在字节码执行之前，必须完成大部分检验工作。class文件检验器需要经过四趟独立的扫描来完成其工作。第一趟扫描是在类被装载时进行的，在这次扫描中，class文件检验器检查这个class文件内部结构，以保证它可以被安全地编译。第二和第三趟扫描是在连接过程进行的，在这两次扫描中，class文件检验器确认类型数据遵从java编程语言的语义，包括检验它所包含的所有字节码的完整性，第四趟扫描是在进行动态链接的过程中解析符号引用时进行的，在这次扫描中，class文件检验器确认被引用的类、字段以及方法确实存在。

    第一趟扫描：class文件结构检查

    对每一段被当做类型导入的字节序列，class文件检验器都会确认其是否符合class文件格式。比如是否以魔数0xCAFEBABE开头，主次版本号所代表的的版本是否被当前虚拟机支持等等，第一趟扫描的主要目的就是保证这个字节序列正确地定义了一个新类型，它必须遵从class文件的固定格式，这样它才能被编译成在方法区中的内部数据结构。第二、第三和第四趟扫描是在方法区中由实现决定的数据结构上进行的。

    第二趟扫描：类型数据的语义检查

     检验一些java语言应该在编译时遵守的强制规则。比如除了Object外，所有类必须有一个父类，final类没有被子类化，常量池中的条目是合法的，而且常量池中的所有索引都指向了正确类型的常量池条目。

    第三趟扫描：字节码验证

    在这趟扫描中，java虚拟机对字节流进行数据流分析，这些字节流代表的是类的方法。它确保局部变量在赋值之前不可访问，类的字段中总必须赋予正确类型的值等等。

    第四趟扫描：符号引用验证

    在动态链接的过程中，如果包含在一个class文件中的符号引用被解析时，class文件检验器将进行第四趟检查。在这趟检查中，java虚拟机将追踪那些引用，从被验证的class文件到被引用的class文件，确保这个引用是正确的。

三.java虚拟机中内置的安全特性

java虚拟机装载了一个类，并且对它进行了第一到第三趟的class文件检验，这些字节码就可以被运行了。除了对符号引用的检验（class文件检查的第四趟扫描），java虚拟机在执行字节码时

还进行了一些内置的安全机制的操作。这些机制大多数是java类型安全的基础：

1.类型安全的引用转换；

2.结构化的内存访问（无指针算法）；

3.自动垃圾收集；

4.数组边界检查；

5.空引用检查。

    内置在java虚拟机中的另一个安全特性,并未指明运行时数据空间在java虚拟机内部分布式怎样的。如果查看class文件的内部，将看不到任何内存地址（全是符号引用和无符号数），当java虚拟机装载一个class文件是，由它决定将这些字节码以及其他从class文件中解析得到的数据放置在内存的什么地方。当虚拟机启动一个线程时，由它决定将这个线程创建java栈放到哪里。

    最后，java虚拟机拥有异常的结构化错误处理机制，因为java虚拟机支持异常，所以当一些违反安全的行为发生时，它会做一些结构化处理，java虚拟机将抛出一个异常或者错误，而不是崩溃。

四.安全管理器和java API

安全管理器定义了沙箱的外部边界，保护虚拟机的外部资源不被虚拟机内运行的恶意或者有漏洞的代码侵犯。javaAPI在进行一个可能不安全的操作前，总是会检查安全管理器，所以javaAPI不会在安全管理器建立的安全策略下执行被禁止的操作。具体可以参考java.lang.SecurityManager类。