New top story on Hacker News: Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts

Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts
3 by galapago | 0 comments on Hacker News.