这在JVM规范：第4.10章中指定。验证类文件。
该页面的大部分内容描述了类型安全的各个方面。为了检查程序是否是类型安全的，验证程序需要确定每个程序点在操作数堆栈中驻留哪些类型的操作数，并确保它们与相应指令期望的类型匹配。
它验证的其他内容包括但不限于以下内容：
- 分支必须在该方法的代码数组的范围内。
*所有控制流指令的目标都是指令的开始。在宽指令的情况下，宽操作码被认为是指令的开始，给出该宽指令所修改的操作的操作码不被认为是开始指令。不允许跳转到指令的中间。
没有指令可以访问或修改索引大于或等于其方法指示分配的局部变量数的局部变量。
对常量池的所有引用都必须是适当类型的条目。（例如，指令getfield必须引用一个字段。）
该代码不会在指令中间结束。
执行不能脱离代码的结尾。
*对于每个异常处理程序，由该处理程序保护的代码的起点和终点必须在一条指令的开头，或者在终点的情况下，必须紧接在代码结尾之后。起点必须在终点之前。异常处理程序代码必须以有效指令开头，并且不得以宽指令修改后的操作码开头。
最后，验证程序还将执行数据流分析，以确保没有指令引用任何未初始化的局部变量。
