Publication

Abstract :

Smart contracts, implemented on blockchain net-works, provide secure and decentralized transactions. Despite this, issues with Solidity-based smart contracts have resulted in major financial losses due to exploits like reentrancy attacks, integer overflows, and unauthorized access. In this paper, a thorough framework of vulnerability assessment that combines static, dynamic, and forensic analysis is proposed for the improvement of the security of smart contracts. Static analysis, facilitated by Slither, detects code-level vulnerabilities, whereas dynamic analysis, driven by Mythril, emulates attack patterns to find execution-time errors. Furthermore, a forensic analysis module utilizes transaction tracing and opcode analysis to study historical exploits and identify unusual contract behaviors. The proposed framework improves the accuracy of vulnerability detection, reduces false positives, and strengthens the security of smart contracts by offering security insights. Empirical assessment illustrates the efficiency of the framework in detecting security vulnerabilities with a high detection rate and low overhead. This work adds to reinforcing blockchain security by providing an automated, multi-layered method of auditing smart contracts © 2025 IEEE.