From 11fcc0a4214cae25c346e8bd9e2bf2fe75ce9cce Mon Sep 17 00:00:00 2001
From: liu1l <1071662300@qq.com>
Date: Wed, 16 Aug 2017 10:27:37 +0800
Subject: [PATCH] upload symbolic execution

---
 SUMMARY.md          |  1 +
 doc/5.5_symbolic.md | 17 +++++++++++++++++
 2 files changed, 18 insertions(+)
 create mode 100644 doc/5.5_symbolic.md

diff --git a/SUMMARY.md b/SUMMARY.md
index 8a4d47d..6dafea5 100644
--- a/SUMMARY.md
+++ b/SUMMARY.md
@@ -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)
diff --git a/doc/5.5_symbolic.md b/doc/5.5_symbolic.md
new file mode 100644
index 0000000..c4624c9
--- /dev/null
+++ b/doc/5.5_symbolic.md
@@ -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大图。
+
+
+
+## 什么是符号执行
+
+
+