# Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts

> 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.

- Authors: Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg
- 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
- Sources reviewed: 2026-11-06
- Added to the catalog: 2026-11-06
- Original paper: <https://arxiv.org/abs/1907.03890>
- PDF: <https://arxiv.org/pdf/1907.03890>
- BibTeX: <https://awesomerea.org/papers/citations/paper-manticore.bib>
- Catalog page: <https://awesomerea.org/papers/paper-manticore/>
- Record JSON: <https://awesomerea.org/papers/paper-manticore/record.json>
- Chinese version: [简体中文](https://awesomerea.org/zh/papers/paper-manticore/index.md)

## 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 notes

The date and venue come from the arXiv record.

## Primary sources

1. <https://arxiv.org/abs/1907.03890>

## About this entry

Reviewed against the paper and its primary sources. Cite the original authors using the linked paper or BibTeX.
Original editorial content: MIT. Linked projects, papers and assets retain their own rights and licenses.