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 proceeding › Conference contribution
377
Link opens in a new tab
Scopus
citations