CTF-All-In-One/doc/5.5_symbolic.md

15 lines
412 B
Markdown
Raw Normal View History

2017-09-08 12:05:10 +07:00
# 5.5 符号执行
- [符号执行的历史](#符号执行的历史)
- [什么是符号执行](#什么是符号执行)
2017-08-16 09:27:37 +07:00
## 符号执行的历史
![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大图。
## 什么是符号执行