:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bobadilla, Sofia, Jin, Monica, Monperrus, Martin
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2501.04600
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts
by: Andersson, Vivi, et al.
Published: (2025)

DISL: Fueling Research with A Large Dataset of Solidity Smart Contracts
by: Morello, Gabriele, et al.
Published: (2024)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
by: Jin, Monica, et al.
Published: (2025)

CigaR: Cost-efficient Program Repair with LLMs
by: Hidvégi, Dávid, et al.
Published: (2024)

Dirty-Waters: Detecting Software Supply Chain Smells
by: Liu, Raphina, et al.
Published: (2024)

SoliDiffy: AST Differencing for Solidity Smart Contracts
by: Eshghie, Mojtaba, et al.
Published: (2024)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
by: Eshghie, Mojtaba, et al.
Published: (2025)

Software Supply Chain Smells: Lightweight Analysis for Secure Dependency Management
by: Schmid, Larissa, et al.
Published: (2026)

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

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
by: Cesarano, Carmine, et al.
Published: (2025)

Gradient-Based Program Repair: Fixing Bugs in Continuous Program Spaces
by: Silva, André, et al.
Published: (2025)

Automated Invariant Generation for Solidity Smart Contracts
by: Liu, Ye, et al.
Published: (2024)

Software Supply Chain Security of Web3
by: Monperrus, Martin
Published: (2025)

Bootstrapping Coding Agents: The Specification Is the Program
by: Monperrus, Martin
Published: (2026)

Byam: Fixing Breaking Dependency Updates with Large Language Models
by: Reyes, Frank, et al.
Published: (2025)

Maven-Hijack: Software Supply Chain Attack Exploiting Packaging Order
by: Reyes, Frank, et al.
Published: (2024)

The Grand Software Supply Chain of AI Systems
by: Cesarano, Carmine, et al.
Published: (2026)

Automating Comment Generation for Smart Contract from Bytecode
by: Xiang, Jianhang, et al.
Published: (2025)

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

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
by: Liang, Ruichao, et al.
Published: (2026)

Galapagos: Automated N-Version Programming with LLMs
by: Ron, Javier, et al.
Published: (2024)

Automated Mechanism to Support Trade Transactions in Smart Contracts with Upgrade and Repair
by: Liu, Christian Gang, et al.
Published: (2025)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
by: Song, Hao, et al.
Published: (2025)

PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts
by: Soud, Majd, et al.
Published: (2023)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
by: Zhang, Jingwen, et al.
Published: (2026)

RepairBench: Leaderboard of Frontier Models for Program Repair
by: Silva, André, et al.
Published: (2024)

Verifiable Provenance of Software Artifacts with Zero-Knowledge Compilation
by: Ron, Javier, et al.
Published: (2026)

ITER: Iterative Neural Repair for Multi-Location Patches
by: Ye, He, et al.
Published: (2023)

Causes and Canonicalization of Unreproducible Builds in Java
by: Sharma, Aman, et al.
Published: (2025)

Mimicking Production Behavior with Generated Mocks
by: Tiwari, Deepika, et al.
Published: (2022)

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

Breaking-Good: Explaining Breaking Dependency Updates with Build Analysis
by: Reyes, Frank, et al.
Published: (2024)

A Large-Scale Study of Call Graph-based Impact Prediction using Mutation Testing
by: Musco, Vincenzo, et al.
Published: (2018)

Validation Framework for E-Contract and Smart Contract
by: Godboley, Sangharatna, et al.
Published: (2025)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
by: Li, Xiaoqi, et al.
Published: (2024)

Where Do Smart Contract Security Analyzers Fall Short?
by: Abdelaziz, Tamer, et al.
Published: (2026)

Hyperparameter Optimization for AST Differencing
by: Martinez, Matias, et al.
Published: (2020)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
by: Mbodji, Fatou Ndiaye, et al.
Published: (2024)

Automated Vulnerability Injection in Solidity Smart Contracts: A Mutation-Based Approach for Benchmark Development
by: Iuliano, Gerardo, et al.
Published: (2025)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
by: Li, Xiaoqi, et al.
Published: (2026)