Abstract: Smart contracts are self-executing agreements stored on the blockchain, widely used in finance, supply chain, IoT, and other fields. However, vulnerabilities in smart contract code can be ...