Based on mythril, we propose Ethsescan, Ethereum Smart Contract Automatic security audit Platform , where users can audit the Smart Contract programed in solidity.
The result will be displayed in types with HighLight, Piechart, Table and Text.
It runs atop a ACER laptop having an Intel Core i5-4210M CPU at 2.60GHz and 8.00G of RAM, running 64-bit Ubuntu 16.04 LTS.
python: 3.6.6
PyCharm：Professional
To compile the file .sol, you'll also need the solc.
You can run the project in PyCharm then type 127.0.0.1:8000/static/index.html to enter the page.
The result is like this:
Then you can type or paste the contract in the textarea.
And click the blue button to scan the contract,for a while,you will get the result.
Apart from this,we show the simple statistics with pie chart and table.
The detailed result will be displayed at the end of page.
If you have any question, please send message to [email protected]. Good luck.