Jiaming Ye, Mingliang Ma, Yun Lin 0001, Yulei Sui, Yinxing Xue. Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts. In Gregg Rothermel, Doo-Hwan Bae, editors, ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June - 19 July, 2020. pages 274-275, ACM, 2020. [doi]
Abstract is missing.