Research on vulnerability optimization strategies in smart contracts based on Smartcheck

This study addresses the critical need for enhanced security in blockchain-based smart contracts, which are vulnerable to various exploits. Building on the existing Smartcheck tool, we conduct a comprehensive analysis of common vulnerabilities, including integer overflow, delegatecall, and timestamp dependence, and propose methodological improvements. We developed SmartETH, an advanced static analysis tool, incorporating improved detection algorithms to effectively identify and mitigate these security risks. Utilizing a dataset of 3,000 verified contracts from Etherscan, SmartETH was evaluated against the original Smartcheck and other tools such as Oyente and Slither. The results demonstrate that SmartETH significantly reduces both false positives and false negatives, achieving higher accuracy and reliability in vulnerability detection. Consequently, SmartETH provides a robust solution for securing smart contracts, thereby enhancing trust and safety in blockchain applications.