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
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
- 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
- like: