add 3.5_z3

This commit is contained in:
firmianay 2017-11-01 19:40:36 +08:00
parent a5ada05f5d
commit 9d40a2ce4c
4 changed files with 4 additions and 0 deletions

View File

@ -47,6 +47,7 @@
- [4.2 Linux 命令行技巧](doc/4.2_Linux_terminal_tips.md) - [4.2 Linux 命令行技巧](doc/4.2_Linux_terminal_tips.md)
- [4.3 GCC 堆栈保护技术](doc/4.3_gcc.md) - [4.3 GCC 堆栈保护技术](doc/4.3_gcc.md)
- [4.4 使用 DynELF 泄露函数地址](doc/4.4_dynelf.md) - [4.4 使用 DynELF 泄露函数地址](doc/4.4_dynelf.md)
- [4.5 Z3 约束求解器](doc/4.5_z3.md)
- [五、高级篇](doc/5_advanced.md) - [五、高级篇](doc/5_advanced.md)
- [5.1 Fuzz 测试](doc/5.1_fuzz.md) - [5.1 Fuzz 测试](doc/5.1_fuzz.md)

View File

@ -45,6 +45,7 @@
* [4.2 Linux 命令行技巧](doc/4.2_Linux_terminal_tips.md) * [4.2 Linux 命令行技巧](doc/4.2_Linux_terminal_tips.md)
* [4.3 GCC 堆栈保护技术](doc/4.3_gcc.md) * [4.3 GCC 堆栈保护技术](doc/4.3_gcc.md)
* [4.4 使用 DynELF 泄露函数地址](doc/4.4_dynelf.md) * [4.4 使用 DynELF 泄露函数地址](doc/4.4_dynelf.md)
* [4.5 Z3 约束求解器](doc/4.5_z3.md)
* [五、高级篇](doc/5_advanced.md) * [五、高级篇](doc/5_advanced.md)
* [5.1 Fuzz 测试](doc/5.1_fuzz.md) * [5.1 Fuzz 测试](doc/5.1_fuzz.md)
* [5.2 Pin 动态二进制插桩](doc/5.2_pin.md) * [5.2 Pin 动态二进制插桩](doc/5.2_pin.md)

1
doc/4.5_z3.md Normal file
View File

@ -0,0 +1 @@
# Z3 约束求解器

View File

@ -4,3 +4,4 @@
- [4.2 Linux 命令行技巧](4.2_Linux_terminal_tips.md) - [4.2 Linux 命令行技巧](4.2_Linux_terminal_tips.md)
- [4.3 GCC 堆栈保护技术](4.3_gcc.md) - [4.3 GCC 堆栈保护技术](4.3_gcc.md)
- [4.4 使用 DynELF 泄露函数地址](4.4_dynelf.md) - [4.4 使用 DynELF 泄露函数地址](4.4_dynelf.md)
- [4.5 Z3 约束求解器](4.5_z3.md)