INSTALLATION INTRUCTIONS - Download the Docker Image

[TheyGiveMeMoney]

I got this working with the docker image released by cryptomental
here: https://hub.docker.com/r/cryptomental/augur-mythril-ci

Step 1: Install Docker (Youtube it, Google it, Check the Docs for Docker, >>> to see how to install)

Step 2: pull in your terminal with this >>>> sudo docker pull cryptomental/maian-augur-ci
(SHOULD GIVE THIS OUTPUT MINUS THIS OF COURSE)

                    Using default tag: latest

                    latest: Pulling from cryptomental/maian-augur-ci

                    297061f60c36: Pull complete 

                    e9ccef17b516: Pull complete 

                    dbc33716854d: Pull complete 

                    8fe36b178d25: Pull complete 

                    686596545a94: Pull complete 

                    d9e4fa657851: Pull complete 

                    3d2ddddda059: Pull complete 

                    33634fb74dc7: Pull complete 

                    29360afad3e1: Pull complete 

                    ea3cad5aab8a: Pull complete 

                    b3af110e007a: Pull complete 

                    91f81720004e: Pull complete 

                    b4e47447f95c: Pull complete 

                    64c7eb0de898: Pull complete 

                    Digest: sha256:e838a693f05fded4d8c57758307632090d48d1d0b097057cebaf182479a95aa0

                    Status: Downloaded newer image for cryptomental/maian-augur-ci:latest

                    docker.io/cryptomental/maian-augur-ci:latest

Step 3: Run the instance of this Docker Image with This >>>>>>>> sudo docker run -it cryptomental/maian-augur-ci
(ITS JUST GONNA GIVE YOU SOMETHING LIKE THIS)

root@b0df642a0897:/#

^^^ can look like any numbers like root@b0f438928f:/# its just telling you its ready for input

Step 4: type THIS >>>>> ls
(HIT ENTER)
(TYPICAL list COMMAND HOPEFULLY YOU CAN SEE WHAT TO DO HERE BUT IF NOT, LETS GO)

Step 5: type THIS >>>>> cd MAIAN/
(HIT ENTER)

Step 6: type THIS >>>>> ls
(HIT ENTER)

Step 7: type THIS >>>>> cd tool/
(HIT ENTER)

Step 8: Here you can list all the contents again with the ( > ls) command >> this one >>>> ls
(HIT ENTER)

STEP 8: Run any of these example commands

python maian.py -s example_contracts/example_suicidal.sol KAI -c 0

python maian.py -b example_contracts/example_suicidal.bytecode -c 0

python maian.py -bs example_contracts/example_suicidal.bytecode_source -c 0

python maian.py -s example_contracts/example_prodigal.sol Adoption -c 1

python maian.py -b example_contracts/example_prodigal.bytecode -c 1

python maian.py -bs example_contracts/example_prodigal.bytecode_source -c 1

python maian.py -b example_contracts/example_greedy.bytecode -c 2

python maian.py -s example_contracts/ParityWalletLibrary.sol WalletLibrary -c 0

Some Sheeeiet im trynna do rn is work on changing the compiler version to a more updated technique from like solc version 4 to solc version 7.6 atleast any help will be greatly appreciated 👍

This was just for anyone struggling to even see what this S__T does and it took me a long ahh time just to figure it out
Its pretty cool,

hope this helps

[L-e-w-y]

thx