The development of smart contracts on blockchain platforms is heavily reliant on Solidity, an object-oriented programming language. However, like every coding language, potential mistakes and pitfalls are ubiquitous. Blockchain technology is deeply intertwined with smart contracts. They carry here the potential of autonomous execution with their c