SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
Fuente:
arXiv
Salvato in:
| Autori principali: | Liao, Zeqin, Hao, Sicheng, Nan, Yuhong, Zheng, Zibin |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
di: Liao, Zeqin, et al.
Pubblicazione: (2024)
di: Liao, Zeqin, et al.
Pubblicazione: (2024)
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
di: Liao, Zeqin, et al.
Pubblicazione: (2025)
di: Liao, Zeqin, et al.
Pubblicazione: (2025)
Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
di: Liao, Zeqin, et al.
Pubblicazione: (2025)
di: Liao, Zeqin, et al.
Pubblicazione: (2025)
SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
di: Zhang, Jingwen, et al.
Pubblicazione: (2024)
di: Zhang, Jingwen, et al.
Pubblicazione: (2024)
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
di: Su, Jianzhong, et al.
Pubblicazione: (2024)
di: Su, Jianzhong, et al.
Pubblicazione: (2024)
Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
di: Wu, Hao, et al.
Pubblicazione: (2025)
di: Wu, Hao, et al.
Pubblicazione: (2025)
WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
di: Xiao, Lei, et al.
Pubblicazione: (2025)
di: Xiao, Lei, et al.
Pubblicazione: (2025)
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
di: Wang, Zexu, et al.
Pubblicazione: (2024)
di: Wang, Zexu, et al.
Pubblicazione: (2024)
Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
di: Liang, Ruichao, et al.
Pubblicazione: (2024)
di: Liang, Ruichao, et al.
Pubblicazione: (2024)
Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
di: Li, Lantian, et al.
Pubblicazione: (2025)
di: Li, Lantian, et al.
Pubblicazione: (2025)
V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
di: Zhang, Jingwen, et al.
Pubblicazione: (2026)
di: Zhang, Jingwen, et al.
Pubblicazione: (2026)
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
di: Wang, Zexu, et al.
Pubblicazione: (2024)
di: Wang, Zexu, et al.
Pubblicazione: (2024)
Definition and Detection of Centralization Defects in Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)
di: Lin, Zewei, et al.
Pubblicazione: (2024)
StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract
di: Li, Zongwei, et al.
Pubblicazione: (2024)
di: Li, Zongwei, et al.
Pubblicazione: (2024)
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
di: Chen, Chong, et al.
Pubblicazione: (2023)
di: Chen, Chong, et al.
Pubblicazione: (2023)
Trace: Securing Smart Contract Repository Against Access Control Vulnerability
di: Chen, Chong, et al.
Pubblicazione: (2025)
di: Chen, Chong, et al.
Pubblicazione: (2025)
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
di: Wu, Shuohan, et al.
Pubblicazione: (2024)
di: Wu, Shuohan, et al.
Pubblicazione: (2024)
ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
di: Su, Bowei, et al.
Pubblicazione: (2026)
di: Su, Bowei, et al.
Pubblicazione: (2026)
One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
di: Wang, Zexu, et al.
Pubblicazione: (2025)
di: Wang, Zexu, et al.
Pubblicazione: (2025)
Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
di: Li, Dongcheng, et al.
Pubblicazione: (2024)
di: Li, Dongcheng, et al.
Pubblicazione: (2024)
CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
di: Lin, Zewei, et al.
Pubblicazione: (2024)
di: Lin, Zewei, et al.
Pubblicazione: (2024)
An Empirical Study on Embodied Artificial Intelligence Robot (EAIR) Software Bugs
di: Liao, Zeqin, et al.
Pubblicazione: (2025)
di: Liao, Zeqin, et al.
Pubblicazione: (2025)
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
di: Chen, Yizhou, et al.
Pubblicazione: (2024)
di: Chen, Yizhou, et al.
Pubblicazione: (2024)
Impact of Code Transformation on Detection of Smart Contract Vulnerabilities
di: Manh, Cuong Tran, et al.
Pubblicazione: (2024)
di: Manh, Cuong Tran, et al.
Pubblicazione: (2024)
ChainFuzzer: Greybox Fuzzing for Workflow-Level Multi-Tool Vulnerabilities in LLM Agents
di: Wu, Jiangrong, et al.
Pubblicazione: (2026)
di: Wu, Jiangrong, et al.
Pubblicazione: (2026)
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
di: Zheng, Zibin, et al.
Pubblicazione: (2023)
di: Zheng, Zibin, et al.
Pubblicazione: (2023)
Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
di: Chen, Jiachi, et al.
Pubblicazione: (2024)
di: Chen, Jiachi, et al.
Pubblicazione: (2024)
Fixing Smart Contract Vulnerabilities: A Comparative Analysis of Literature and Developer's Practices
di: Salzano, Francesco, et al.
Pubblicazione: (2024)
di: Salzano, Francesco, et al.
Pubblicazione: (2024)
Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
di: Zhang, Jango
Pubblicazione: (2024)
di: Zhang, Jango
Pubblicazione: (2024)
On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
di: Jin, Monica, et al.
Pubblicazione: (2025)
di: Jin, Monica, et al.
Pubblicazione: (2025)
Smart Contract Fuzzing Towards Profitable Vulnerabilities
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)
di: Kong, Ziqiao, et al.
Pubblicazione: (2025)
ETrace:Event-Driven Vulnerability Detection in Smart Contracts via LLM-Based Trace Analysis
di: Peng, Chenyang, et al.
Pubblicazione: (2025)
di: Peng, Chenyang, et al.
Pubblicazione: (2025)
Smart Contract Vulnerabilities, Tools, and Benchmarks: an Updated Systematic Literature Review
di: Iuliano, Gerardo, et al.
Pubblicazione: (2024)
di: Iuliano, Gerardo, et al.
Pubblicazione: (2024)
PrAIoritize: Automated Early Prediction and Prioritization of Vulnerabilities in Smart Contracts
di: Soud, Majd, et al.
Pubblicazione: (2023)
di: Soud, Majd, et al.
Pubblicazione: (2023)
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
di: Chen, Jiachi, et al.
Pubblicazione: (2025)
di: Chen, Jiachi, et al.
Pubblicazione: (2025)
GPTScan: Detecting Logic Vulnerabilities in Smart Contracts by Combining GPT with Program Analysis
di: Sun, Yuqiang, et al.
Pubblicazione: (2023)
di: Sun, Yuqiang, et al.
Pubblicazione: (2023)
Multi-Agent Collaborative Fuzzing with Continuous Reflection for Smart Contracts Vulnerability Detection
di: Chen, Jie, et al.
Pubblicazione: (2025)
di: Chen, Jie, et al.
Pubblicazione: (2025)
Assessing Vulnerability in Smart Contracts: The Role of Code Complexity Metrics in Security Analysis
di: Tehrani, Masoud Jamshidiyan
Pubblicazione: (2024)
di: Tehrani, Masoud Jamshidiyan
Pubblicazione: (2024)
ContractTinker: LLM-Empowered Vulnerability Repair for Real-World Smart Contracts
di: Wang, Che, et al.
Pubblicazione: (2024)
di: Wang, Che, et al.
Pubblicazione: (2024)
SmartIntentNN: Towards Smart Contract Intent Detection
di: Huang, Youwei, et al.
Pubblicazione: (2022)
di: Huang, Youwei, et al.
Pubblicazione: (2022)
Documenti analoghi
-
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
di: Liao, Zeqin, et al.
Pubblicazione: (2024) -
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
di: Liao, Zeqin, et al.
Pubblicazione: (2025) -
Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
di: Liao, Zeqin, et al.
Pubblicazione: (2025) -
SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
di: Zhang, Jingwen, et al.
Pubblicazione: (2024) -
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
di: Su, Jianzhong, et al.
Pubblicazione: (2024)