全文总字数：2777字
1. 毕业设计（论文）主要内容：
经过THEDAO事件、币安被盗等等事件，智能合约的安全性越来越受到业内关注。其代码安全审计也因此有了重大的研究价值。本设计要求实现智能合约漏洞信息及代码数据的自动采集，并将其与传统漏洞相比，分析智能合约的漏洞类型及漏洞原理。在明确漏洞原理的基础上实现智能合约代码的解析、代码表征以及漏洞特征的提取。利用提取到的特征，针对智能合约代码的特点，在符号执行与模糊测试等方法基础上，提出智能合约代码安全审计方法。
2. 毕业设计（论文）主要任务及要求
（1）查阅相关文献资料15篇以上（其中近5年外文文献不少于3篇）。
（2）完成开题报告及任务书。
（3）实现智能合约漏洞信息及代码数据的自动采集和漏洞特征的提取；针对智能合约，提出代码安全审计方法。
3. 毕业设计（论文）完成任务的计划与安排
（1）第1－4周：查阅相关文献资料，明确研究内容，了解研究所需理论基础。确定方案，完成开题报告。
（2）第5－6周：熟悉掌握基本理论，完成英文资料的翻译，熟悉相关工具软件的使用。
（3）第7－9周：完成对智能合约漏洞信息及代码数据的自动采集和漏洞特征的提取。
4. 主要参考文献
[1] Jingxuan He, Mislav Balunovic, NodarAmbroladze, Petar Tsankov, Martin T. Vechev: Learning to Fuzz from SymbolicExecution with Application to Smart Contracts. CCS 2019: 531-548
[2] Bo Jiang, Ye Liu, W. K. Chan:ContractFuzzer: fuzzing smart contracts for vulnerability detection. ASE 2018:259-269
[3] N. Atzei, M. Bartoletti, and T. Cimoli, Asurvey of attacks on ethereum smart contracts (sok), InternationalConference on Principles of Security and Trust, Springer, Year Published,pp. 164-186.
以上是毕业论文任务书，课题毕业论文、开题报告、外文翻译、程序设计、图纸设计等资料可联系客服协助查找。
