Skip to content

Instantly share code, notes, and snippets.

@KONFeature
Created October 7, 2022 14:28
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
Star You must be signed in to star a gist
Embed
What would you like to do?
Run all the security script from the tools folder
#!/bin/bash
# Assert we are on the root folder
if [ ! -d "contracts" ]; then
echo "error: script needs to be run from project root './tools/run-all.sh'"
exit 1
fi
# Run slither analysis
./tools/slither/slither.sh > tools/logs/slither-output.log
# Run mythril analysis
./tools/mythril/mythril.sh > tools/logs/mythril-output.log
# Run manticore analysis
./tools/manticore/manticore.sh > tools/logs/manticore-output.log
# Run echidna analysis
./tools/echidna/echidna.sh > tools/logs/echidna-output.log
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment