Contractsentry: a static analysis tool for smart contract vulnerability detection. - Wang, Shiji; Zhao, Xiangfu (Automated Software Engineering, 2025)