Long execution time

Description

I’m running Mythril on Ubuntu 18.04, and although it executes in a few seconds on sample contracts, when I run it on my own contract, it’s been running for over 2 hours now without any signs of life. It doesn’t appear to be hung, although I’m doubting that it should be taking this long.

Given that the contract being analyzed is 234 lines of code which creates a relatively straightforward token, I’m wondering if there’s an issue or if maybe I’m must not being patient enough?

I don’t see any reference in the documentation to what kind of timeline to expect, and I’m not seeing any live videos of anyone else using this, so I don’t really have a frame of reference. So any helpful input in this regard would be appreciated.

How to Reproduce

myth -x AyaCoin.sol Contract code: https://github.com/AyaCoin/AyaCoin-smart-contract/blob/master/AyaCoin.sol

Environment

Ubuntu: 18.04 Python: 3.6.5 Mythril: 0.18.11 Solc: 0.4.24+commit.e67f0147.Linux.g++

[norhh]

hey @AyaCoin , it’s not just 234 lines , it also adds all the libraries and analyses them through that too, so. I encountered a similar problem sometimes but in my case my pc got hung, can you mention the RAM of the PC you are using? Also you can try reducing the max-depth for getting faster results, but somethings might be missed. like myth -x AyaCoin.sol --max-depth 22 , 22 maxdepth is default, you can try reducing it to 15-16 and it might run.

[AyaCoin]

P.S. Thank you for developing such a helpful tool. I may have had difficulties installing it, but it’s hugely beneficial, and I very much appreciate the value it adds to the crypto community.