An Empirical Study of Integer Overflow Detection and False Positive Analysis in Smart Contracts. - Qingyuan Huang; ZiXun Zeng; Ying Shang (BDIOT, 2024)