Skip to content

Commit

Permalink
Add discussion of cfg graphing
Browse files Browse the repository at this point in the history
  • Loading branch information
rhelmot committed May 25, 2016
1 parent 365e9ea commit 539a248
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions docs/analyses/cfg.md
Original file line number Diff line number Diff line change
Expand Up @@ -114,6 +114,13 @@ Due to context sensitivity, a given basic block can have multiple nodes in the g
>>> print "Successors (and type of jump) of the entry point:", [ jumpkind + " to " + str(node.addr) for node,jumpkind in cfg.get_successors_and_jumpkind(entry_node) ]
```

### Viewing the CFG

Control-flow graph rendering is a hard problem.
angr does not provide any built-in mechanism for rendering the output of a CFG analysis, and attempting to use a traditional graph rendering library, like matplotlib, will result in an unusable image.

One solution for viewing angr CFGs is found in (axt's angr-utils repository)[https://github.com/axt/angr-utils].

## Shared Libraries

The CFG analysis does not distinguish between code from different binary objects.
Expand Down

0 comments on commit 539a248

Please sign in to comment.