Check out the symbolic executor for EVM in Manticore. It's lacking a UI but it works great and it's open source:https://github.com/trailofbits/manticore/pull/521 …
Replying to @muellerberndt
Let me know if you need any help with it. We open sourced a bunch of vuln test cases today too:https://github.com/trailofbits/not-so-smart-contracts …
0 replies
0 retweets
3 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.