Re: Smart contract analysis tool

Quote from: vv181 on December 03, 2021, 02:37:37 PM

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:

Quote from: https://github.com/ivicanikolicsg/MAIAN#supported-operating-systems-and-dependencies

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.