title: 如何学习符号执行(SymbolicExecution)?
topic: 软件工程
content: ls的答主说得很好，我补充几个项目DARTPLDI 05， EXECCS 06， SketchASPLOS 06， SAGENDSS 08。另外有个“微型”项目 GitHub - xiwmini-mc （作者是谁就不用介绍了..） 两点建议： 从特定应用需求（如果有的话）出发：testing， verification比如invariant generation， synthesis， repair等等，symbolic execution的设计各有不同。. 从通用的技术问题出发，除了symbolic execution，其他技术也有这些问题。学习某项目时可以
answerer_tags: 再见