partially supported by the National Natural Science Foundation (62272248);the Open Project Fund of State Key Laboratory of Computer Architecture,Institute of Computing Technology,Chinese Academy of Sciences (CARCHA202108,CARCH201905);the Natural Science Foundation of Tianjin (20JCZDJC00610);Sponsored by Zhejiang Lab (2021KF0AB04)。
Smart contracts are widely used on the blockchain to implement complex transactions,such as decentralized applications on Ethereum.Effective vulnerability detection of large-scale smart contracts is critical,as attack...