我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：提出面向智能合约的工业级灰盒模糊测试器 Harvey

本文提出 Harvey，一个面向智能合约的工业级灰盒模糊测试器。智能合约是在区块链上管理账户的程序，其执行往往涉及账户状态与交易序列，因此需要针对性的测试与缺陷发现手段。Harvey 采用灰盒 fuzzing 思路，自动生成并执行输入以探索合约行为。摘要仅说明该工具已被提出并定位于工业场景，未给出具体算法、实验基准或量化结果，因此其核心贡献可概括为将灰盒模糊测试技术工程化地应用于智能合约这一领域特定程序形态。

问题

智能合约是在区块链上管理账户的程序，如何对其进行有效的自动化测试与缺陷发现是本文关注的问题；摘要未展开更具体的问题背景。

方法

提出并实现工业级灰盒模糊测试器 Harvey，面向智能合约进行灰盒 fuzzing。

评估

摘要未报告评估方法或实验结果，仅将 Harvey 定位为工业级工具。

链接与引用

DOI 原文 · PDF（开放获取） ·

@inproceedings{paperbot5798,
  title = {Harvey: a greybox fuzzer for smart contracts},
  author = {Valentin Wüstholz and Maria Christakis},
  booktitle = {FSE},
  year = {2020},
  doi = {10.1145/3368089.3417064}
}