TY  - RPRT
TI  - Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
AU  - Mark Mossberg
AU  - Felipe Manzano
AU  - Eric Hennenfent
AU  - Alex Groce
AU  - Gustavo Grieco
AU  - Josselin Feist
AU  - Trent Brunson
AU  - Artem Dinaburg
PY  - 2019
UR  - https://arxiv.org/abs/1907.03890
ID  - 1907.03890
ER  -