@inproceedings{db8fe0c482e6442fb2225bc7bad48d83,
title = "A Dynamic Taint Analysis-Based Smart Contract Testing Approach",
abstract = "Due to the unique global state and transaction sequence characteristics of smart contracts, the detection method based on a single test case cannot improve the vulnerability detection rate during contract detection. The current contract testing methods based on genetic algorithms have not yet solved the problems caused by these characteristics. Therefore, we propose an adaptive fuzzing method based on dynamic taint analysis and genetic algorithm, SDTGfuzzer. SDTGfuzzer focuses on dynamic taint analysis to collect runtime information as feedback, and focuses on solving the challenges brought by global variables and transaction sequences for contract testing. Genetic Algorithms work well in test case generation for fuzzing. Therefore, SDTGfuzzer optimizes the genetic algorithm based on an efficient and lightweight multi-objective adaptive strategy, focusing on solving the problem that the contract constraints cannot be covered due to the global state. Experimental results show that our method has a higher vulnerability detection rate than other tools for detecting contract vulnerabilities.",
keywords = "Fuzzing, Genetic Algorithms, Smart Contracts, Taint Analysis, Vulnerability Detection",
author = "Hui Zhao and Xing Li and Keke Gai",
note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 7th International Conference on Smart Computing and Communication, SmartCom 2022 ; Conference date: 18-11-2022 Through 20-11-2022",
year = "2023",
doi = "10.1007/978-3-031-28124-2_38",
language = "English",
isbn = "9783031281235",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "403--413",
editor = "Meikang Qiu and Zhihui Lu and Cheng Zhang",
booktitle = "Smart Computing and Communication - 7th International Conference, SmartCom 2022, Proceedings",
address = "Germany",
}