日本证券交易所 关于 JBSE是用于自动程序分析，验证和测试生成的符号Java虚拟机。 JBSE允许使用符号输入执行任意Java方法。 符号输入代表JBSE在其上不进行任何初始假设的任意原始值或参考值。 在执行期间，JBSE在符号输入上引入了假设，例如，决定是否必须在某个点上遵循条件语句的“ then”或“ else”分支，或者决定是否使用符号引用访问字段会产生值或引发NullPointerException 。 在这些情况下，JBSE将可能的情况分解并分析所有情况，并在可能的情况下回溯。 通过