MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck[J] APPLIED SCIENCES-BASEL 2023(13) Fei, Jiajia Chen, Xiaohan Zhao, Xiangfu
