FlawCheck: Detecting Smart Contract Vulnerabilities Based on Symbolic Execution. - Gou, Naixiang; Zhao, Xiangfu; Wang, Shiji; Zhang, Hanfeng; Yang, Jiahui (Security & Privacy, 2025)