# Manticore：面向二进制程序和智能合约的易用符号执行框架

> Manticore 使用动态符号执行分析二进制程序和以太坊智能合约。论文介绍其架构，并展示曾用于商业客户项目的漏洞发现和代码正确性验证能力。

- 作者：Mark Mossberg; Felipe Manzano; Eric Hennenfent; Alex Groce; Gustavo Grieco; Josselin Feist; Trent Brunson; Artem Dinaburg
- 原标题：Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
- 发表载体：arXiv
- 发表状态：预印本
- 出版／提交日期：2019 年 7 月 8 日
- 日期依据：arXiv 首次提交日期。
- arXiv 首次提交：2019 年 7 月 8 日
- arXiv：1907.03890
- 已复核的 arXiv 版本：v3
- 来源复核于：2026-11-06
- 收录于：2026-11-06
- 原始论文：<https://arxiv.org/abs/1907.03890>
- PDF：<https://arxiv.org/pdf/1907.03890>
- BibTeX：<https://awesomerea.org/papers/citations/paper-manticore.bib>
- 目录页面：<https://awesomerea.org/zh/papers/paper-manticore/>
- 记录 JSON：<https://awesomerea.org/papers/paper-manticore/record.json>
- 英文版：[English](https://awesomerea.org/papers/paper-manticore/index.md)

## 研究范围与局限

论文涵盖框架架构、可定制的 API，以及针对二进制程序和以太坊智能合约的能力展示。

## 与本合集的关联

它介绍了一个通过符号执行系统探索二进制程序行为的分析框架。

## 发表与复核说明

日期和发表场所来自 arXiv 记录。

## 一手来源

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

## 关于此条目

已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。
原创说明采用 MIT 许可；外部项目、论文与素材保留各自的权利和许可。