Re: Smart contract analysis tool

Quote from: PercT4b on December 05, 2021, 11:00:41 PM

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.

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?