测试 – 如何为特定语言实现符号执行引擎？

2019年7月21日 230次阅读

我正在考虑使用符号执行来测试用特定语言(如
java)编写的程序的健壮性.我读过一些介绍符号执行基本概念的论文.但我不清楚如何开始它.

例如,如何从具体输入生成约束条件？
那么任何人都可以就符号执行实现的基础知识给出一些建议吗？此外,如何执行具体的执行(具体的象征性)？