标签： testing
我正在学习有关符号执行的问题，我不得不提出以下问题： 首先，符号执行的框架是什么，例如，在遗传算法中，我们有一些步骤，例如选择，交叉，...对于符号执行，这些步骤是什么？
第二，我知道为了解决路径条件，我们使用约束求解器，假设我们象征性地运行程序并收集约束，在程序中间的某个时刻，我们的象征性执行被卡住了，如果我是对的，我们不能继续前进至此，我们使用约束求解器来求解收集的路径。那么之后会发生什么呢？我们如何继续象征性地执行程序直到结束？
非常感谢您的帮助