在最近的CTF比赛和一些实际场景中，出现了许多光靠人力手动分析和动态调试难以解决的问题，此时往往需要借助一些辅助分析的工具来帮助我们半自动化，乃至自动化地完成逆向。本专题总结了一些逆向辅助分析神器的原理和用法，并在持续更新中。
-
capstone：反汇编框架 -
keystone：汇编框架 -
angr：应用最广泛的符号执行引擎 -
miasm：综合了静态分析、符号执行、模拟执行、动态符号执行的集大成逆向框架 -
unicorn：基于QEMU的模拟执行引擎 -
z3：微软开发的约束求解器（通俗一点来说就是方程/方程组求解器），是angr和miasm的约束求解实现
该教程的难度偏进阶，需要读者具有一定的逆向基础，例如：
- C语言编程基础
- Python编程基础
- x86汇编基础
- 一段时间的逆向学习经验
如果读者还不具备以上基础，可以先通过以下的途径学习：
- 逆向入门简介 byRh
- Syclover 技术小组二进制方向招新培训
- 各大逆向论坛以及博客
- Google（个人认为Google的英文搜索和中文搜索都优于百度）
请在SCUCTF协会群内联系0x401-34r7hm4n或直接在本仓库中提交Issues。