16. 符号执行与Angr的使用.pdfVIP

信息系统安全与对抗实践 符号执行与Angr的使用 内容提要 • 符号执行的概念 • angr的安装 • angr的使用 -以CTF题目为例 2 符号执行 • 在计算机科学中，符号执行技术指的是通过程序分析确定哪些输入会导致程序 产生特定执行结果的方法 • 如对于一个程序需要经过若干次操作才能跳转到某个函数 -符号执行技术分析所有能够跳转到该函数的路径，并对如何进入这些路径 进行计算，最终将计算结果展示出来 • 符号执行是计算机软件安全领域中的一个重要分支，用来辅助软件安全保障和 软件漏洞发现 • 其在产业界中也得到了广泛使用，在一些安全竞赛中也能够发挥不错的效果 -安全竞赛中程序的复杂度远不及学术界和产业界所研究的程序复杂度 3 angr • angr是一个用来对程序进行静态和动态的符号分析的Python框架 • angr及其一系列衍生的工具可以完成许多工作 -控制流图分析 -符号执行 -自动ROP构造 • 劫持程序的控制流，在CTF Pwn题目中经常用到，在漏洞发掘中也经常 用到 -自动补丁 • 向程序中的某个函数或者某种指令前插入自己的代码 4 angr的安装 • 以ubuntu为例 -sudo apt install python3-dev libffi-dev build-essential virtualenv • 安装python3环境及一系列支持库 -mkdir angr cd angr virtualenv -p python3 angr • 创建名为angr的文件夹，并在其中安装Python3虚拟环境 -source angr/bin/activate • 激活名为angr的Python3虚拟环境 -pip install angr • 在Python虚拟环境中安装angr 5 示例 • 二进制程序 - r100 • 解题代码 - r100.py 6 有用的练习 • /jakespringer/angr_ctf • https://docs.angr.io/examples 7