Smart contracts have emerged as an integral part of the Web3 ecosystem, but smart contract vulnerabilities have led to millions in lost user funds, highlighting the pressing need for smart contract ...