Saved in:
| Main Authors: | Liang, Ruichao, Chen, Jing, Wu, Cong, He, Kun, Wu, Yueming, Sun, Weisong, Du, Ruiying, Zhao, Qingchuan, Liu, Yang |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2406.00921 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
by: Liang, Ruichao, et al.
Published: (2024)
by: Liang, Ruichao, et al.
Published: (2024)
SourceP: Detecting Ponzi Schemes on Ethereum with Source Code
by: Lu, Pengcheng, et al.
Published: (2023)
by: Lu, Pengcheng, et al.
Published: (2023)
EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
by: Liang, Ruichao, et al.
Published: (2026)
by: Liang, Ruichao, et al.
Published: (2026)
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models
by: Wu, Cong, et al.
Published: (2024)
by: Wu, Cong, et al.
Published: (2024)
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
by: Zhang, Jiashuo, et al.
Published: (2024)
by: Zhang, Jiashuo, et al.
Published: (2024)
Debugging Performance Issues in WebAssembly Runtimes via Mutation-based Inference
by: Zeng, Ruiying, et al.
Published: (2026)
by: Zeng, Ruiying, et al.
Published: (2026)
Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
by: Jiang, Shuyao, et al.
Published: (2024)
by: Jiang, Shuyao, et al.
Published: (2024)
Metamorphic Testing for Smart Contract Validation:A Case Study of Ethereum-Based Crowdfunding Contracts
by: Villanueva, Irving Jared, et al.
Published: (2025)
by: Villanueva, Irving Jared, et al.
Published: (2025)
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection
by: Dou, Shihan, et al.
Published: (2024)
by: Dou, Shihan, et al.
Published: (2024)
On-Chain Analysis of Smart Contract Dependency Risks on Ethereum
by: Jin, Monica, et al.
Published: (2025)
by: Jin, Monica, et al.
Published: (2025)
BinCoFer: Three-Stage Purification for Effective C/C++ Binary Third-Party Library Detection
by: Zou, Yayi, et al.
Published: (2025)
by: Zou, Yayi, et al.
Published: (2025)
TraceLLM: Security Diagnosis Through Traces and Smart Contracts in Ethereum
by: Wang, Shuzheng, et al.
Published: (2025)
by: Wang, Shuzheng, et al.
Published: (2025)
UPC Sentinel: An Accurate Approach for Detecting Upgradeability Proxy Contracts in Ethereum
by: Ebrahimi, Amir M., et al.
Published: (2024)
by: Ebrahimi, Amir M., et al.
Published: (2024)
Towards Agentic Runtime Healing
by: Sun, Zhensu, et al.
Published: (2024)
by: Sun, Zhensu, et al.
Published: (2024)
Dissecting Payload-based Transaction Phishing on Ethereum
by: Chen, Zhuo, et al.
Published: (2024)
by: Chen, Zhuo, et al.
Published: (2024)
Hallucination Detection for LLM-based Text-to-SQL Generation via Two-Stage Metamorphic Testing
by: Yang, Bo, et al.
Published: (2025)
by: Yang, Bo, et al.
Published: (2025)
Satellite: Detecting and Analyzing Smart Contract Vulnerabilities caused by Subcontract Misuse
by: Liao, Zeqin, et al.
Published: (2025)
by: Liao, Zeqin, et al.
Published: (2025)
Agent Behavioral Contracts: Formal Specification and Runtime Enforcement for Reliable Autonomous AI Agents
by: Bhardwaj, Varun Pratap
Published: (2026)
by: Bhardwaj, Varun Pratap
Published: (2026)
TGMM: Combining Parse Tree with GPU for Scalable Multilingual and Multi-Granularity Code Clone Detection
by: Ye, Yuhang, et al.
Published: (2024)
by: Ye, Yuhang, et al.
Published: (2024)
Definition and Detection of Centralization Defects in Smart Contracts
by: Lin, Zewei, et al.
Published: (2024)
by: Lin, Zewei, et al.
Published: (2024)
MOS: Towards Effective Smart Contract Vulnerability Detection through Mixture-of-Experts Tuning of Large Language Models
by: Yuan, Hang, et al.
Published: (2025)
by: Yuan, Hang, et al.
Published: (2025)
A Vulnerability Code Intent Summary Dataset
by: Huang, Yifan, et al.
Published: (2025)
by: Huang, Yifan, et al.
Published: (2025)
Knowledge-Based Multi-Agent Framework for Automated Software Architecture Design
by: Zhang, Yiran, et al.
Published: (2025)
by: Zhang, Yiran, et al.
Published: (2025)
RuntimeSlicer: Towards Generalizable Unified Runtime State Representation for Failure Management
by: Zhang, Lingzhe, et al.
Published: (2026)
by: Zhang, Lingzhe, et al.
Published: (2026)
Requirements Development and Formalization for Reliable Code Generation: A Multi-Agent Vision
by: Lu, Xu, et al.
Published: (2025)
by: Lu, Xu, et al.
Published: (2025)
DogeFuzz: A Simple Yet Efficient Grey-box Fuzzer for Ethereum Smart Contracts
by: Medeiros, Ismael, et al.
Published: (2024)
by: Medeiros, Ismael, et al.
Published: (2024)
Detecting State Manipulation Vulnerabilities in Smart Contracts Using LLM and Static Analysis
by: Wu, Hao, et al.
Published: (2025)
by: Wu, Hao, et al.
Published: (2025)
An Effectively $Ω(c)$ Language and Runtime
by: Marron, Mark
Published: (2024)
by: Marron, Mark
Published: (2024)
REDriver: Runtime Enforcement for Autonomous Vehicles
by: Sun, Yang, et al.
Published: (2024)
by: Sun, Yang, et al.
Published: (2024)
Demystifying the Evolution of Neural Networks with BOM Analysis: Insights from a Large-Scale Study of 55,997 GitHub Repositories
by: Ren, Xiaoning, et al.
Published: (2025)
by: Ren, Xiaoning, et al.
Published: (2025)
Detecting Essence Code Clones via Information Theoretic Analysis
by: Zhao, Lida, et al.
Published: (2025)
by: Zhao, Lida, et al.
Published: (2025)
Effective Targeted Testing of Smart Contracts
by: Fooladgar, Mahdi, et al.
Published: (2024)
by: Fooladgar, Mahdi, et al.
Published: (2024)
Proxion: Uncovering Hidden Proxy Smart Contracts for Finding Collision Vulnerabilities in Ethereum
by: Chen, Cheng-Kang, et al.
Published: (2024)
by: Chen, Cheng-Kang, et al.
Published: (2024)
SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis
by: Liao, Zeqin, et al.
Published: (2024)
by: Liao, Zeqin, et al.
Published: (2024)
Unveiling the Role of ChatGPT in Software Development: Insights from Developer-ChatGPT Interactions on GitHub
by: Li, Ruiyin, et al.
Published: (2025)
by: Li, Ruiyin, et al.
Published: (2025)
Implementing Effective Changes in Software Projects to Optimize Runtimes and Minimize Defects
by: Gupta, Kartik
Published: (2025)
by: Gupta, Kartik
Published: (2025)
REprompt: Prompt Generation for Intelligent Software Development Guided by Requirements Engineering
by: Shi, Junjie, et al.
Published: (2026)
by: Shi, Junjie, et al.
Published: (2026)
Combining GPT and Code-Based Similarity Checking for Effective Smart Contract Vulnerability Detection
by: Zhang, Jango
Published: (2024)
by: Zhang, Jango
Published: (2024)
TraceRAG: A LLM-Based Framework for Explainable Android Malware Detection and Behavior Analysis
by: Zhang, Guangyu, et al.
Published: (2025)
by: Zhang, Guangyu, et al.
Published: (2025)
When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure
by: Ma, Jie, et al.
Published: (2026)
by: Ma, Jie, et al.
Published: (2026)
Similar Items
-
Vulseye: Detect Smart Contract Vulnerabilities via Stateful Directed Graybox Fuzzing
by: Liang, Ruichao, et al.
Published: (2024) -
SourceP: Detecting Ponzi Schemes on Ethereum with Source Code
by: Lu, Pengcheng, et al.
Published: (2023) -
EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
by: Liang, Ruichao, et al.
Published: (2026) -
Semantic Sleuth: Identifying Ponzi Contracts via Large Language Models
by: Wu, Cong, et al.
Published: (2024) -
Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
by: Zhang, Jiashuo, et al.
Published: (2024)