2019 · Preprint

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

Manticore uses dynamic symbolic execution to analyze binaries and Ethereum smart contracts. The paper presents its architecture and demonstrates bug finding and code verification used for commercial clients.

Scope and limitations

The paper covers the framework’s architecture, customizable API, and demonstrations involving binaries and Ethereum smart contracts.

Why it fits this collection

It presents a framework for systematically exploring binary program behavior through symbolic execution.

Publication and review details

Venue: arXiv
Status: Preprint
Publication / posting date: July 8, 2019
Date source: First arXiv submission date.
First arXiv submission: July 8, 2019
arXiv: 1907.03890
Reviewed arXiv version: v3

The date and venue come from the arXiv record.

Sources reviewed 2026-11-06

Reviewed against the paper and its primary sources. Cite the original authors using the linked paper or BibTeX.

Report an outdated entry Suggest a translation fix

Primary sources

https://arxiv.org/abs/1907.03890