Copertina

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

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Susan, Stefan-Claudiu, Arusoaie, Andrei, Lucanu, Dorel
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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