angr-dev

This is a repository to make installing a development version of angr easier.

Install

To set up angr for development, automatically install dependencies, and automatically create a python virtualenv, do:

./setup.sh -i -e angr

This will grab and install angr. You can launch it with:

$ workon angr
(angr) $ ipython
[1] import angr

If you are working on macOS, you have to run the fix_macOS.sh script while in your virtualenv to fix the native libraries in angr. This is necessary, since macOS introduced restrictions for relative paths in dynamic libraries.

./fix_macOS.sh

Install (docker)

Alternatively, you can use the dockerfile:

$ docker build -t angr - < angr-dev/Dockerfile
$ docker run -it angr

Updating

To update angr, simply pull all the git repositories.

./git_all.sh pull

For repositories that have C components (pyvex), you might have to rebuild.

pip install -e ./pyvex && pip install -e ./simuvex

Issues

I want to use my github username and password via https