Scholarlink

Smart contracts are a crucial component of blockchain technology, offering automated, trustless, and decentralized transaction execution. However, they are vulnerable to various security threats that can compromise their functionality and the integrity of the systems they operate within. This paper evaluates several vulnerability detection tools designed to identify and mitigate these risks in smart contracts. By analyzing tools such as Securify, Slither, Eth2Vec, CodeNet, and HFContractFuzzer, this study aims to provide insights into their effectiveness, strengths, and limitations. The findings highlight the importance of using a combination of static and dynamic analysis methods to enhance smart contract security, ensuring robust protection against potential exploits.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Security Analysis of Smart Contracts: Evaluation of Vulnerability Detection Tools

  • 会议论文

  • 发表日期：

    2025年

查看全文
  • Outman Guelida,
  • Said Jai Andaloussi,
  • Ouail Ouchetto

摘要

Smart contracts are a crucial component of blockchain technology, offering automated, trustless, and decentralized transaction execution. However, they are vulnerable to various security threats that can compromise their functionality and the integrity of the systems they operate within. This paper evaluates several vulnerability detection tools designed to identify and mitigate these risks in smart contracts. By analyzing tools such as Securify, Slither, Eth2Vec, CodeNet, and HFContractFuzzer, this study aims to provide insights into their effectiveness, strengths, and limitations. The findings highlight the importance of using a combination of static and dynamic analysis methods to enhance smart contract security, ensuring robust protection against potential exploits.