jbse:用于程序分析验证和测试生成的符号Java虚拟机 源码

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