【发布时间】：2013-11-01 01:39:30
【问题描述】：
我正在考虑使用符号执行来测试用特定语言（如 java）编写的程序的健壮性。我读过一些介绍符号执行基本概念的论文。但我不清楚如何开始。
例如，如何从具体输入生成约束条件？ 那么任何人都可以就符号执行的实现基础给我一些建议吗？此外，concolic 执行（具体 + 符号）呢？
【问题讨论】：
标签： testing symbolic-execution
【发布时间】：2013-11-01 01:39:30
【问题描述】：
如何根据具体输入生成约束条件？
使用符号或混合执行
所以任何人都可以就实施的基础知识给我一些建议 符号执行？
我的建议和赵紫明一样：使用现有的符号执行工具。不要尝试自己实现，这将太难且耗时。
这里是最受欢迎的项目（更完整的列表here）：
【讨论】：