Enhancing Ethereum Smart Contract Security: A Novel Slither-Based Static Analysis Framework

Abstract

Blockchain technology is evolving rapidly, bringing significant opportunities as well as complex challenges, particularly in the area of smart contract security This paper addresses these challenges by presenting an enhanced version of Slither, a static analysis framework, specifically designed to improve vulnerability detection in Ethereum-based smart contracts. Our contributions target critical vulnerabilities of reentrancy, unchecked call return values, and access control issues, which pose serious threat to decentralized apps (dApps). The enhanced Slither tool incorporates advanced detection methodologies, including refined control-flow analysis, sophisticated pattern recognition, and comprehensive visibility checks. Experimental evaluation demonstrates that this proposed tool significantly improves accuracy, precision, recall, and F1-score across various metrics, while also effectively reducing false positives. This advanced model not only strengthens the security posture of smart contracts but also contributes to fostering a more secure and reliable blockchain ecosystem.