Nikhil Parasaram
Nikhil Parasaram
Hi @HaveYouTall this bug might require 3 transactions for the error that may be a possible reason. But seems like something's wrong with the source code mapping, Is it possible...
@jpgong, You should set the `execution_timeout` when using MythrilAnalyze independently.
did you set `solver_timeout`?
`So isn’t this related to Laser ?` It may also be related to other modules like analysis modules, but most probably it's laser.
Thanks for pointing it out @yxliang01, we will look into it.
@yxliang01, not yet :sweat_smile: as this isn't in our current sprint.
Hi @damianlluch , can you paste the command on which this error popped up?
@saniales , it's worth it in supporting ARM64, but I am not sure if a raspberry pi would effectively be able to run Mythril unless your goal is running it...
Hi @ytrezq, The analysis is actually performed with a variable balance, but while reporting the vulnerability we try to show minimum possible balance for the attacker to exploit. And the...
@ytrezq , some transactions are also executed by creator who tries to trigger some functions which might result in those storage changes. It's like this: constructor is executed by CREATOR....