Maian Tool Repository on Docker: How to store contract retrieved from etherscan.io and what is ‘test.sol’

[zak100]

Hi,

I tried to execute the MAIAN tool on docker as suggested on the following link:
#26

They provided details of how to execute the MAIAN tool from docker. I am in the MAIAN tool repository on docker.
They have first tried to access the contract from docker:

https://etherscan.io/address/0xf3586684107ce0859c44aa2b2e0fb8cd8731a15a#code

The name of the contract is KaratBankCoin. They have not told where to store (or save) the contract on the repository.

Later on they used the command:

python maian.py -c 2 --soliditycode test.sol KaratBankCoin

Here both test.sol and KaratBankCoin are not in the repository so I am getting the error :

====================================================================================================
[ ] Compiling Solidity contract from the file test.sol ... [-] Contract file test.sol does NOT exist
[-] Contract KaratBankCoin does NOT exist

Because I don’t know what is test.sol and I don’t know how and where to store the KaratBankCoin contract retrieved from mainnet.

They have not provided any details about test.sol and how to store KaratBantCoin because we are in the Maian tool’s repository.

Somebody please guide me.

Zulfi.

[gsalzer]

test.sol is the Solidity source to analyze. Replace it by your source code. Since many source files contain several contracts, you have also to specify the name of the contract. Apparently, KaratBankCoin is a contract in test.sol.