Abstract: With the development of smart contracts, the complexity of smart contracts continues to increase. Vulnerabilities may be hidden in complex contracts, which brings great hidden dangers to the ...