MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck. - Fei, Jiajia; Chen, Xiaohan; Zhao, Xiangfu (Applied Sciences (2076-3417), 2023)