Imagen de Portada

Benchmarking LLM-Based Static Analysis for Secure Smart Contract Development: Reliability, Limitations, and Potential Hybrid Solutions

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Susan, Stefan-Claudiu, Arusoaie, Andrei, Lucanu, Dorel
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models
por: Susan, Ştefan-Claudiu, et al.
Publicado: (2025)

GView: A Versatile Assistant for Security Researchers
por: Zaharia, Raul, et al.
Publicado: (2024)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
por: Qin, Kaihua, et al.
Publicado: (2026)

SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework
por: Zaazaa, Oualid, et al.
Publicado: (2024)

AI-Based Vulnerability Analysis of NFT Smart Contracts
por: Wang, Xin, et al.
Publicado: (2025)

SmartLLM: Smart Contract Auditing using Custom Generative AI
por: Kevin, Jun, et al.
Publicado: (2025)

Adaptive Plan-Execute Framework for Smart Contract Security Auditing
por: Wei, Zhiyuan, et al.
Publicado: (2025)

Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts
por: Zhang, Xing, et al.
Publicado: (2026)

Towards Compositional Generalization in LLMs for Smart Contract Security: A Case Study on Reentrancy Vulnerabilities
por: Zhou, Ying, et al.
Publicado: (2026)

EVMbench: Evaluating AI Agents on Smart Contract Security
por: Wang, Justin, et al.
Publicado: (2026)

CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
por: Wang, Lingxiang, et al.
Publicado: (2025)

Semantic Interoperability on Blockchain by Generating Smart Contracts Based on Knowledge Graphs
por: Van Woensel, William, et al.
Publicado: (2024)

Ai-Driven Vulnerability Analysis in Smart Contracts: Trends, Challenges and Future Directions
por: Ozdag, Mesut
Publicado: (2025)

Cracking IoT Security: Can LLMs Outsmart Static Analysis Tools?
por: Quantrill, Jason, et al.
Publicado: (2026)

Enhancing Reliability in LLM-Based Secure Code Generation
por: Kharma, Mohammed F., et al.
Publicado: (2026)

AI Agent Smart Contract Exploit Generation
por: Gervais, Arthur, et al.
Publicado: (2025)

SecureFixAgent: A Hybrid LLM Agent for Automated Python Static Vulnerability Repair
por: Gajjar, Jugal, et al.
Publicado: (2025)

Towards Secure and Explainable Smart Contract Generation with Security-Aware Group Relative Policy Optimization
por: Yu, Lei, et al.
Publicado: (2025)

Towards Secure and Trusted-by-Design Smart Contracts
por: Dargaye, Zaynah, et al.
Publicado: (2024)

ChatGPT's Potential in Cryptography Misuse Detection: A Comparative Analysis with Static Analysis Tools
por: Firouzi, Ehsan, et al.
Publicado: (2024)

Mining Characteristics of Vulnerable Smart Contracts Across Lifecycle Stages
por: Peng, Hongli, et al.
Publicado: (2025)

Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
por: Xiao, ZeKe, et al.
Publicado: (2025)

Secure Tool Manifest and Digital Signing Solution for Verifiable MCP and LLM Pipelines
por: Jamshidi, Saeid, et al.
Publicado: (2026)

Large Language Model based Smart Contract Auditing with LLMBugScanner
por: Yuan, Yining, et al.
Publicado: (2025)

SC-Bench: A Large-Scale Dataset for Smart Contract Auditing
por: Xia, Shihao, et al.
Publicado: (2024)

Towards the Development of an LLM-Based Methodology for Automated Security Profiling in Compliance with Ukrainian Cybersecurity Regulations
por: Shafranskyi, Daniil, et al.
Publicado: (2026)

Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security
por: Chua, Gabriel
Publicado: (2025)

Benchmarking Practices in LLM-driven Offensive Security: Testbeds, Metrics, and Experiment Design
por: Happe, Andreas, et al.
Publicado: (2025)

When Developer Aid Becomes Security Debt: A Systematic Analysis of Insecure Behaviors in LLM Coding Agents
por: Kozak, Matous, et al.
Publicado: (2025)

Retrieval Augmented Generation Integrated Large Language Models in Smart Contract Vulnerability Detection
por: Yu, Jeffy
Publicado: (2024)

Agent Security Bench (ASB): Formalizing and Benchmarking Attacks and Defenses in LLM-based Agents
por: Zhang, Hanrong, et al.
Publicado: (2024)

Information Security Based on LLM Approaches: A Review
por: Gong, Chang, et al.
Publicado: (2025)

Towards Adaptive, Learning-Based Security in Decentralized Applications
por: Behfar, Stefan Kambiz, et al.
Publicado: (2023)

Towards Effective Offensive Security LLM Agents: Hyperparameter Tuning, LLM as a Judge, and a Lightweight CTF Benchmark
por: Shao, Minghao, et al.
Publicado: (2025)

Giving AI Agents Access to Cryptocurrency and Smart Contracts Creates New Vectors of AI Harm
por: Marino, Bill, et al.
Publicado: (2025)

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

MCP Security Bench (MSB): Benchmarking Attacks Against Model Context Protocol in LLM Agents
por: Zhang, Dongsen, et al.
Publicado: (2025)

RAS-Eval: A Comprehensive Benchmark for Security Evaluation of LLM Agents in Real-World Environments
por: Fu, Yuchuan, et al.
Publicado: (2025)

SafeGenBench: A Benchmark Framework for Security Vulnerability Detection in LLM-Generated Code
por: Li, Xinghang, et al.
Publicado: (2025)

Agent Audit: A Security Analysis System for LLM Agent Applications
por: Zhang, Haiyue, et al.
Publicado: (2026)