面向智能合约的代码安全审计开题报告

1. 研究目的与意义（文献综述）

近年来，区块链在金融、供应链、医疗、教育、能源领域都有不同程度的应用[1]。区块链是一个共享的账簿，记录了自创建以来发生的所有交易和交换的所有数据。正如[2]中定义的那样，区块链维护着一个不断增长的记录列表，这个列表被称为块。每个区块包含许多交易，并且被链接到先前创建的区块，依次类推直到最开始的那个区块（创世区块），如图1所示[3]。

2. 研究的基本内容与方案

基本内容：

1. 实现智能合约漏洞信息及代码数据的采集，并将其与传统漏洞相比，分析智能合约的漏洞类型及漏洞原理。

2. 在明确漏洞原理的基础上实现智能合约代码的解析、代码表征以及漏洞特征的提取。

3. 研究计划与安排

2019.12.30至2020.03.16 查阅相关资料，完成开题报告工作

2020.03.17至2020.03.27 照任务书的要求，完成智能合约漏洞分析及代码数据采集，分析漏洞代码特征

2020.03.28至2020.04.02 熟悉智能合约领域现有的符号执行和模糊测试方法

4. 参考文献（12篇以上）

[1] 邱欣欣, 马兆丰, 徐明昆. 以太坊智能合约安全漏洞分析及对策[j]. 信息安全与通信保密,2019(02): 44-53.

[2] karst j j, brodar g. connectingmultiple devices with blockchain in the internet of things: res. paper seminarblockchain technol.(mtat. 03.323), tech. rep[c], 2017.

[3] zheng z, xie s, dai h, et al.blockchain challenges and opportunities: a survey[j]. international journal ofweb and grid services, 2018,14(4): 352-375.