# 5.3 符号执行

- [符号执行的历史](#符号执行的历史)
- [什么是符号执行](#什么是符号执行)


## 符号执行的历史

![history-of-se](https://raw.githubusercontent.com/enzet/symbolic-execution/master/diagram/symbolic-execution.svg)

或者进入[https://github.com/enzet/symbolic-execution](https://github.com/enzet/symbolic-execution)查看SVG大图。


## 什么是符号执行