Cover Image

Program Analysis for High-Value Smart Contract Vulnerabilities: Techniques and Insights

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Smaragdakis, Yannis, Grech, Neville, Lagouvardos, Sifis, Triantafyllou, Konstantinos, Tsatiris, Ilias, Bollanos, Yannis, Valentine, Tony Rocco
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Incredible Shrinking Context... in a Decompiler Near You
by: Lagouvardos, Sifis, et al.
Published: (2024)

Precise Static Identification of Ethereum Storage Variables (Extended Version)
by: Lagouvardos, Sifis, et al.
Published: (2025)

Universal Scalability in Declarative Program Analysis (with Choice-Based Combination Pruning)
by: Antoniadis, Anastasios, et al.
Published: (2025)

LLM-SmartAudit: Advanced Smart Contract Vulnerability Detection
by: Wei, Zhiyuan, et al.
Published: (2024)

Exploring Vulnerabilities and Concerns in Solana Smart Contracts
by: Wu, Xiangfan, et al.
Published: (2025)

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

Interaction-Aware Vulnerability Detection in Smart Contract Bytecodes
by: Li, Wenkai, et al.
Published: (2024)

Evaluating the Vulnerability Landscape of LLM-Generated Smart Contracts
by: Do, Hoang Long, et al.
Published: (2026)

SmartBugBert: BERT-Enhanced Vulnerability Detection for Smart Contract Bytecode
by: Bu, Jiuyang, et al.
Published: (2025)

Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities
by: Nassirzadeh, Behkish, et al.
Published: (2021)

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

SCRUBD: Smart Contracts Reentrancy and Unhandled Exceptions Vulnerability Dataset
by: Yashavant, Chavhan Sujeet, et al.
Published: (2024)

Generative Large Language Model usage in Smart Contract Vulnerability Detection
by: Ince, Peter, et al.
Published: (2025)

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

Security Vulnerabilities in Ethereum Smart Contracts: A Systematic Analysis
by: Wu, Jixuan, et al.
Published: (2025)

LLM-BSCVM: An LLM-Based Blockchain Smart Contract Vulnerability Management Framework
by: Jin, Yanli, et al.
Published: (2025)

Leveraging Large Language Models and Machine Learning for Smart Contract Vulnerability Detection
by: Hossain, S M Mostaq, et al.
Published: (2025)

Enhancing Smart Contract Vulnerability Detection in DApps Leveraging Fine-Tuned LLM
by: Bu, Jiuyang, et al.
Published: (2025)

TaintSentinel: Path-Level Randomness Vulnerability Detection for Ethereum Smart Contracts
by: Rezaei, Hadis, et al.
Published: (2025)

Detect Llama -- Finding Vulnerabilities in Smart Contracts using Large Language Models
by: Ince, Peter, et al.
Published: (2024)

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

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

Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
by: Tehrani, Masoud Jamshidiyan
Published: (2024)

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

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
by: Manh, Cuong Tran, et al.
Published: (2024)

Vulnerability Detection in Smart Contracts: A Comprehensive Survey
by: De Baets, Christopher, et al.
Published: (2024)

Knowledge Migration Framework for Smart Contract Vulnerability Detection
by: Wang, Luqi, et al.
Published: (2024)

SmartGraphical: A Human-in-the-Loop Framework for Detecting Smart Contract Logical Vulnerabilities via Pattern-Driven Static Analysis and Visual Abstraction
by: Fattahdizaji, Ali, et al.
Published: (2026)

Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities
by: Chen, Yizhou
Published: (2024)

Capturing Monetarily Exploitable Vulnerability in Smart Contracts via Auditor Knowledge-Learning Fuzzing
by: Cai, Bowen, et al.
Published: (2026)

LogicScan: An LLM-driven Framework for Detecting Business Logic Vulnerabilities in Smart Contracts
by: Gao, Jiaqi, et al.
Published: (2026)

Coding Malware in Fancy Programming Languages for Fun and Profit
by: Apostolopoulos, Theodoros, et al.
Published: (2025)

Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
by: Wang, Zexu, et al.
Published: (2024)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis
by: Ressi, Dalila, et al.
Published: (2024)

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

Examining the Effectiveness of Transformer-Based Smart Contract Vulnerability Scan
by: Balci, Emre, et al.
Published: (2026)

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
by: Vidal, Fernando Richter, et al.
Published: (2023)

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

Dual-view Aware Smart Contract Vulnerability Detection for Ethereum
by: Yao, Jiacheng, et al.
Published: (2024)

MultiCFV: Detecting Control Flow Vulnerabilities in Smart Contracts Leveraging Multimodal Deep Learning
by: Peng, Hongli, et al.
Published: (2025)