https://medium.com/@maxime.atton/checking-ethereum-smart-contracts-for-vulnerabilities-using-mythril-a-step-by-step-guide-2c8b5f1ae4de
