Prerequisites:
- Rust https://sourabhbajaj.com/mac-setup/Rust/
- Foundry https://github.com/foundry-rs/foundry
- Python 3.6-3.9 https://www.freecodecamp.org/news/python-version-on-mac-update/
- Securify v2.0 https://github.com/eth-sri/securify2
- Mythril https://github.com/ConsenSys/mythril
- Oyente https://github.com/enzymefinance/oyente
$ npm install
- [findVerifiedContracts.js] - find verified contracts
- [findVulContracts.js] - find smart contracts vulnerabilities (bytecode analyzer using Mythril:https://github.com/ConsenSys/mythril)