Smart contract analysis tool

[PercT4b]

It's been a while since I started searching for MAIAN, a tool that could analyze for me the contract I'm writing and look for vulnerabilities (remix's compiler is driving me insane and, to be honest, I wasn't expecting coding to be so difficult), but seems quite nowhere to be found.


Does anybody know how to find it?...or at least recommend a similar tool that could do such a task?


P.S: I'm starting to think that it has been removed from the Internet because, actually, in the wrong hands could lead to numerous disasters.

[odolvlobo]

You can find it here: https://github.com/ivicanikolicsg/MAIAN

[PercT4b]

You can find it here: https://github.com/ivicanikolicsg/MAIAN

Thank you so much for the link, basically is the only source available if you want to install MAIAN, but "how" is another question mark, because I can't see much information about the installation procedure.

Could you give me a hint on how to do that?

[vv181]

Have you seen the readme file on that page? Basically what dependencies and how to install and run its information are available on that page. There might be not a clear enough step-by-step installation process, but the information given should be good to start.

See this section:

Supported Operating Systems and Dependencies

Maian should run smoothly on Linux (we've checked on Ubuntu/Mint) and MacOS. Our attempts to run it on Windows have failed. The list of dependencies is as follows:

    Go Ethereum, check https://ethereum.github.io/go-ethereum/install/
    Solidity compiler, check http://solidity.readthedocs.io/en/develop/installing-solidity.html
    Z3 Theorem prover, check https://github.com/Z3Prover/z3
    web3, try pip install web3
    PyQt5 (only for GUI Maian), try sudo apt install python-pyqt5

[PercT4b]

Have you seen the readme file on that page? Basically what dependencies and how to install and run its information are available on that page. There might be not a clear enough step-by-step installation process, but the information given should be good to start.

See this section:

Supported Operating Systems and Dependencies

Maian should run smoothly on Linux (we've checked on Ubuntu/Mint) and MacOS. Our attempts to run it on Windows have failed. The list of dependencies is as follows:

    Go Ethereum, check https://ethereum.github.io/go-ethereum/install/
    Solidity compiler, check http://solidity.readthedocs.io/en/develop/installing-solidity.html
    Z3 Theorem prover, check https://github.com/Z3Prover/z3
    web3, try pip install web3
    PyQt5 (only for GUI Maian), try sudo apt install python-pyqt5

Here I am again, It's been quite difficult to obtain all the necessary dependencies but I made it, the problem is that I still don't understand if MAIAN is a standalone software or it's part of another thing (maybe Python, I don't know).
Because the main installation file is apparently unlocatable, and calling commands via terminal doesn't lead to anything.

[vv181]

Have you seen the readme file on that page? Basically what dependencies and how to install and run its information are available on that page. There might be not a clear enough step-by-step installation process, but the information given should be good to start.

See this section:

Supported Operating Systems and Dependencies

Maian should run smoothly on Linux (we've checked on Ubuntu/Mint) and MacOS. Our attempts to run it on Windows have failed. The list of dependencies is as follows:

    Go Ethereum, check https://ethereum.github.io/go-ethereum/install/
    Solidity compiler, check http://solidity.readthedocs.io/en/develop/installing-solidity.html
    Z3 Theorem prover, check https://github.com/Z3Prover/z3
    web3, try pip install web3
    PyQt5 (only for GUI Maian), try sudo apt install python-pyqt5

Here I am again, It's been quite difficult to obtain all the necessary dependencies but I made it, the problem is that I still don't understand if MAIAN is a standalone software or it's part of another thing (maybe Python, I don't know).
Because the main installation file is apparently unlocatable, and calling commands via terminal doesn't lead to anything.

MAIAN itself is standalone software, it is just the code itself haven't been bundled into a standalone application.

If you manage to install all the required dependencies, you should be able to run MAIAN. Download or clone the repository above, on your terminal, open the "tool" folder up. And then run python gui-maian.py.

You need to run the application directly on the code, so there is no installation file. Also, when you try to run it on the terminal, what does it show? any output from the terminal itself?