slither-instructions.md

Setup

Install virtualenv

sudo apt install virtualenv

Install virtualenvwrapper

sudo pip install virtualenv
sudo pip install virtualenvwrapper

Add the following to the end of the .bashrc file

export WORKON_HOME=~/.virtualenvs
export VIRTUALENVWRAPPER_PYTHON=/usr/bin/python3
source ~/.local/bin/virtualenvwrapper.sh

Execute the .bashrc file

source ~/.bashrc

sudo ln /usr/bin/python3 /usr/bin/python
git clone https://github.com/crytic/slither.git && cd slither
mkvirtualenv --python=`which python3` slither-dev
python setup.py develop

Usage

cd slither
git pull
workon slither-dev
python setup.py develop

# analyze complete (eg. hardhat) project
cd ../project
slither .

# print info
slither --print variable-order

Troubleshooting

• Install solc-select and select correct version
• Various solc versions used in project? Analyze individual files
• Individual files have dependencies in node_modules?
  • like: solc --allow-paths=$(pwd) @openzeppelin/=$(pwd)/node_modules/@openzeppelin/ contracts/Contract.sol
  • run: slither --solc-remaps @openzeppelin/=$(pwd)/node_modules/@openzeppelin/ contracts/Contract.sol