Copertina

An empirical analysis of vulnerability detection tools for solidity smart contracts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Salzano, Francesco, Antenucci, Cosmo Kevin, Scalabrino, Simone, Rosa, Giovanni, Oliveto, Rocco, Pareschi, Remo
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Bridging the Gap: A Comparative Study of Academic and Developer Approaches to Smart Contract Vulnerabilities
di: Salzano, Francesco, et al.
Pubblicazione: (2025)

Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
di: Salzano, Francesco, et al.
Pubblicazione: (2025)

Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
di: Salzano, Francesco, et al.
Pubblicazione: (2024)

Identifying and Characterizing Semantic Clones of Solidity Functions
di: Sannini, Ermanno Francesco, et al.
Pubblicazione: (2026)

Personalized Code Readability Assessment: Are We There Yet?
di: Vitale, Antonio, et al.
Pubblicazione: (2025)

How do Copilot Suggestions Impact Developers' Frustration and Productivity?
di: Guglielmi, Emanuela, et al.
Pubblicazione: (2025)

On the Impact of Code Comments for Automated Bug-Fixing: An Empirical Study
di: Vitale, Antonio, et al.
Pubblicazione: (2026)

Optimizing Datasets for Code Summarization: Is Code-Comment Coherence Enough?
di: Vitale, Antonio, et al.
Pubblicazione: (2025)

Human-Agent versus Human Pull Requests: A Testing-Focused Characterization and Comparison
di: Milanese, Roberto, et al.
Pubblicazione: (2026)

Toward Explaining Large Language Models in Software Engineering Tasks
di: Vitale, Antonio, et al.
Pubblicazione: (2025)

Identifying and Replicating Code Patterns Driving Performance Regressions in Software Systems
di: Campos, Denivan, et al.
Pubblicazione: (2025)

Efficacy of static analysis tools for software defect detection on open-source projects
di: Yeboah, Jones, et al.
Pubblicazione: (2024)

From OCL to JSX: declarative constraint modeling in modern SaaS tools
di: Bucchiarone, Antonio, et al.
Pubblicazione: (2025)

Leveraging multi-task learning to improve the detection of SATD and vulnerability
di: Russo, Barbara, et al.
Pubblicazione: (2025)

AI-powered software testing tools: A systematic review and empirical assessment of their features and limitations
di: Garousi, Vahid, et al.
Pubblicazione: (2024)

Albank -- a case study on the use of ethereum blockchain technology and smart contracts for secure decentralized bank application
di: Sherifi, Shkelqim
Pubblicazione: (2026)

A customizable approach to assess software quality through Multi-Criteria Decision Making
di: Basciani, Francesco, et al.
Pubblicazione: (2023)

Bug Detective and Quality Coach: Developers' Mental Models of AI-Assisted IDE Tools
di: Buono, Paolo, et al.
Pubblicazione: (2025)

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
di: Giabbanelli, Philippe J., et al.
Pubblicazione: (2025)

FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
di: Alshmrany, Kaled M., et al.
Pubblicazione: (2022)

Evolution of statistical analysis in empirical software engineering research: Current state and steps forward
di: Neto, Francisco Gomes de Oliveira, et al.
Pubblicazione: (2017)

Improving vulnerability type prediction and line-level detection via adversarial training-based data augmentation and multi-task learning
di: Chen, Siyu, et al.
Pubblicazione: (2025)

Low-code and no-code with BESSER to create and deploy smart web applications
di: Alfonso, Iván, et al.
Pubblicazione: (2026)

Vulnerability anti-patterns in Solidity: Increasing smart contracts security by reducing false alarms
di: Oss, Tommaso, et al.
Pubblicazione: (2024)

MLScent A tool for Anti-pattern detection in ML projects
di: Shivashankar, Karthik, et al.
Pubblicazione: (2025)

An empirical study of question discussions on Stack Overflow
di: Zhu, Wenhan, et al.
Pubblicazione: (2021)

On (Mis)perceptions of testing effectiveness: an empirical study
di: Vegas, Sira, et al.
Pubblicazione: (2024)

Further Evidence on a Controversial Topic about Human-Based Experiments: Professionals vs. Students
di: Romano, Simone, et al.
Pubblicazione: (2025)

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes
di: Baradaran, Sara, et al.
Pubblicazione: (2022)

An empirical study on declined proposals: why are these proposals declined?
di: Kondo, Masanari, et al.
Pubblicazione: (2025)

EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows
di: Ali, Muhammad Rizwan, et al.
Pubblicazione: (2025)

Contextual Memory Virtualisation: DAG-Based State Management and Structurally Lossless Trimming for LLM Agents
di: Santoni, Cosmo
Pubblicazione: (2026)

Not Only for Developers: Exploring Plugin Maintenance for Knowledge-Centric Communities
di: Rosa, Giovanni, et al.
Pubblicazione: (2026)

An end-to-end agentic pipeline for smart contract translation and quality evaluation
di: Goel, Abhinav, et al.
Pubblicazione: (2026)

SPVR: syntax-to-prompt vulnerability repair based on large language models
di: Wang, Ruoke, et al.
Pubblicazione: (2024)

Predicting long time contributors with knowledge units of programming languages: an empirical study
di: Ahasanuzzaman, Md, et al.
Pubblicazione: (2024)

Test Case Generation for Dialogflow Task-Based Chatbots
di: Rapisarda, Rocco Gianni, et al.
Pubblicazione: (2025)

Predicting post-release defects with knowledge units (KUs) of programming languages: an empirical study
di: Ahasanuzzaman, Md, et al.
Pubblicazione: (2024)

System for systematic literature review using multiple AI agents: Concept and an empirical evaluation
di: Sami, Abdul Malik, et al.
Pubblicazione: (2024)

Seismology modeling agent: A smart assistant for geophysical researchers
di: Ren, Yukun, et al.
Pubblicazione: (2025)