We dropped some information about Manticore, its future development plans, and how to recover control flow graphs from smart contracts in response to post by @Vera_B_E about it.https://twitter.com/trailofbits/status/1223386823084384256 …
-
Show this thread
ICYMI Manticore has a new release out today, 0.3.3! It now supports symbolic execution of WASM, which I bet is going to be very useful in 2020.https://blog.trailofbits.com/2020/01/31/symbolically-executing-webassembly-in-manticore/ …
0 replies
4 retweets
10 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.