applied sciences Article MSmart: Smart Contract Vulnerability Analysis and Improved Strategies Based on Smartcheck Jiajia Fei, Xiaohan Chen and Xiangfu Zhao * School of Computer and Control Engineering, Yantai University, Yantai 264005, China * Correspondence: xiangfuzhao@ytu.edu.cn Abstract: As is ...