Buchumschlag

Hyperion: Unveiling DApp Inconsistencies using LLM and Dataflow-Guided Symbolic Execution

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Yang, Shuo, Lin, Xingwei, Chen, Jiachi, Zhong, Qingyuan, Xiao, Lei, Huang, Renke, Wang, Yanlin, Zheng, Zibin
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

NumScout: Unveiling Numerical Defects in Smart Contracts using LLM-Pruning Symbolic Execution
von: Chen, Jiachi, et al.
Veröffentlicht: (2025)

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

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

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

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

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

SmartReco: Detecting Read-Only Reentrancy via Fine-Grained Cross-DApp Analysis
von: Zhang, Jingwen, et al.
Veröffentlicht: (2024)

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

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

MCGMark: An Encodable and Robust Online Watermark for Tracing LLM-Generated Malicious Code
von: Ning, Kaiwen, et al.
Veröffentlicht: (2024)

Uncover the Premeditated Attacks: Detecting Exploitable Reentrancy Vulnerabilities by Identifying Attacker Contracts
von: Yang, Shuo, 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)

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

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

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

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

When to Stop? Towards Efficient Code Generation in LLMs with Excess Token Prevention
von: Guo, Lianghong, et al.
Veröffentlicht: (2024)

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

WakeMint: Detecting Sleepminting Vulnerabilities in NFT Smart Contracts
von: Xiao, Lei, 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)

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

Python Symbolic Execution with LLM-powered Code Generation
von: Wang, Wenhan, et al.
Veröffentlicht: (2024)

You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
von: Wang, Yanlin, et al.
Veröffentlicht: (2024)

SparseCoder: Identifier-Aware Sparse Transformer for File-Level Code Summarization
von: Wang, Yanlin, et al.
Veröffentlicht: (2024)

RiskTagger: An LLM-based Agent for Automatic Annotation of Web3 Crypto Money Laundering Behaviors
von: Lin, Dan, et al.
Veröffentlicht: (2025)

ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis
von: Su, Bowei, et al.
Veröffentlicht: (2026)

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)

TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
von: Gong, Zhihao, et al.
Veröffentlicht: (2026)

TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation
von: Gong, Zhihao, 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)

DRAINCODE: Stealthy Energy Consumption Attacks on Retrieval-Augmented Code Generation via Context Poisoning
von: Wang, Yanlin, et al.
Veröffentlicht: (2026)

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

OmniGIRL: A Multilingual and Multimodal Benchmark for GitHub Issue Resolution
von: Guo, Lianghong, et al.
Veröffentlicht: (2025)

AnomalyGen: Enhancing Log-Based Anomaly Detection with Code-Guided Data Augmentation
von: Li, Xinyu, et al.
Veröffentlicht: (2026)

SimpleDevQA: Benchmarking Large Language Models on Development Knowledge QA
von: Zhang, Jing, et al.
Veröffentlicht: (2025)

KTester: Leveraging Domain and Testing Knowledge for More Effective LLM-based Test Generation
von: Li, Anji, et al.
Veröffentlicht: (2025)

SWE-Factory: Your Automated Factory for Issue Resolution Training Data and Evaluation Benchmarks
von: Guo, Lianghong, et al.
Veröffentlicht: (2025)

Agents in Software Engineering: Survey, Landscape, and Vision
von: Wang, Yanlin, et al.
Veröffentlicht: (2024)

RMCBench: Benchmarking Large Language Models' Resistance to Malicious Code
von: Chen, Jiachi, et al.
Veröffentlicht: (2024)