Smart contract vulnerability detection based on adaptive genetic algorithm

Haoran Xu; Jinyu Fan; Liuqing Han

doi:10.1117/12.3036907

21 July 2024 Smart contract vulnerability detection based on adaptive genetic algorithm

Haoran Xu, Jinyu Fan, Liuqing Han

Proceedings Volume 13219, Fourth International Conference on Applied Mathematics, Modelling, and Intelligent Computing (CAMMIC 2024); 132193I (2024) https://doi.org/10.1117/12.3036907
Event: 4th International Conference on Applied Mathematics, Modelling and Intelligent Computing (CAMMIC 2024), 2024, Kaifeng, China

Abstract

In recent years, with the rise of blockchain technology, smart contracts have also rapidly developed and applied in various industries. However, vulnerabilities in smart contracts can lead to serious consequences. When using current fuzz testing tools for vulnerability detection, a large number of test inputs are randomly generated, resulting in low code coverage due to high randomness. To address this issue, we propose a new adaptive genetic algorithm that combines the fuzzy testing process to generate a large number of test cases. We designed a fitness function for evaluating individual strengths and weaknesses in the adaptive genetic algorithm based on branch coverage and data dependency during the detection process. Based on the diversity and effectiveness of the current generated test cases, we dynamically adjusted the crossover and mutation probabilities during the algorithm execution process, gradually optimizing the quality of test cases in multiple testing iterations. According to the experimental results, the method proposed in this article has higher code coverage and vulnerability detection accuracy compared to other tools for detecting contract vulnerabilities.

(2024) Published by SPIE. Downloading of the abstract is permitted for personal use only.

Citation Download Citation

Haoran Xu, Jinyu Fan, and Liuqing Han "Smart contract vulnerability detection based on adaptive genetic algorithm", Proc. SPIE 13219, Fourth International Conference on Applied Mathematics, Modelling, and Intelligent Computing (CAMMIC 2024), 132193I (21 July 2024); https://doi.org/10.1117/12.3036907

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available

Members: $17.00

Non-members: $21.00 ADD TO CART

PROCEEDINGS
7 PAGES

DOWNLOAD PAPER SAVE TO MY LIBRARY

GET CITATION

RIGHTS & PERMISSIONS

Get copyright permission Get copyright permission on Copyright Marketplace

KEYWORDS

Genetic algorithms

Fuzzy logic

Data modeling

Blockchain

Associative arrays

Lead

Performance modeling

Show All Keywords

Keywords/Phrases

Search In:

Publication Years