Skip to content
Some helper scripts to set up an environment for angr development.
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
admin
tests spelling. Mar 28, 2019
.gitignore
.travis.yml
Dockerfile Fixing docker again Feb 22, 2019
LICENSE added license Sep 9, 2015
README.md
extremely-simple-setup.sh
fix_macOS.sh
git_all.bat
git_all.sh
pylintrc disable superfluous-parens pylint message as we prepare for py3k Sep 1, 2017
pypy_venv.sh
setup.bat Hopefully fix appveyor Oct 2, 2018
setup.sh
standard_logging.py Add standard_logging.py, moved from angr-doc Mar 20, 2016

README.md

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.

You can’t perform that action at this time.