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

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

Alternatively, you can use the dockerfile:

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

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

No. This is because GitHub does not differentiate between "a non-existent repo" and "a private repo" (which they should not), and we cannot correctly handle this in our script right now.

Here are two solutions:

• Check out angr-dev using [email protected]:angr/angr-dev.git instead of https. This requires you to have a GitHub account.

or

• Run the following command instead:

setsid sh -c 'tty; ps -jp "$$"; ./angr-dev/setup.sh <your arguments go here>' < /dev/null