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

MacOS

Mojave seems to be working with the current version, so this fixing might not be necessary. Will need to verify.

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, you might have to rebuild.

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

Issues

I want to use my github username and password via https

Comment out the GIT_ASKPASS=true line. Or, just use ssh.