javapathfinder

JPF 是一个用于 Java 字节码的可扩展软件分析框架。jpf-core 是所有 JPF 项目的基础；您必须始终安装它。它包含基本的 VM 和模型检查基础设施，可用于检查死锁等并发缺陷，以及 NullPointerException 和 AssertionError 等未处理的异常。