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.
إلى لغة أخرى
من محتوى المصدر
arxiv.org
الرؤى الأساسية المستخلصة من
by Zexu Wang,Ji... في arxiv.org 03-19-2024
https://arxiv.org/pdf/2403.11254.pdfاستفسارات أعمق