javapathfinder/jpf-core
@javapathfinderJPF 是一个用于 Java 字节码的可扩展软件分析框架。jpf-core 是所有 JPF 项目的基础；您必须始终安装它。它包含基本的 VM 和模型检查基础设施，可用于检查死锁等并发缺陷，以及 NullPointerException 和 AssertionError 等未处理的异常。
星数
616
Fork 数
413
语言
Java
许可
—
最后推送
2天前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。