Top Level Interfaces

Before You Start
Using and exploring angr in IPython (or other Python command line interpreters) is a main use case that we design angr for. When you are not sure what interfaces are available, tab completion is your friend!
Sometimes tab completion in IPython can be slow. We find the following workaround helpful without degrading the validity of completion results:
1
# Drop this file in IPython profile's startup directory to avoid running it every time.
2
import IPython
3
py = IPython.get_ipython()
4
py.Completer.use_jedi = False
Copied!
Core Concepts
Before getting started with angr, you'll need to have a basic overview of some fundamental angr concepts and how to construct some basic angr objects. We'll go over this by examining what's directly available to you after you've loaded a binary!
Your first action with angr will always be to load a binary into a project. We'll use /bin/true for these examples.
1
>>> import angr
2
>>> proj = angr.Project('/bin/true')
Copied!
A project is your control base in angr. With it, you will be able to dispatch analyses and simulations on the executable you just loaded. Almost every single object you work with in angr will depend on the existence of a project in some form.
Basic properties
First, we have some basic properties about the project: its CPU architecture, its filename, and the address of its entry point.
1
>>> import monkeyhex # this will format numerical results in hexadecimal
2
>>> proj.arch
3
<Arch AMD64 (LE)>
4
>>> proj.entry
5
0x401670
6
>>> proj.filename
7
'/bin/true'
Copied!
arch is an instance of an archinfo.Arch object for whichever architecture the program is compiled, in this case little-endian amd64. It contains a ton of clerical data about the CPU it runs on, which you can peruse at your leisure. The common ones you care about are arch.bits, arch.bytes (that one is a @property declaration on the main Arch class), arch.name, and arch.memory_endness.
entry is the entry point of the binary!
filename is the absolute filename of the binary. Riveting stuff!
The loader
Getting from a binary file to its representation in a virtual address space is pretty complicated! We have a module called CLE to handle that. CLE's result, called the loader, is available in the .loader property. We'll get into detail on how to use this soon, but for now just know that you can use it to see the shared libraries that angr loaded alongside your program and perform basic queries about the loaded address space.
1
>>> proj.loader
2
<Loaded true, maps [0x400000:0x5004000]>
3
​
4
>>> proj.loader.shared_objects # may look a little different for you!
5
{'ld-linux-x86-64.so.2': <ELF Object ld-2.24.so, maps [0x2000000:0x2227167]>,
6
 'libc.so.6': <ELF Object libc-2.24.so, maps [0x1000000:0x13c699f]>}
7
​
8
>>> proj.loader.min_addr
9
0x400000
10
>>> proj.loader.max_addr
11
0x5004000
12
​
13
>>> proj.loader.main_object  # we've loaded several binaries into this project. Here's the main one!
14
<ELF Object true, maps [0x400000:0x60721f]>
15
​
16
>>> proj.loader.main_object.execstack  # sample query: does this binary have an executable stack?
17
False
18
>>> proj.loader.main_object.pic  # sample query: is this binary position-independent?
19
True
Copied!
The factory
There are a lot of classes in angr, and most of them require a project to be instantiated. Instead of making you pass around the project everywhere, we provide project.factory, which has several convenient constructors for common objects you'll want to use frequently.
This section will also serve as an introduction to several basic angr concepts. Strap in!
Blocks
First, we have project.factory.block(), which is used to extract a basic block of code from a given address. This is an important fact - angr analyzes code in units of basic blocks. You will get back a Block object, which can tell you lots of fun things about the block of code:
1
>>> block = proj.factory.block(proj.entry) # lift a block of code from the program's entry point
2
<Block for 0x401670, 42 bytes>
3
​
4
>>> block.pp()                          # pretty-print a disassembly to stdout
5
0x401670:       xor     ebp, ebp
6
0x401672:       mov     r9, rdx
7
0x401675:       pop     rsi
8
0x401676:       mov     rdx, rsp
9
0x401679:       and     rsp, 0xfffffffffffffff0
10
0x40167d:       push    rax
11
0x40167e:       push    rsp
12
0x40167f:       lea     r8, [rip + 0x2e2a]
13
0x401686:       lea     rcx, [rip + 0x2db3]
14
0x40168d:       lea     rdi, [rip - 0xd4]
15
0x401694:       call    qword ptr [rip + 0x205866]
16
​
17
>>> block.instructions                  # how many instructions are there?
18
0xb
19
>>> block.instruction_addrs             # what are the addresses of the instructions?
20
[0x401670, 0x401672, 0x401675, 0x401676, 0x401679, 0x40167d, 0x40167e, 0x40167f, 0x401686, 0x40168d, 0x401694]
Copied!
Additionally, you can use a Block object to get other representations of the block of code:
1
>>> block.capstone                       # capstone disassembly
2
<CapstoneBlock for 0x401670>
3
>>> block.vex                            # VEX IRSB (that's a Python internal address, not a program address)
4
<pyvex.block.IRSB at 0x7706330>
Copied!
States
Here's another fact about angr - the Project object only represents an "initialization image" for the program. When you're performing execution with angr, you are working with a specific object representing a simulated program state - a SimState. Let's grab one right now!
1
>>> state = proj.factory.entry_state()
2
<SimState @ 0x401670>
Copied!
A SimState contains a program's memory, registers, filesystem data... any "live data" that can be changed by execution has a home in the state. We'll cover how to interact with states in depth later, but for now, let's use state.regsand state.mem to access the registers and memory of this state:
1
>>> state.regs.rip        # get the current instruction pointer
2
<BV64 0x401670>
3
>>> state.regs.rax
4
<BV64 0x1c>
5
>>> state.mem[proj.entry].int.resolved  # interpret the memory at the entry point as a C int
6
<BV32 0x8949ed31>
Copied!
Those aren't Python ints! Those are bitvectors. Python integers don't have the same semantics as words on a CPU, e.g. wrapping on overflow, so we work with bitvectors, which you can think of as an integer as represented by a series of bits, to represent CPU data in angr. Note that each bitvector has a .length property describing how wide it is in bits.
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:
1
>>> bv = state.solver.BVV(0x1234, 32)       # create a 32-bit-wide bitvector with value 0x1234
2
<BV32 0x1234>                               # BVV stands for bitvector value
3
>>> state.solver.eval(bv)                # convert to Python int
4
0x1234
Copied!
You can store these bitvectors back to registers and memory, or you can directly store a Python integer and it'll be converted to a bitvector of the appropriate size:
1
>>> state.regs.rsi = state.solver.BVV(3, 64)
2
>>> state.regs.rsi
3
<BV64 0x3>
4
​
5
>>> state.mem[0x1000].long = 4
6
>>> state.mem[0x1000].long.resolved
7
<BV64 0x4>
Copied!
The mem interface is a little confusing at first, since it's using some pretty hefty Python magic. The short version of how to use it is:
Use array[index] notation to specify an address
Use .<type> to specify that the memory should be interpreted as <type> (common values: char, short, int, long, size_t, uint8_t, uint16_t...)
From there, you can either:
Store a value to it, either a bitvector or a Python int
Use .resolved to get the value as a bitvector
Use .concrete to get the value as a Python int
There are more advanced usages that will be covered later!
Finally, if you try reading some more registers you may encounter a very strange looking value:
1
>>> state.regs.rdi
2
<BV64 reg_48_11_64{UNINITIALIZED}>
Copied!
This is still a 64-bit bitvector, but it doesn't contain a numerical value. Instead, it has a name! This is called a symbolic variable and it is the underpinning of symbolic execution. Don't panic! We will discuss all of this in detail exactly two chapters from now.
Simulation Managers
If a state lets us represent a program at a given point in time, there must be a way to get it to the next point in time. A simulation manager is the primary interface in angr for performing execution, simulation, whatever you want to call it, with states. As a brief introduction, let's show how to tick that state we created earlier forward a few basic blocks.
First, we create the simulation manager we're going to be using. The constructor can take a state or a list of states.
1
>>> simgr = proj.factory.simulation_manager(state)
2
<SimulationManager with 1 active>
3
>>> simgr.active
4
[<SimState @ 0x401670>]
Copied!
A simulation manager can contain several stashes of states. The default stash, active, is initialized with the state we passed in. We could look at simgr.active[0] to look at our state some more, if we haven't had enough!
Now... get ready, we're going to do some execution.
1
>>> simgr.step()
Copied!
We've just performed a basic block's worth of symbolic execution! We can look at the active stash again, noticing that it's been updated, and furthermore, that it has not modified our original state. SimState objects are treated as immutable by execution - you can safely use a single state as a "base" for multiple rounds of execution.
1
>>> simgr.active
2
[<SimState @ 0x1020300>]
3
>>> simgr.active[0].regs.rip                 # new and exciting!
4
<BV64 0x1020300>
5
>>> state.regs.rip                           # still the same!
6
<BV64 0x401670>
Copied!
/bin/true isn't a very good example for describing how to do interesting things with symbolic execution, so we'll stop here for now.
Analyses
angr comes pre-packaged with several built-in analyses that you can use to extract some fun kinds of information from a program. Here they are:
1
>>> proj.analyses.            # Press TAB here in ipython to get an autocomplete-listing of everything:
2
 proj.analyses.BackwardSlice        proj.analyses.CongruencyCheck      proj.analyses.reload_analyses       
3
 proj.analyses.BinaryOptimizer      proj.analyses.DDG                  proj.analyses.StaticHooker          
4
 proj.analyses.BinDiff              proj.analyses.DFG                  proj.analyses.VariableRecovery      
5
 proj.analyses.BoyScout             proj.analyses.Disassembly          proj.analyses.VariableRecoveryFast  
6
 proj.analyses.CDG                  proj.analyses.GirlScout            proj.analyses.Veritesting           
7
 proj.analyses.CFG                  proj.analyses.Identifier           proj.analyses.VFG                   
8
 proj.analyses.CFGEmulated          proj.analyses.LoopFinder           proj.analyses.VSA_DDG               
9
 proj.analyses.CFGFast              proj.analyses.Reassembler
Copied!
A couple of these are documented later in this book, but in general, if you want to find how to use a given analysis, you should look in the api documentation. As an extremely brief example: here's how you construct and use a quick control-flow graph:
1
# Originally, when we loaded this binary it also loaded all its dependencies into the same virtual address  space
2
# This is undesirable for most analysis.
3
>>> proj = angr.Project('/bin/true', auto_load_libs=False)
4
>>> cfg = proj.analyses.CFGFast()
5
<CFGFast Analysis Result at 0x2d85130>
6
​
7
# cfg.graph is a networkx DiGraph full of CFGNode instances
8
# You should go look up the networkx APIs to learn how to use this!
9
>>> cfg.graph
10
<networkx.classes.digraph.DiGraph at 0x2da43a0>
11
>>> len(cfg.graph.nodes())
12
951
13
​
14
# To get the CFGNode for a given address, use cfg.get_any_node
15
>>> entry_node = cfg.get_any_node(proj.entry)
16
>>> len(list(cfg.graph.successors(entry_node)))
17
2
Copied!
Now what?
Having read this page, you should now be acquainted with several important angr concepts: basic blocks, states, bitvectors, simulation managers, and analyses. You can't really do anything interesting besides just use angr as a glorified debugger, though! Keep reading, and you will unlock deeper powers...
Core Concepts
Loading a Binary
Last modified 6d ago
Export as PDF
Copy link
Contents