Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
Abstract
Reentrancy bugs, one of the most severe vulnerabilities in smart contracts, have caused huge financial loss in recent years. Researchers have proposed many approaches to detecting them. However, empirical studies have shown that these approaches suffer from undesirable false positives and false negatives, when the code under detection involves the interaction between multiple smart contracts.
BibTeX
@inproceedings{Xue-al:ASE20,
author = {Yinxing Xue and
Mingliang Ma and
Yun Lin and
Yulei Sui and
Jiaming Ye and
Tianyong Peng},
title = {{Cross-Contract} Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts},
booktitle = {ASE},
pages = {1029--1040},
publisher = {{IEEE}},
year = {2020},
}