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...
This work was supported by the Scientific and Technological Project of Henan Province(Grant No.202102310340);Foundation of University Young Key Teacher of Henan Province(Grant Nos.2019GGJS040,2020GGJS027);Key Scientific Research Projects of Colleges and Universities in Henan Province(Grant No.21A110005);National Natual Science Foundation of China(61701170).
The emergence of smart contracts has increased the attention of industry and academia to blockchain technology,which is tamper-proofing,decentralized,autonomous,and enables decentralized applications to operate in unt...