在开始使用angr之前，您需要对一些基本的angr概念以及如何构建一些基本的angr对象有一些基本的了解。

使用angr的第一个操作肯定是加载一个二进制文件生成 project。我们使用/bin/true作为演示。

在angr中project是控制的基础。你可以使用angr对加载的可执行文件进行分析和模拟。

首先，了解一下project的一些基本属性：CPU架构，文件名，入口地址。

从二进制文件到虚拟地址空间中的表示非常复杂！我们有个叫CLE的模块来处理这个。CLE的结果称为加载器，通过.loader属性来调用。我们[很快]（./loading.md）将详细介绍如何使用，现在只需要直到可以使用它来查看与程序一起加载的共享库和查询加载的地址空间。

angr中有很多类，大多需要实例化的project。为了不让你到处传递project，我们提供了project.factory，有几个方便的你经常会使用的常见对象的构造函数。

本节还将介绍几种基本的angr概念。

首先，project.factory.block()用来提取给定地址代码的基本块（basic block）。angr就是以基本块为单位进行代码分析。你可以用Block对象来获取到很多有关代码块的有趣的东西。

此外，您可以使用Block对象来获取代码块的其他表示形式：

另外，Project对象只代表程序的一个初始镜像。在执行angr分析时，是通过表示simulated program state的特殊对象SimState进行工作的。

SimState包括程序的内存、寄存器、文件系统数据…任何可通过执行改变的“实时数据”都能在SimState中找到。我们将在后面讨论如何与state进行深入交互，但是现在，让我们使用state.regs和state.mem来访问state的寄存器和内存：

这些不是python的int！而是bitvectors。python的整形和CPU中没有相同的语义，比如包装溢出，所以我们使用bitvector，您可以将其视为由一系列位表示的整数，以表示angr中的CPU数据。注意，每个bitvector都有.length属性来表述位的宽度。

我们将很快了解如何使用它们，但是现在，先看看如何从python int转换为bitvectors，再转换回去： We’ll learn all about how to work with them soon, but for now, here’s how to convert from python ints to bitvectors and back again:

您可以将这些位bitvector存储回寄存器和内存，也可以直接存储python整数，它会被转换为适当大小的bitvector：

mem接口看起来有点让人困惑，因为它使用了一些python的语法糖，下面是使用它的简单方法：

有更多高级用法将在稍后介绍！

最后，如果您尝试读取其他寄存器，您可能会遇到一个看起来奇怪的值：

这仍然是64位bitvector，但它不包含数值。 但它有个名字。 这种叫做符号变量（symbolic variable），它是符号执行的基本。 别急！我们将从现在开始会用这两个章节详细讨论这些。

state表示一个指定时间的程序运行状态，需要有一种方法将它及时传给next点。simulation manager在angr中是主要接口，用于执行，模拟，通过state你可以想怎么调用它干啥都行。为简要介绍，让我们展示如何tick我们之前创建的state转发给几个基本块。

首先，创建一个simulation manager。构造函数可以传入一个state或一个state的列表。

simulation manager可以包含多个stash状态。默认的stash是active，是我们传入的state初始化的。我们可以通过simgr.active[0]来查看更多的状态。

现在，我们会做一些执行。

刚刚只是执行了一个基本块的符号执行！我们可以再看看active的stash，发现它已经被更新，但它没有修改我们原始的状态。SimState对象执行中是不可变的，你可以安全地在多轮执行中使用单个state。

/bin/true不是描述如何用符号执行做有趣事情的一个很好的例子，我们这里不在深入。

angr预先打包了几个内置分析，您可以使用它们从程序中提取一些有趣的信息。 他们是：

在本书后面会介绍其中一些内容，但通常你可以通过api 文档来看如何使用一个内置的分析。作为一个非常简短的例子：下面看看如何构建和使用快速控制流图：

阅读本页后，您现在应该了解几个重要的angr概念：基本块，状态，位向量(bitvectors)，模拟管理器和分析。 除了不能使用angr作为一个很好的调试器之外，你真的做任何有趣的事情！ 继续阅读，你将解锁更深层次的能力……

摘要 | 下一节：加载二进制文件

若有收获，就点个赞吧

0 人点赞