Manticore: A user-friendly symbolic execution framework for binaries and smart contracts

Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, Artem Dinaburg

Research output: Chapter in Book/Report/Conference proceedingConference contribution

69 Scopus citations

Fingerprint

Dive into the research topics of 'Manticore: A user-friendly symbolic execution framework for binaries and smart contracts'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science