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 …
-
Prikaži ovu nit
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
3 proslijeđena tweeta
7 korisnika označava da im se sviđa
Čini se da učitavanje traje već neko vrijeme.
Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.