@inproceedings{0512c00d829349098d54d40a068f7ff2,
title = "Manticore: A user-friendly symbolic execution framework for binaries and smart contracts",
abstract = "An effective way to maximize code coverage in software tests is through dynamic symbolic execution-a technique that uses constraint solving to systematically explore a program's state space. We introduce an open-source dynamic symbolic execution framework called Manticore for analyzing binaries and Ethereum smart contracts. Manticore's flexible architecture allows it to support both traditional and exotic execution environments, and its API allows users to customize their analysis. Here, we discuss Manticore's architecture and demonstrate the capabilities we have used to find bugs and verify the correctness of code for our commercial clients.",
keywords = "Ethereum, Manticore, Mcore, Smart contract, Symbolic execution",
author = "Mark Mossberg and Felipe Manzano and Eric Hennenfent and Alex Groce and Gustavo Grieco and Josselin Feist and Trent Brunson and Artem Dinaburg",
note = "Publisher Copyright: {\textcopyright} 2019 IEEE.; 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019 ; Conference date: 10-11-2019 Through 15-11-2019",
year = "2019",
month = nov,
doi = "10.1109/ASE.2019.00133",
language = "English (US)",
series = "Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1186--1189",
booktitle = "Proceedings - 2019 34th IEEE/ACM International Conference on Automated Software Engineering, ASE 2019",
}