Imagen de Portada

Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ma, Wei, Wu, Daoyuan, Sun, Yuqiang, Wang, Tianwen, Liu, Shangqing, Zhang, Jian, Xue, Yue, Liu, Yang
Formato:	Preprint
Publicado:	2024
Materias:	Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
por: Liu, Ye, et al.
Publicado: (2024)

GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
por: Sun, Yuqiang, et al.
Publicado: (2023)

LLM4Vuln: A Unified Evaluation Framework for Decoupling and Enhancing LLMs' Vulnerability Reasoning
por: Sun, Yuqiang, et al.
Publicado: (2024)

ACFIX: Guiding LLMs with Mined Common RBAC Practices for Context-Aware Repair of Access Control Vulnerabilities in Smart Contracts
por: Zhang, Lyuye, et al.
Publicado: (2024)

Static Application Security Testing (SAST) Tools for Smart Contracts: How Far Are We?
por: Li, Kaixuan, et al.
Publicado: (2024)

SpecSyn: LLM-based Synthesis and Refinement of Formal Specifications for Real-world Program Verification
por: Ma, Lezhi, et al.
Publicado: (2026)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
por: Wu, Hao, et al.
Publicado: (2025)

Do Fine-Tuned LLMs Understand Vulnerabilities? An Investigation into the Semantic Trap
por: Huang, Feiyang, et al.
Publicado: (2026)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
por: Liu, Ye, et al.
Publicado: (2025)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
por: Kong, Ziqiao, et al.
Publicado: (2025)

Demystifying the Characteristics for Smart Contract Upgrades
por: Liu, Ye, et al.
Publicado: (2024)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
por: Li, Lantian, et al.
Publicado: (2025)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
por: Liao, Zeqin, et al.
Publicado: (2024)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
por: Liao, Zeqin, et al.
Publicado: (2025)

FT2Ra: A Fine-Tuning-Inspired Approach to Retrieval-Augmented Code Completion
por: Guo, Qi, et al.
Publicado: (2024)

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

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

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
por: Kong, Ziqiao, et al.
Publicado: (2026)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
por: Liu, Ye, et al.
Publicado: (2024)

Generating Move Smart Contracts based on Concepts
por: Karanjai, Rabimba, et al.
Publicado: (2024)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
por: Ye, Likai, et al.
Publicado: (2025)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
por: Liao, Zeqin, et al.
Publicado: (2024)

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

Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
por: Zhang, Jango
Publicado: (2024)

MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models
por: Yuan, Hang, et al.
Publicado: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
por: Lin, Zewei, et al.
Publicado: (2024)

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

End-user Comprehension of Transfer Risks in Smart Contracts
por: Panicker, Yustynn, et al.
Publicado: (2024)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
por: Shou, Chaofan, et al.
Publicado: (2024)

Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
por: Liang, Ruichao, et al.
Publicado: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
por: Lin, Zewei, et al.
Publicado: (2024)

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

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
por: Su, Jianzhong, et al.
Publicado: (2024)

Same Signal, Different Semantics: A Cross-Framework Behavioral Analysis of Software Engineering Agents
por: Ma, Wei, et al.
Publicado: (2026)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
por: Wang, Che, et al.
Publicado: (2024)

BPMN to Smart Contract by Business Analyst
por: Liu, C. G., et al.
Publicado: (2025)

Transforming Automatically BPMN Models to Smart Contracts with Nested Collaborative Transactions (TABS+)
por: Liu, Christian Gang, et al.
Publicado: (2025)

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

SmartML: Towards a Modeling Language for Smart Contracts
por: Veschetti, Adele, et al.
Publicado: (2024)

Effective Targeted Testing of Smart Contracts
por: Fooladgar, Mahdi, et al.
Publicado: (2024)