CTF-All-In-One/doc/8.36_survey_symbolic_execution.md

6 lines
151 B
Markdown
Raw Normal View History

2018-06-12 19:15:50 +07:00
# 8.36 A Survey of Symbolic Execution Techniques
2018-06-17 16:46:53 +07:00
2018-07-13 23:31:51 +07:00
[paper](http://season-lab.github.io/papers/survey-symbolic-execution-preprint-CSUR18.pdf)
2018-06-17 16:46:53 +07:00
## 简介