9、Java类文件验证器：保障程序安全与稳定的关键机制

Java类文件验证器：保障程序安全与稳定的关键机制

1. 类文件验证器概述

类文件验证器与类加载器协同工作，负责检查已加载类文件的完整性。它不仅会检查类文件的结构，还会验证其与其他类文件的一致性。若在检查过程中发现问题，验证器会抛出异常。

类文件除了可以通过 javac 编译器生成外，还能通过其他方式创建。由于类文件仅存储二进制信息，JVM无法区分是由Java编译器生成的类文件还是黑客创建的。因此，所有JVM实现都支持类文件验证器，以确保创建的类文件可安全使用。

类文件验证器的主要任务是确保程序的健壮性。以下是一些可能影响JVM或Java程序健康的情况：
- 非法参数传递 ：传递给字节码指令的参数数量或类型非法，可能导致程序执行错误或使JVM混淆，因为JVM无法通过指定的字节码指令识别正确的类。
- 非法字节码指令 ：类文件包含非法字节码指令，例如程序循环超出循环结构指定的限制，可能导致程序挂起、影响JVM，甚至导致系统崩溃或在Web浏览器中引入错误。
- 栈溢出或下溢 ：类文件中的指令可能导致栈溢出或下溢，耗尽JVM的内部内存，影响其内存管理。
- 非法访问权限 ：类文件试图访问其没有足够访问权限的类成员，可能会引发异常并停止程序执行，这很可能是由黑客造成的。

JVM可以在运行时控制这些风险，例如在每条字节码指令后检查栈，避免栈溢出或下溢，也可以检查传递给字节码指令的参数。但这些操作会影响Java程序的性能，因此建议在程序执行前由类文件验证