I'm looking forward to all the great work we'll do with the @EntEthAlliancehttps://twitter.com/trailofbits/status/920980625347301378 …
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
I noted 5 developments we've made in our blog post. Manticore 0.1.5 with EVM support is being released today!
Manticore is the tool you want for tracking down tricky mathematical corner cases. We use it regularly on audits, and it works!
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.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.