具有控制流枚举的Java解析器

Question

是否有一个开源java解析工具可以枚举通过方法的控制流路径并计算整数变量的范围约束？ （Sat-solver也会很棒）

- 编辑 -

This is the answer触发了这个问题。

这是the commercial version of the tool我在考虑。

我的问题是 - 最接近的开源等价物是什么？

Answer 1

与您的要求非常接近Java Symbolic PathFinder。来自网站：

Symbolic PathFinder

• 执行Java字节码的符号执行
• 处理复杂的数学约束，数据结构和数组，多线程，前置条件，字符串（正在进行的工作）
• 适用于（可执行的）模型和代码
• 生成保证达到用户指定覆盖范围的测试向量和测试序列（例如路径，语句，分支，MC / DC覆盖）
• 衡量范围。
• 生成JUnit测试，Antares仿真脚本等（输出可以轻松定制）
• 在测试生成过程中，检查错误
• 灵活，因为它允许轻松编码不同的覆盖标准
• 与模拟环境（正在进行的工作）集成

关于你的第二个问题，有一个原生的Java SAT求解器：sat4j