Image de couverture de livre

StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Li, Zongwei, Li, Wenkai, Li, Xiaoqi, Zhang, Yuqing
Format:	Preprint
Publié:	2024
Sujets:	Software Engineering
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Guardians of the Ledger: Protecting Decentralized Exchanges from State Derailment Defects
par: Li, Zongwei, et autres
Publié: (2024)

LibScan: Smart Contract Library Misuse Detection with Iterative Feedback and Static Verification
par: Wang, Yishun, et autres
Publié: (2026)

SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
par: Li, Xiaoqi, et autres
Publié: (2026)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
par: Li, Xiaoqi, et autres
Publié: (2024)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
par: Song, Hao, et autres
Publié: (2025)

Definition and Detection of Centralization Defects in Smart Contracts
par: Lin, Zewei, et autres
Publié: (2024)

Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
par: Li, Lantian, et autres
Publié: (2025)

Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
par: Wu, Hao, et autres
Publié: (2025)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
par: Liao, Zeqin, et autres
Publié: (2024)

Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
par: Wu, Shuohan, et autres
Publié: (2024)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
par: Zhang, Jiashuo, et autres
Publié: (2024)

Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
par: Liang, Ruichao, et autres
Publié: (2024)

A Comprehensive Study of Exploitable Patterns in Smart Contracts: From Vulnerability to Defense
par: Ding, Yuchen, et autres
Publié: (2025)

SmartIntentNN: Towards Smart Contract Intent Detection
par: Huang, Youwei, et autres
Publié: (2022)

Deep Smart Contract Intent Detection
par: Huang, Youwei, et autres
Publié: (2022)

Automated Invariant Generation for Solidity Smart Contracts
par: Liu, Ye, et autres
Publié: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
par: Liu, Ye, et autres
Publié: (2024)

Smart Hiring Redefined: An Intelligent Recruitment Management Platform
par: Wu, Fangzhe, et autres
Publié: (2025)

HighGuard: Cross-Chain Business Logic Monitoring of Smart Contracts
par: Eshghie, Mojtaba, et autres
Publié: (2023)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
par: Wang, Zexu, et autres
Publié: (2024)

Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
par: Li, Dongcheng, et autres
Publié: (2024)

An Empirical Analysis of EOS Blockchain: Architecture, Contract, and Security
par: Liu, Haiyang, et autres
Publié: (2025)

Understanding and Predicting Derailment in Toxic Conversations on GitHub
par: Imran, Mia Mohammad, et autres
Publié: (2025)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
par: Liu, Ye, et autres
Publié: (2025)

Detecting Malicious Intents in Smart Contracts with Pre-trained Programming Language Models
par: Huang, Youwei, et autres
Publié: (2025)

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
par: Liu, Ye, et autres
Publié: (2024)

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
par: Chen, Jiachi, et autres
Publié: (2025)

Validation Framework for E-Contract and Smart Contract
par: Godboley, Sangharatna, et autres
Publié: (2025)

MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models
par: Yuan, Hang, et autres
Publié: (2025)

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

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
par: Xiao, Lei, et autres
Publié: (2025)

Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
par: Liao, Zeqin, et autres
Publié: (2025)

ContractTrace: Retracing Smart Contract Versions for Security Analyses
par: Mbodji, Fatou Ndiaye, et autres
Publié: (2024)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
par: Lin, Zewei, et autres
Publié: (2024)

SmartML: Towards a Modeling Language for Smart Contracts
par: Veschetti, Adele, et autres
Publié: (2024)

SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
par: Liao, Zeqin, et autres
Publié: (2024)

Effective Targeted Testing of Smart Contracts
par: Fooladgar, Mahdi, et autres
Publié: (2024)

Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
par: Kong, Ziqiao, et autres
Publié: (2026)

Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
par: Wang, Xin, et autres
Publié: (2025)

Bridging Solidity Evolution Gaps: An LLM-Enhanced Approach for Smart Contract Compilation Error Resolution
par: Ye, Likai, et autres
Publié: (2025)