Buchumschlag

Where Do Smart Contract Security Analyzers Fall Short?

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Abdelaziz, Tamer, Alsaghir, Salma, Ali, Karim
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Cryptography and Security Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Usenix'23 Extended Version: Smart Learning to Find Dumb Contracts
von: Abdelaziz, Tamer, et al.
Veröffentlicht: (2023)

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
von: Chaliasos, Stefanos, et al.
Veröffentlicht: (2023)

SmartShift: A Secure and Efficient Approach to Smart Contract Migration
von: Hossain, Tahrim, et al.
Veröffentlicht: (2025)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
von: Wang, Wansen, et al.
Veröffentlicht: (2024)

Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
von: Chen, Yizhou, et al.
Veröffentlicht: (2024)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2025)

Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
von: Tehrani, Masoud Jamshidiyan
Veröffentlicht: (2024)

Smart Contract Security Beyond Detection
von: Abdelaziz, Tamer
Veröffentlicht: (2026)

Demystifying Invariant Effectiveness for Securing Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

SmartIntentNN: Towards Smart Contract Intent Detection
von: Huang, Youwei, et al.
Veröffentlicht: (2022)

BPMN to Smart Contract by Business Analyst
von: Liu, C. G., et al.
Veröffentlicht: (2025)

ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
von: Wang, Che, et al.
Veröffentlicht: (2024)

Smart Contract Fuzzing Towards Profitable Vulnerabilities
von: Kong, Ziqiao, et al.
Veröffentlicht: (2025)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
von: Zhang, Jiashuo, et al.
Veröffentlicht: (2024)

Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
von: Manh, Cuong Tran, et al.
Veröffentlicht: (2024)

On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
von: Jin, Monica, et al.
Veröffentlicht: (2025)

SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
von: Su, Jianzhong, et al.
Veröffentlicht: (2024)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
von: Chen, Longfei, et al.
Veröffentlicht: (2025)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
von: Cloosters, Tobias, et al.
Veröffentlicht: (2026)

Enforcing Control Flow Integrity on DeFi Smart Contracts
von: Chen, Zhiyang, et al.
Veröffentlicht: (2025)

OpenSCV: An Open Hierarchical Taxonomy for Smart Contract Vulnerabilities
von: Vidal, Fernando Richter, et al.
Veröffentlicht: (2023)

TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
von: Wang, Shuzheng, et al.
Veröffentlicht: (2025)

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

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
von: Liu, Haiyang, et al.
Veröffentlicht: (2025)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
von: Eshghie, Mojtaba, et al.
Veröffentlicht: (2023)

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
von: Chen, Zhiyang, et al.
Veröffentlicht: (2024)

Vulnerability-Hunter: An Adaptive Feature Perception Attention Network for Smart Contract Vulnerabilities
von: Chen, Yizhou
Veröffentlicht: (2024)

Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
von: Huang, Youwei, et al.
Veröffentlicht: (2025)

SCRUTINEER: Detecting Logic-Level Usage Violations of Reusable Components in Smart Contracts
von: Lin, Xingshuang, et al.
Veröffentlicht: (2025)

Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
von: Chen, Jie, et al.
Veröffentlicht: (2025)

LLM4Fuzz: Guided Fuzzing of Smart Contracts with Large Language Models
von: Shou, Chaofan, et al.
Veröffentlicht: (2024)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
von: Wang, Yishun, et al.
Veröffentlicht: (2026)

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

LLAMA: Multi-Feedback Smart Contract Fuzzing Framework with LLM-Guided Seed Generation
von: Gai, Keke, et al.
Veröffentlicht: (2025)

One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
von: Wang, Zexu, et al.
Veröffentlicht: (2025)

I Know Who Clones Your Code: Interpretable Smart Contract Similarity Detection
von: Liu, Zhenguang, et al.
Veröffentlicht: (2025)

Zero-Shot Vulnerability Detection in Low-Resource Smart Contracts Through Solidity-Only Training
von: Hu, Minghao, et al.
Veröffentlicht: (2026)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
von: Sun, Tianle, et al.
Veröffentlicht: (2024)

DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
von: Medeiros, Ismael, et al.
Veröffentlicht: (2024)

Securing Tomorrow's Smart Cities: Investigating Software Security in Internet of Vehicles and Deep Learning Technologies
von: Jain, Ridhi, et al.
Veröffentlicht: (2024)