Copertina

PROMFUZZ: Leveraging LLM-Driven and Bug-Oriented Composite Analysis for Detecting Functional Bugs in Smart Contracts

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Lin, Xingshuang, Xie, Qinge, Zhao, Binbin, Tian, Yuan, Zonouz, Saman, Ruan, Na, Li, Jiliang, Beyah, Raheem, Ji, Shouling
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Software Engineering Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SCRUTINEER: Detecting Logic-Level Usage Violations of Reusable Components in Smart Contracts
di: Lin, Xingshuang, et al.
Pubblicazione: (2025)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
di: Zhou, Xintong, et al.
Pubblicazione: (2025)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
di: Chen, Longfei, et al.
Pubblicazione: (2025)

Characterizing Real-World Bugs in Tile Programs for Automated Bug Detection
di: Rathnasuriya, Ravishka, et al.
Pubblicazione: (2026)

Bug Whispering: Towards Audio Bug Reporting
di: Masserini, Elena, et al.
Pubblicazione: (2025)

BugScope: Learn to Find Bugs Like Human
di: Guo, Jinyao, et al.
Pubblicazione: (2025)

Detecting Metadata-Related Bugs in Enterprise Applications
di: Kabir, Md Mahir Asef, et al.
Pubblicazione: (2025)

LLM-Powered Silent Bug Fuzzing in Deep Learning Libraries via Versatile and Controlled Bug Transfer
di: Zhang, Kunpeng, et al.
Pubblicazione: (2026)

RFCAudit: An LLM Agent for Functional Bug Detection in Network Protocols
di: Zheng, Mingwei, et al.
Pubblicazione: (2025)

Fuzzing BusyBox: Leveraging LLM and Crash Reuse for Embedded Bug Unearthing
di: Asmita, et al.
Pubblicazione: (2024)

Leveraging Data Characteristics for Bug Localization in Deep Learning Programs
di: Manke, Ruchira, et al.
Pubblicazione: (2024)

Improving Compiler Bug Isolation by Leveraging Large Language Models
di: Qi, Yixian, et al.
Pubblicazione: (2025)

An Empirical Study on Leveraging Images in Automated Bug Report Reproduction
di: Wang, Dingbang, et al.
Pubblicazione: (2025)

LLM Critics Help Catch LLM Bugs
di: McAleese, Nat, et al.
Pubblicazione: (2024)

Anticipating Bugs: Ticket-Level Bug Prediction and Temporal Proximity Effects
di: La Prova, Daniele, et al.
Pubblicazione: (2025)

GitBug-Java: A Reproducible Benchmark of Recent Java Bugs
di: Silva, André, et al.
Pubblicazione: (2024)

HaPy-Bug -- Human Annotated Python Bug Resolution Dataset
di: Przymus, Piotr, et al.
Pubblicazione: (2025)

Challenging Bug Prediction and Repair Models with Synthetic Bugs
di: Ibrahimzada, Ali Reza, et al.
Pubblicazione: (2023)

Bug Analysis Towards Bug Resolution Time Prediction
di: Ozkan, Hasan Yagiz, et al.
Pubblicazione: (2024)

Towards Understanding the Bugs in Solidity Compiler
di: Ma, Haoyang, et al.
Pubblicazione: (2024)

PyResBugs: A Dataset of Residual Python Bugs for Natural Language-Driven Fault Injection
di: Cotroneo, Domenico, et al.
Pubblicazione: (2025)

MirrorFuzz: Leveraging LLM and Shared Bugs for Deep Learning Framework APIs Fuzzing
di: Ou, Shiwen, et al.
Pubblicazione: (2025)

BugGen: A Self-Correcting Multi-Agent LLM Pipeline for Realistic RTL Bug Synthesis
di: Jasper, Surya, et al.
Pubblicazione: (2025)

An Empirical Study of Bugs in Modern LLM Agent Frameworks
di: Zhu, Xinxue, et al.
Pubblicazione: (2026)

A First Look at Bugs in LLM Inference Engines
di: Liu, Mugeng, et al.
Pubblicazione: (2025)

BugForge: Constructing and Utilizing DBMS Bug Repository to Enhance DBMS Testing
di: Li, Dawei, et al.
Pubblicazione: (2026)

HotBugs.jar: A Benchmark of Hot Fixes for Time-Critical Bugs
di: Hanna, Carol, et al.
Pubblicazione: (2025)

SysPro: Reproducing System-level Concurrency Bugs from Bug Reports
di: Zaman, Tarannum Shaila, et al.
Pubblicazione: (2026)

BugRepro: Enhancing Android Bug Reproduction with Domain-Specific Knowledge Integration
di: Yin, Hongrong, et al.
Pubblicazione: (2025)

Explaining Software Bugs Leveraging Code Structures in Neural Machine Translation
di: Mahbub, Parvez, et al.
Pubblicazione: (2022)

HLSDebugger: Identification and Correction of Logic Bugs in HLS Code with LLM Solutions
di: Wang, Jing, et al.
Pubblicazione: (2025)

LLMs are Bug Replicators: An Empirical Study on LLMs' Capability in Completing Bug-prone Code
di: Guo, Liwei, et al.
Pubblicazione: (2025)

GitBugs: Bug Reports for Duplicate Detection, Retrieval Augmented Generation, Triage, and More
di: Patil, Avinash, et al.
Pubblicazione: (2025)

GitBug-Actions: Building Reproducible Bug-Fix Benchmarks with GitHub Actions
di: Saavedra, Nuno, et al.
Pubblicazione: (2023)

Automated Duplicate Bug Report Detection in Large Open Bug Repositories
di: Laney, Clare E., et al.
Pubblicazione: (2025)

One Bug, Hundreds Behind: LLMs for Large-Scale Bug Discovery
di: Wu, Qiushi, et al.
Pubblicazione: (2025)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
di: Ye, He, et al.
Pubblicazione: (2023)

CUPID: Leveraging ChatGPT for More Accurate Duplicate Bug Report Detection
di: Zhang, Ting, et al.
Pubblicazione: (2023)

Characterising Bugs in Jupyter Platform
di: Tang, Yutian, et al.
Pubblicazione: (2025)

Continuously Learning Bug Locations
di: Mindom, Paulina Stevia Nouwou, et al.
Pubblicazione: (2024)