Cross-Contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts[C] 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020) 2020 Xue, Yinxing Ma, Mingliang Lin, Yun Sui, Yulei Ye, Jiaming Peng, Tianyong
