NeuCheck: A more practical Ethereum smart contract security analysis tool[J] SOFTWARE-PRACTICE & EXPERIENCE 2021(51) Lu, Ning Wang, Bin Zhang, Yongxin Shi, Wenbo Esposito, Christian
