我正在考虑使用符号执行来测试用特定语言（如 java）编写的程序的健壮性。我读过一些介绍符号执行基本概念的论文。但我不清楚如何开始。
例如，如何从具体输入生成约束条件？那么任何人都可以就符号执行的实现基础给我一些建议吗？此外，concolic execution(concrete + symbolic) 怎么样？
问问题
1033 次
1 回答
0
如何从具体输入生成约束条件？
使用符号或联合执行
那么任何人都可以就符号执行的实现基础给我一些建议吗？
我的建议和赵紫明一样：使用现有的符号执行工具。不要尝试自己实现，这将太难且耗时。
以下是最受欢迎的项目（更完整的列表在这里）：
Java：JPF + 符号探路者，JCute。
于 2016-02-16T17:28:33.940 回答