Buchumschlag

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Chen, Jiachi, Shao, Zhenzhe, Yang, Shuo, Shen, Yiming, Wang, Yanlin, Chen, Ting, Shan, Zhenyu, Zheng, Zibin
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

FORGE: An LLM-driven Framework for Large-Scale Smart Contract Vulnerability Dataset Construction
von: Chen, Jiachi, et al.
Veröffentlicht: (2025)

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

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

Definition and Detection of Centralization Defects in Smart Contracts
von: Lin, Zewei, et al.
Veröffentlicht: (2024)

Trace: Securing Smart Contract Repository Against Access Control Vulnerability
von: Chen, Chong, et al.
Veröffentlicht: (2025)

Identifying Smart Contract Security Issues in Code Snippets from Stack Overflow
von: Chen, Jiachi, et al.
Veröffentlicht: (2024)

Efficiently Detecting Reentrancy Vulnerabilities in Complex Smart Contracts
von: Wang, Zexu, et al.
Veröffentlicht: (2024)

When ChatGPT Meets Smart Contract Vulnerability Detection: How Far Are We?
von: Chen, Chong, et al.
Veröffentlicht: (2023)

SolContractEval: A Benchmark for Evaluating Contract-Level Solidity Code Generation
von: Ye, Zhifan, et al.
Veröffentlicht: (2025)

CRPWarner: Warning the Risk of Contract-related Rug Pull in DeFi Smart Contracts
von: Lin, Zewei, et al.
Veröffentlicht: (2024)

Enhancing The Open Network: Definition and Automated Detection of Smart Contract Defects
von: Song, Hao, et al.
Veröffentlicht: (2025)

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

DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects
von: Zheng, Zibin, et al.
Veröffentlicht: (2023)

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
von: Yang, Shuo, et al.
Veröffentlicht: (2024)

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
von: Xiao, Lei, et al.
Veröffentlicht: (2025)

LLM Hallucinations in Practical Code Generation: Phenomena, Mechanism, and Mitigation
von: Zhang, Ziyao, et al.
Veröffentlicht: (2024)

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

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

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

An Empirical Study of Agent Developer Practices in AI Agent Frameworks
von: Wang, Yanlin, et al.
Veröffentlicht: (2025)

Copy-and-Paste? Identifying EVM-Inequivalent Code Smells in Multi-chain Reuse Contracts
von: Wang, Zexu, et al.
Veröffentlicht: (2025)

An Empirical Study on Low-Code Programming using Traditional vs Large Language Model Support
von: Liu, Yongkun, et al.
Veröffentlicht: (2024)

RLCoder: Reinforcement Learning for Repository-Level Code Completion
von: Wang, Yanlin, et al.
Veröffentlicht: (2024)

A Survey of Large Language Models for Code: Evolution, Benchmarking, and Future Trends
von: Zheng, Zibin, et al.
Veröffentlicht: (2023)

Web3 x AI Agents: Landscape, Integrations, and Foundational Challenges
von: Shen, Yiming, et al.
Veröffentlicht: (2025)

SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
von: Lin, Zewei, et al.
Veröffentlicht: (2026)

Towards an Understanding of Large Language Models in Software Engineering Tasks
von: Zheng, Zibin, et al.
Veröffentlicht: (2023)

V2E: Validating Smart Contract Vulnerabilities through Profit-driven Exploit Generation and Execution
von: Zhang, Jingwen, et al.
Veröffentlicht: (2026)

Beyond the Protocol: Unveiling Attack Vectors in the Model Context Protocol (MCP) Ecosystem
von: Song, Hao, et al.
Veröffentlicht: (2025)

Defining and Detecting the Defects of the Large Language Model-based Autonomous Agents
von: Ning, Kaiwen, et al.
Veröffentlicht: (2024)

NeuroSCA: Neuro-Symbolic Constraint Abstraction for Smart Contract Hybrid Fuzzing
von: Liang, Haochen, et al.
Veröffentlicht: (2026)

SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis
von: Liao, Zeqin, et al.
Veröffentlicht: (2024)

Demystifying the Characteristics for Smart Contract Upgrades
von: Liu, Ye, et al.
Veröffentlicht: (2024)

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

Advances and Frontiers of LLM-based Issue Resolution in Software Engineering: A Comprehensive Survey
von: Li, Caihua, et al.
Veröffentlicht: (2026)

Augmenting Smart Contract Decompiler Output through Fine-grained Dependency Analysis and LLM-facilitated Semantic Recovery
von: Liao, Zeqin, et al.
Veröffentlicht: (2025)

Beyond Functional Correctness: Investigating Coding Style Inconsistencies in Large Language Models
von: Wang, Yanlin, et al.
Veröffentlicht: (2024)

RealSec-bench: A Benchmark for Evaluating Secure Code Generation in Real-World Repositories
von: Wang, Yanlin, et al.
Veröffentlicht: (2026)

AlignCoder: Aligning Retrieval with Target Intent for Repository-Level Code Completion
von: Jiang, Tianyue, et al.
Veröffentlicht: (2026)

EffiReasonTrans: RL-Optimized Reasoning for Code Translation
von: Wang, Yanlin, et al.
Veröffentlicht: (2025)