Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
Fuente:
arXiv
Guardado en:
| Autores principales: | Song, Hao, Li, Teng, Chen, Jiachi, Chen, Ting, Li, Beibei, Lin, Zhangyan, Lu, Yi, Li, Pan, Zhou, Xihan |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
Definition and Detection of Centralization Defects in Smart Contracts
por: Lin, Zewei, et al.
Publicado: (2024)
por: Lin, Zewei, et al.
Publicado: (2024)
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
por: Zhang, Jiashuo, et al.
Publicado: (2024)
por: Zhang, Jiashuo, et al.
Publicado: (2024)
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
por: Chen, Jiachi, et al.
Publicado: (2025)
por: Chen, Jiachi, et al.
Publicado: (2025)
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
por: Wang, Zexu, et al.
Publicado: (2024)
por: Wang, Zexu, et al.
Publicado: (2024)
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
por: Chen, Chong, et al.
Publicado: (2023)
por: Chen, Chong, et al.
Publicado: (2023)
CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
por: Lin, Zewei, et al.
Publicado: (2024)
por: Lin, Zewei, et al.
Publicado: (2024)
Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
por: Chen, Jiachi, et al.
Publicado: (2024)
por: Chen, Jiachi, et al.
Publicado: (2024)
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
por: Su, Jianzhong, et al.
Publicado: (2024)
por: Su, Jianzhong, et al.
Publicado: (2024)
Automated Invariant Generation for Solidity Smart Contracts
por: Liu, Ye, et al.
Publicado: (2024)
por: Liu, Ye, et al.
Publicado: (2024)
StateGuard: Detecting State Derailment Defects in Decentralized Exchange Smart Contract
por: Li, Zongwei, et al.
Publicado: (2024)
por: Li, Zongwei, et al.
Publicado: (2024)
Unity is Strength: Enhancing Precision in Reentrancy Vulnerability Detection of Smart Contract Analysis Tools
por: Wang, Zexu, et al.
Publicado: (2024)
por: Wang, Zexu, et al.
Publicado: (2024)
Trace: Securing Smart Contract Repository Against Access Control Vulnerability
por: Chen, Chong, et al.
Publicado: (2025)
por: Chen, Chong, et al.
Publicado: (2025)
SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
por: Li, Xiaoqi, et al.
Publicado: (2024)
por: Li, Xiaoqi, et al.
Publicado: (2024)
Demystifying the Characteristics for Smart Contract Upgrades
por: Liu, Ye, et al.
Publicado: (2024)
por: Liu, Ye, et al.
Publicado: (2024)
OpenAI for OpenAPI: Automated generation of REST API specification via LLMs
por: Chen, Hao, et al.
Publicado: (2026)
por: Chen, Hao, et al.
Publicado: (2026)
DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
por: Zheng, Zibin, et al.
Publicado: (2023)
por: Zheng, Zibin, et al.
Publicado: (2023)
One Signature, Multiple Payments: Demystifying and Detecting Signature Replay Vulnerabilities in Smart Contracts
por: Wang, Zexu, et al.
Publicado: (2025)
por: Wang, Zexu, et al.
Publicado: (2025)
Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
por: Wu, Hao, et al.
Publicado: (2025)
por: Wu, Hao, et al.
Publicado: (2025)
Understanding Inconsistent State Update Vulnerabilities in Smart Contracts
por: Li, Lantian, et al.
Publicado: (2025)
por: Li, Lantian, et al.
Publicado: (2025)
SCPatcher: Automated Smart Contract Code Repair via Retrieval-Augmented Generation and Knowledge Graph
por: Li, Xiaoqi, et al.
Publicado: (2026)
por: Li, Xiaoqi, et al.
Publicado: (2026)
Defining and Detecting the Defects of the Large Language Model-based Autonomous Agents
por: Ning, Kaiwen, et al.
Publicado: (2024)
por: Ning, Kaiwen, et al.
Publicado: (2024)
Beyond the Protocol: Unveiling Attack Vectors in the Model Context Protocol (MCP) Ecosystem
por: Song, Hao, et al.
Publicado: (2025)
por: Song, Hao, et al.
Publicado: (2025)
Automating Comment Generation for Smart Contract from Bytecode
por: Xiang, Jianhang, et al.
Publicado: (2025)
por: Xiang, Jianhang, et al.
Publicado: (2025)
Smart Contract Vulnerability Detection based on Static Analysis and Multi-Objective Search
por: Li, Dongcheng, et al.
Publicado: (2024)
por: Li, Dongcheng, et al.
Publicado: (2024)
Knowdit: Agentic Smart Contract Vulnerability Detection with Auditing Knowledge Summarization
por: Kong, Ziqiao, et al.
Publicado: (2026)
por: Kong, Ziqiao, et al.
Publicado: (2026)
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
por: Lin, Zewei, et al.
Publicado: (2026)
por: Lin, Zewei, et al.
Publicado: (2026)
SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
por: Ye, Zhifan, et al.
Publicado: (2025)
por: Ye, Zhifan, et al.
Publicado: (2025)
Are We There Yet? Unraveling the State-of-the-Art Smart Contract Fuzzers
por: Wu, Shuohan, et al.
Publicado: (2024)
por: Wu, Shuohan, et al.
Publicado: (2024)
Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
por: Yang, Shuo, et al.
Publicado: (2024)
por: Yang, Shuo, et al.
Publicado: (2024)
Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction
por: Liu, Ye, et al.
Publicado: (2024)
por: Liu, Ye, et al.
Publicado: (2024)
When Large Language Models Meet UAV Projects: An Empirical Study from Developers' Perspective
por: Chen, Yihua, et al.
Publicado: (2025)
por: Chen, Yihua, et al.
Publicado: (2025)
WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
por: Xiao, Lei, et al.
Publicado: (2025)
por: Xiao, Lei, et al.
Publicado: (2025)
Deep Smart Contract Intent Detection
por: Huang, Youwei, et al.
Publicado: (2022)
por: Huang, Youwei, et al.
Publicado: (2022)
SmartIntentNN: Towards Smart Contract Intent Detection
por: Huang, Youwei, et al.
Publicado: (2022)
por: Huang, Youwei, et al.
Publicado: (2022)
Improving Smart Contract Security with Contrastive Learning-based Vulnerability Detection
por: Chen, Yizhou, et al.
Publicado: (2024)
por: Chen, Yizhou, et al.
Publicado: (2024)
OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond
por: Chen, Zhiyang, et al.
Publicado: (2024)
por: Chen, Zhiyang, et al.
Publicado: (2024)
Do Automated Fixes Truly Mitigate Smart Contract Exploits?
por: Bobadilla, Sofia, et al.
Publicado: (2025)
por: Bobadilla, Sofia, et al.
Publicado: (2025)
Belobog: Move Language Fuzzing Framework For Real-World Smart Contracts
por: Kong, Ziqiao, et al.
Publicado: (2025)
por: Kong, Ziqiao, et al.
Publicado: (2025)
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
por: Liao, Zeqin, et al.
Publicado: (2024)
por: Liao, Zeqin, et al.
Publicado: (2024)
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
por: Liao, Zeqin, et al.
Publicado: (2025)
por: Liao, Zeqin, et al.
Publicado: (2025)
Ejemplares similares
-
Definition and Detection of Centralization Defects in Smart Contracts
por: Lin, Zewei, et al.
Publicado: (2024) -
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
por: Zhang, Jiashuo, et al.
Publicado: (2024) -
NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
por: Chen, Jiachi, et al.
Publicado: (2025) -
Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
por: Wang, Zexu, et al.
Publicado: (2024) -
When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
por: Chen, Chong, et al.
Publicado: (2023)