nganhkhoa/CTF-All-In-One
1
0
Fork 0
mirror of https://github.com/nganhkhoa/CTF-All-In-One.git synced 2024-12-25 11:41:16 +07:00
Code Issues Projects Releases Wiki Activity

upload symbolic execution

Browse Source
This commit is contained in:
liu1l 2017-08-16 10:27:37 +08:00
parent b7c28e32cf
commit 11fcc0a421
2 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
SUMMARY.md
View File

@ -45,6 +45,7 @@
* [5.2 Pin 动态二进制插桩](doc/5.2_pin.md)
* [5.3 angr 二进制自动化分析](doc/5.3_angr.md)
* [5.4 反调试技术](doc/5.4_antidbg.md)
* [5.5 Symbolic Execution 符号执行](doc/5.5_symbolic.md)
* [六、附录](doc/6_appendix.md)
* [6.1 更多 Linux 工具](doc/6.1_Linuxtools.md)
* [6.2 更多 Windows 工具](doc/6.2_wintools.md)

17
doc/5.5_symbolic.md Normal file
View File

@ -0,0 +1,17 @@
# Symbolic Execution 符号执行技术
* [符号执行的历史](#符号执行的历史)
* [什么是符号执行](#什么是符号执行)
## 符号执行的历史
![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大图。
## 什么是符号执行