mirror of
https://github.com/nganhkhoa/CTF-All-In-One.git
synced 2024-10-19 01:12:52 +07:00
18 lines
436 B
Markdown
18 lines
436 B
Markdown
|
# Symbolic Execution 符号执行技术
|
||
|
|
|
||
|
|
* [符号执行的历史](#符号执行的历史)
|
||
|
|
* [什么是符号执行](#什么是符号执行)
|
||
|
|
|
||
|
|
## 符号执行的历史
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
或者进入[https://github.com/enzet/symbolic-execution](https://github.com/enzet/symbolic-execution)查看SVG大图。
|
||
|
|
|
||
|
|
|
||
|
|
|
||
|
|
## 什么是符号执行
|
||
|
|
|
||
|
|
|
||
|
|
|