[1907.03890] Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts - discu.eu

Hacker News

Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts https://arxiv.org/abs/1907.03890 17 comments 19/7/2019

Linking pages

GitHub - trailofbits/manticore: Symbolic execution tool https://github.com/trailofbits/manticore/ 0 comments

Related searches:

Search whole site: site:arxiv.org

Search title: [1907.03890] Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

See how to search.

Submit link to: