SafeCheck: Detecting smart contract vulnerabilities based on static program analysis methods. - Chen, Haiyue; Zhao, Xiangfu; Wang, Yichen; Zhen, Zixian (Security & Privacy, 2024)