我正在考虑使用符号执行来测试用特定语言（如java）编写的程序的健壮性。我读过一些介绍符号执行基本概念的论文。但我不清楚如何开始它。
例如，如何从具体输入生成约束条件？ 那么任何人都可以就符号执行实现的基础知识给出一些建议吗？此外，如何执行具体的执行（具体+符号）？
答案 0 :(得分：2)
也许你可以从Symbolic PathFinder http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-symbc
开始答案 1 :(得分：0)
如何从具体输入生成约束条件？
使用符号或执行执行
所以任何人都可以就实施的基础知识给我一些建议 符号执行？
我的建议与赵紫明一样：使用现有的符号执行工具。不要试图实现自己的，这将是太辛苦和耗时。
以下是最受欢迎的项目（更完整的列表here）：