Intelligent Contract Timestamp Vulnerability Detection Based on Key Control FlowGraph

The extensive application of smart contract technology in the blockchain domain has positioned it as a key component of the digital economy.However, as the application scope of smart contracts expands, security issues have become increasingly evident, resulting in substantial economic losses.Current vulnerability detection methods largely depend on analyzing complete smart contract source code, which struggles to filter out extensive redundant information when identifying individual vulnerabilities.This leads to an insufficient exploration of the characteristics of smart contract code, which in turn results in lower overall accuracy of detection methods.In this context, the study introduces a method that transforms smart contract source code into a control flow graph, filtering out the main basic blocks based on key information about timestamp vulnerabilities.Subsequently, individual operation audits are conducted on these basic blocks, combined with the graphical structure of the control flow graph, utilizing gated graph neural networks for detecting timestamp vulnerabilities in smart contracts.Comparative experiments were performed on two public datasets, and the results indicate that compared to stateof-the-art detection methods, the proposed approach has improved the accuracy and F1 score for detecting timestamp vulnerabilities in smart contracts by 1.65% and 6.51%, providing valuable application prospects for the security of smart contracts.

Authors

Publication Details

Journal
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering
Published
2024-10-28
DOI
https://doi.org/10.18293/seke2024-062
Primary Topic
Artificial Intelligence in Law
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Intelligent Contract Timestamp Vulnerability Detection Based on Key Control FlowGraph

Jiancheng Wang, Cheng Zeng, Yi Wang, Q. Quan
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering
Artificial Intelligence in Law
article

Intelligent Contract Timestamp Vulnerability Detection Based on Key Control FlowGraph

Jiancheng Wang, Cheng Zeng, Yi Wang, Q. Quan
article en

Abstract

The extensive application of smart contract technology in the blockchain domain has positioned it as a key component of the digital economy.However, as the application scope of smart contracts expands, security issues have become increasingly evident, resulting in substantial economic losses.Current vulnerability detection methods largely depend on analyzing complete smart contract source code, which struggles to filter out extensive redundant information when identifying individual vulnerabilities.This leads to an insufficient exploration of the characteristics of smart contract code, which in turn results in lower overall accuracy of detection methods.In this context, the study introduces a method that transforms smart contract source code into a control flow graph, filtering out the main basic blocks based on key information about timestamp vulnerabilities.Subsequently, individual operation audits are conducted on these basic blocks, combined with the graphical structure of the control flow graph, utilizing gated graph neural networks for detecting timestamp vulnerabilities in smart contracts.Comparative experiments were performed on two public datasets, and the results indicate that compared to stateof-the-art detection methods, the proposed approach has improved the accuracy and F1 score for detecting timestamp vulnerabilities in smart contracts by 1.65% and 6.51%, providing valuable application prospects for the security of smart contracts.

Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge EngineeringVol. 2024
National Natural Science Foundation of China
Openalex Percentile: Top 58%
Artificial Intelligence in Law
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.