2019 · 预印本
Manticore：面向二进制程序和智能合约的易用符号执行框架
Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
Manticore 使用动态符号执行分析二进制程序和以太坊智能合约。论文介绍其架构，并展示曾用于商业客户项目的漏洞发现和代码正确性验证能力。
研究范围与局限
论文涵盖框架架构、可定制的 API，以及针对二进制程序和以太坊智能合约的能力展示。
与本合集的关联
它介绍了一个通过符号执行系统探索二进制程序行为的分析框架。
发表与复核详情
- 发表载体
- arXiv
- 发表状态
- 预印本
- 出版／提交日期
- 2019 年 7 月 8 日
- 日期依据
- arXiv 首次提交日期。
- arXiv 首次提交
- 2019 年 7 月 8 日
- arXiv
- 1907.03890
- 已复核的 arXiv 版本
- v3
日期和发表场所来自 arXiv 记录。
来源复核于
已依据论文及一手来源复核。请通过原始论文或 BibTeX 引用原作者。