Search
2 articles for “reentrancy detection”
-
An Automated Smart Contract Repair Framework for Reentrancy, Integer Overflow, and Denial- of-Service Vulnerabilities
Abstract: This paper introduces a novel static analysis framework designed to bridge a long-standing gap in Ethereum smart contract security: the disconnect between vulnerability detection and automated remediation. Although widely adopted tools such as Slither and Oyente are highly effective at identifying security weaknesses, they stop short of providing actionable fixes. As a result, developers manually patch vulnerabilities, a process that is not only time-consuming but also susceptible to human error …
Published in Journal of Computer Technology & Applications · Vol. 17, Issue 1, 2026 · pp. 31–41 Read article
-
Triple-Threat Analysis: Measuring Mythril, Slither and Oyente Against Real-World Smart Contract Vulnerabilities
Abstract: Smart contracts have become fundamental building blocks of blockchain ecosystems, yet their immutable nature makes security vulnerabilities particularly devastating. This pa- per presents a comprehensive evaluation of three prominent static analysis tools—Mythril, Slither, and Oyente—for detecting vulnerabilities in Ethereum smart contracts. Through systematic experimentation with real-world contract categories (voting sys- tems, land registries, and crowdfunding platforms), we quantify the effectiveness of each tool across eight critical vulnerability types, including reentrancy, …
Published in Journal of Artificial Intelligence Research & Advances · Vol. 13, Issue 1, 2025 Read article