Developer installation

Developer Installation using pyenv

Install pyenv and pyenv-virtualenv if you don't have them already.

git clone https://github.com/trailofbits/slither
cd slither
pyenv virtualenv slitherdev
echo "slitherdev" > .python-version

Make sure the slitherdev environment is activated using pyenv virtualenvs

Now run pip install -e ".[dev]"

Slither is now installed to the local slitherdev environment.

Setting up IDE-based debugging

1. Configure your IDE to use $(pyenv root)/slitherdev/bin/python as the interpreter.
2. Use slither as the entrypoint for the debugger.

Developer Installation using Virtualenvs

Use virtualenv to install a developer version of Slither (up-to-date with master):

pip3 install virtualenvwrapper
source /usr/local/bin/virtualenvwrapper.sh
mkvirtualenv --python=`which python3` slither-dev
git clone https://github.com/trailofbits/slither
cd slither
pip install -e ".[dev]"

Start a shell with the Slither virtual environment by running:

workon slither-dev

Update Slither by running git pull from the slither directory.