funded by the Major PublicWelfare Special Fund of Henan Province(No.201300210200);the Major Science and Technology Research Special Fund of Henan Province(No.221100210400).
In recent years,the number of smart contracts deployed on blockchain has exploded.However,the issue of vulnerability has caused incalculable losses.Due to the irreversible and immutability of smart contracts,vulnerabi...