Static analysis
3 articles · search the full text for this term
-
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
-
Design and Computational Analysis of Hybrid Carbon Fiber-Enhanced Metal Matrix Composite Spur Gears
Abstract: The automobile industry has to find the alternative solution for steel grade gears to overcome the weight to high strength ratio and thermal consideration with high damping properties. This study describes the design, FEM analysis, and performance evaluation of three new hybrid composite spur gears: a monolithic carbon fiber/epoxy (80/20 weight percent) composite (A), and two hybrids with steel (B) and aluminum (C) matrices (64% CF, 21% Epoxy, 15% metal). …
Published in Journal of Polymer & Composites · Vol. 14, Issue 1, 2026 · pp. 158–172 Read article