I noted 5 developments we've made in our blog post. Manticore 0.1.5 with EVM support is being released today!
-
-
Show this thread
-
Manticore is the tool you want for tracking down tricky mathematical corner cases. We use it regularly on audits, and it works!
Show this thread -
We'll be writing up technical blog posts for each of our smart contract auditing tools, and case studies of our audits in coming weeks.
Show this thread
End of conversation
New conversation -
-
-
Ha! :D Congrats.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.