Synapse
⌘+K
Synapse
PulseExploreClubsResearchersJournals
Instagram
HomeClubsExplore
October 20, 2025Open Access

An Empirical Analysis of Vulnerability Detection Tools for Solidity Smart Contracts Using Line Level Manually Annotated Vulnerabilities

View Full Paper
Ask AI
Bookmark
Share

Authors

FSFrancesco SalzanoUniversity of MoliseCACosmo Kevin AntenucciUniversity of MoliseSSSimone ScalabrinoUniversity of Molise

Discussion

Loading...

Member takes

Implication

Empirical analysis highlights detection effectiveness of tools for smart contracts, indicating reliability issues.

Key Points

  • The analysis shows that three combined tools detected up to 76.78% vulnerabilities in smart contracts.
  • Our dataset includes 2,182 manually annotated instances, covering various types of vulnerabilities using the DASP TOP 10.
  • Automated vulnerability analysis tools demonstrate significant variations in effectiveness, indicating room for improvement.
  • Leveraging the SmartBugs 2.0 framework allows for a comprehensive assessment of 20 vulnerability analysis tools.

Cite This Study

Salzano et al. (2025) studied this question.

synapsesocial.com/papers/68f5c338e2d8b12842645bfbhttps://doi.org/10.48550/arxiv.2505.15756
View Full Paper
Ask AI
Bookmark
Share

Also Consider

Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context:

  1. 1Effective test generation using pre-trained Large Language Models and mutation testing2024 · 142 citations
  2. 2Few-shot training LLMs for project-specific code-summarization2022 · 234 citations
  3. 3Classifying code comments in Java software systems2019 · 57 citations
  4. 4Practitioners’ Expectations on Automated Test Generation2024 · 9 citations