The development of smart contracts on blockchain platforms is heavily reliant on Solidity, an object-oriented programming language. However, inevitably, it presents a myriad of potential errors and pitfalls similar to any coding language. Smart contracts are an integral part of blockchain technology. They are autonomously executed contracts with t