{
  "added_at": "2026-11-06",
  "arxiv_id": "1907.03890",
  "arxiv_version_reviewed": "v3",
  "authors": [
    "Mark Mossberg",
    "Felipe Manzano",
    "Eric Hennenfent",
    "Alex Groce",
    "Gustavo Grieco",
    "Josselin Feist",
    "Trent Brunson",
    "Artem Dinaburg"
  ],
  "bibtex_url": "https://awesomerea.org/papers/citations/paper-manticore.bib",
  "code_url": null,
  "date_basis": "First arXiv submission date.",
  "date_basis_zh": "arXiv 首次提交日期。",
  "date_precision": "day",
  "description_en": "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.",
  "description_zh": "Manticore 使用动态符号执行分析二进制程序和以太坊智能合约。论文介绍其架构，并展示曾用于商业客户项目的漏洞发现和代码正确性验证能力。",
  "doi": null,
  "entry_url": "https://awesomerea.org/papers/paper-manticore/",
  "entry_url_zh": "https://awesomerea.org/zh/papers/paper-manticore/",
  "evidence_urls": [
    "https://arxiv.org/abs/1907.03890"
  ],
  "first_arxiv_date": "2019-07-08",
  "id": "paper-manticore",
  "json_url": "https://awesomerea.org/papers/paper-manticore/record.json",
  "kind": "research",
  "markdown_url": "https://awesomerea.org/papers/paper-manticore/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/papers/paper-manticore/index.md",
  "metadata_notes": "The date and venue come from the arXiv record.",
  "metadata_notes_zh": "日期和发表场所来自 arXiv 记录。",
  "pdf_url": "https://arxiv.org/pdf/1907.03890",
  "project_url": null,
  "publication_date": "2019-07-08",
  "publication_status": "preprint",
  "record_type": "paper",
  "runtime_tested": false,
  "scope_limitations_en": "The paper covers the framework’s architecture, customizable API, and demonstrations involving binaries and Ethereum smart contracts.",
  "scope_limitations_zh": "论文涵盖框架架构、可定制的 API，以及针对二进制程序和以太坊智能合约的能力展示。",
  "targets": [
    "binary"
  ],
  "title": "Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts",
  "title_zh": "Manticore：面向二进制程序和智能合约的易用符号执行框架",
  "url": "https://arxiv.org/abs/1907.03890",
  "venue": "arXiv",
  "verification": "source-reviewed",
  "verified_at": "2026-11-06",
  "why_fits_en": "It presents a framework for systematically exploring binary program behavior through symbolic execution.",
  "why_fits_zh": "它介绍了一个通过符号执行系统探索二进制程序行为的分析框架。",
  "year": 2019
}