Abstract：

以太坊智能合约已在许多领域获得广泛应用，但其整个软件生命周期中的仍然存在许多函待解决的问题。本报告主要将从“发现问题”、“解决问题”这两个方面来进行阐述。

在第一部分，我们将从网络中的实证数据源进行深入研究，包括 Stack Overflow 上的问答帖子、安全公司的审计报告、已有的攻击事件等，以揭示智能合约开发中常见的软件工程问题，如合约设计缺陷、代码质量问题、以及合约的安全性和隐私性问题等。在第二部分，我们将针对第一部分中提出的具体问题，利用符号执行、污点分析等程序分析技术提出解决方案，以帮助开发者深入理解并修复可能存在的问题。

最后，我们将讨论软件工程与智能合约未来研究的可能方向。通过这篇报告，我们期望能为软件工程师和研究人员提供一份实用的指南，以更好地理解以太坊智能合约的软件工程问题，并推动智能合约技术的进一步发展和应用。

Bio:

陈嘉弛，中山大学“百人计划”助理教授，硕士生导师。2022年于澳大利亚蒙纳士大学获得博士学位，主要研究方向包括智能合约、经验软件工程、智能软件工程、软件可靠性等，重点关注智能合约监管、数据分析及可靠性分析。近年在TSE, TOSEM, ASE, ICSE, ISSTA INFOCOM等CCF A/B类软件工程、安全、网络等领域的国际会议和期刊发表论文20余篇。同时担任多个国际期刊和会议的审稿人。