diff --git a/README.md b/README.md
index 32d1806..ea72a91 100644
--- a/README.md
+++ b/README.md
@@ -47,6 +47,7 @@
   - [4.2 Linux 命令行技巧](doc/4.2_Linux_terminal_tips.md)
   - [4.3 GCC 堆栈保护技术](doc/4.3_gcc.md)
   - [4.4 使用 DynELF 泄露函数地址](doc/4.4_dynelf.md)
+  - [4.5 Z3 约束求解器](doc/4.5_z3.md)
 
 - [五、高级篇](doc/5_advanced.md)
   - [5.1 Fuzz 测试](doc/5.1_fuzz.md)
diff --git a/SUMMARY.md b/SUMMARY.md
index 19c2090..e76b6c4 100644
--- a/SUMMARY.md
+++ b/SUMMARY.md
@@ -45,6 +45,7 @@
     * [4.2 Linux 命令行技巧](doc/4.2_Linux_terminal_tips.md)
     * [4.3 GCC 堆栈保护技术](doc/4.3_gcc.md)
     * [4.4 使用 DynELF 泄露函数地址](doc/4.4_dynelf.md)
+    * [4.5 Z3 约束求解器](doc/4.5_z3.md)
 * [五、高级篇](doc/5_advanced.md)
     * [5.1 Fuzz 测试](doc/5.1_fuzz.md)
     * [5.2 Pin 动态二进制插桩](doc/5.2_pin.md)
diff --git a/doc/4.5_z3.md b/doc/4.5_z3.md
new file mode 100644
index 0000000..f4bdc0a
--- /dev/null
+++ b/doc/4.5_z3.md
@@ -0,0 +1 @@
+# Z3 约束求解器
diff --git a/doc/4_tips.md b/doc/4_tips.md
index bbe5473..e86051f 100644
--- a/doc/4_tips.md
+++ b/doc/4_tips.md
@@ -4,3 +4,4 @@
 - [4.2 Linux 命令行技巧](4.2_Linux_terminal_tips.md)
 - [4.3 GCC 堆栈保护技术](4.3_gcc.md)
 - [4.4 使用 DynELF 泄露函数地址](4.4_dynelf.md)
+- [4.5 Z3 约束求解器](4.5_z3.md)