As blockchain technology continues to advance, the secure deployment of smart contracts has become increasingly prevalent, underscoring the critical need for robust security measures. This surge in usage has led to a rise in security breaches, often resulting in substantial financial losses for users. This paper presents a comprehensive survey of smart contract quality assurance, from understanding vulnerabilities to evaluating the effectiveness of detection tools. Our work is notable for its innovative classification of forty smart contract vulnerabilities, mapping them to established attack patterns. We further examine nine defense mechanisms, assessing their efficacy in mitigating smart contract attacks. Furthermore, we develop a labeled dataset as a benchmark encompassing ten common vulnerability types, which serves as a critical resource for future research. We also conduct comprehensive experiments to evaluate fourteen vulnerability detection tools, providing a comparative analysis that highlights their strengths and limitations. In summary, this survey synthesizes state-of-the-art knowledge in smart contract security, offering practical recommendations to guide future research and foster the development of robust security practices in the field.

Zhiyuan Wei

Jing Sun

Zijian Zhang

Xianhao Zhang

Xiaoxuan Yang

Liehuang Zhu

ACM Computing Surveys

这些全面、易读的调查和辅导论文提供了文献导览，并向那些寻求以一种易于理解的方式学习其专业以外领域基础知识的人解释主题。计算调查 (CSUR) 中精心策划和介绍的介绍也是研究人员和专业人士发展观点和识别复杂技术趋势的绝佳方式。以新颖有趣的方式将现有和新兴技术（如机器学习）与各种科学和工程领域联系起来的贡献也受到欢迎。

ACM Computing Surveys is a journal that offers comprehensive and accessible survey and tutorial papers. These papers provide literature overviews and explain foundational knowledge in various fields in an easy-to-understand manner, making them ideal for those looking to broaden their expertise. The carefully curated introductions in Computing Surveys (CSUR) help researchers and professionals develop insights and identify complex technological trends. Contributions that connect existing and emerging technologies, such as machine learning, with various scientific and engineering domains in novel and engaging ways are also welcomed.

《ACM Computing Surveys》是一本提供全面、易读的调查和指导论文的期刊。这些论文不仅为读者提供文献导览，还以易于理解的方式解释了各个领域的基础知识，特别适合那些希望拓宽专业知识的人士。计算调查 (CSUR) 中精心策划的介绍部分，帮助研究人员和专业人士发展观点，识别复杂的技术趋势。此外，期刊也欢迎以新颖有趣的方式将现有和新兴技术（如机器学习）与各种科学和工程领域相结合的贡献。

Category	Quartile
计算机科学	1
计算机科学, 计算机理论方法	1

Survey on Quality Assurance of Smart Contracts

ivySCI AI Smartly Parses PDF, Answers Researchers' Questions, and Helps You Understand Papers in Seconds

Journal Info

Category	Quartile
COMPUTER SCIENCE, THEORY & METHODS	1