From 9d40a2ce4c225f2a5b3b6beccc76dc4f601da742 Mon Sep 17 00:00:00 2001 From: firmianay Date: Wed, 1 Nov 2017 19:40:36 +0800 Subject: [PATCH] add 3.5_z3 --- README.md | 1 + SUMMARY.md | 1 + doc/4.5_z3.md | 1 + doc/4_tips.md | 1 + 4 files changed, 4 insertions(+) create mode 100644 doc/4.5_z3.md 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)