Clairvoyance: cross-contract static analysis for detecting practical reentrancy vulnerabilities in smart contracts.

Jiaming Ye, Mingliang Ma, Yun Lin, Yulei Sui, Yinxing Xue

Browse the full ICSE paper archive.