Efficiently detecting reentrancy vulnerabilities in complex smart contracts is crucial for ensuring the security of decentralized applications. Existing tools face challenges in accurately identifying vulnerabilities, especially as contracts become more intricate. The SliSE tool proposes a two-stage detection process involving Warning Search and Symbolic Execution Verification to enhance efficiency and accuracy. By analyzing program dependencies and employing symbolic execution, SliSE significantly improves vulnerability detection rates compared to state-of-the-art tools. The tool's performance was evaluated on real-world datasets, showcasing its effectiveness in detecting complex contract vulnerabilities.
To Another Language
from source content
arxiv.org
Principais Insights Extraídos De
by Zexu Wang,Ji... às arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.11254.pdfPerguntas Mais Profundas