Cover Image

Hunting DeFi Vulnerabilities via Context-Sensitive Concolic Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ding, Yepeng, Gervais, Arthur, Wattenhofer, Roger, Sato, Hiroyuki
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Smart Contract and DeFi Security Tools: Do They Meet the Needs of Practitioners?
by: Chaliasos, Stefanos, et al.
Published: (2023)

LLM-Powered Detection of Price Manipulation in DeFi
by: Liu, Lu, et al.
Published: (2025)

Enforcing Control Flow Integrity on DeFi Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2025)

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

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

SoK: Comprehensive Analysis of Rug Pull Causes, Datasets, and Detection Tools in DeFi
by: Sun, Dianxiang, et al.
Published: (2024)

Safeguarding DeFi Smart Contracts against Oracle Deviations
by: Deng, Xun, et al.
Published: (2024)

EvoPoC: Automated Exploit Synthesis for DeFi Smart Contracts via Hierarchical Knowledge Graphs
by: Liang, Ruichao, et al.
Published: (2026)

From Transactions to Exploits: Automated PoC Synthesis for Real-World DeFi Attacks
by: Su, Xing, et al.
Published: (2026)

GenDetect: Generalizing Reactive Detection for Resilience Against Imitative DeFi Attack Cascade
by: Cai, Bowen, et al.
Published: (2026)

Quantum Concolic Testing
by: Xia, Shangzhou, et al.
Published: (2024)

Concolic Testing of JavaScript using Sparkplug
by: Li, Zhe, et al.
Published: (2024)

WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
by: Wang, Wansen, et al.
Published: (2024)

CUTECat: Concolic Execution for Computational Law
by: Goutagny, Pierre, et al.
Published: (2024)

ColorGo: Directed Concolic Execution
by: Li, Jia, et al.
Published: (2025)

CrackMeBench: Binary Reverse Engineering for Agents
by: David, Isaac, et al.
Published: (2026)

Benchmarking Mythos-Linked Bug Rediscovery
by: David, Isaac, et al.
Published: (2026)

Hybrid Concolic Testing with Large Language Models for Guided Path Exploration
by: Eslamimehr, Mahdi
Published: (2026)

Influence-Guided Concolic Testing of Transformer Robustness
by: Hong, Chih-Duo, et al.
Published: (2025)

Concolic Testing on Individual Fairness of Neural Network Models
by: Huang, Ming-I, et al.
Published: (2025)

Cottontail: Large Language Model-Driven Concolic Execution for Highly Structured Test Input Generation
by: Tu, Haoxin, et al.
Published: (2025)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
by: Gorna, Karolina, et al.
Published: (2025)

Exposing Go's Hidden Bugs: A Novel Concolic Framework
by: Gorna, Karolina, et al.
Published: (2025)

Toward a Risk Assessment Framework for Institutional DeFi: A Nine-Dimension Approach
by: Oberholzer, Eva, et al.
Published: (2026)

Characterizing Build Compromises Through Vulnerability Disclosure Analysis
by: Diao, Maimouna Tamah, et al.
Published: (2025)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
by: Qin, Kaihua, et al.
Published: (2026)

From Rookie to Expert: Manipulating LLMs for Automated Vulnerability Exploitation in Enterprise Software
by: Diouf, Moustapha Awwalou, et al.
Published: (2025)

SVA-ICL: Improving LLM-based Software Vulnerability Assessment via In-Context Learning and Information Fusion
by: Gao, Chaoyang, et al.
Published: (2025)

Context-Enhanced Vulnerability Detection Based on Large Language Model
by: Yang, Yixin, et al.
Published: (2025)

Context-Sensitive Pointer Analysis for ArkTS
by: Yang, Yizhuo, et al.
Published: (2026)

Agentic LMs: Hunting Down Test Smells
by: Melo, Rian, et al.
Published: (2025)

Learning to Focus: Context Extraction for Efficient Code Vulnerability Detection with Language Models
by: Zheng, Xinran, et al.
Published: (2025)

DeFi: Concepts and Ecosystem
by: Costa, Carlos J.
Published: (2024)

Verification-Guided Context Optimization for Tool Calling via Hierarchical LLMs-as-Editors
by: Li, Henger, et al.
Published: (2025)

From TinyGo to gc Compiler: Extending Zorya's Concolic Framework to Real-World Go Binaries
by: Gorna, Karolina, et al.
Published: (2026)

All Your Tokens are Belong to Us: Demystifying Address Verification Vulnerabilities in Solidity Smart Contracts
by: Sun, Tianle, et al.
Published: (2024)

There are More Fish in the Sea: Automated Vulnerability Repair via Binary Templates
by: Lin, Bo, et al.
Published: (2024)

Multi-Agent End-to-End Vulnerability Management for Mitigating Recurring Vulnerabilities
by: Zheng, Zelong, et al.
Published: (2026)

VULPO: Context-Aware Vulnerability Detection via On-Policy LLM Optimization
by: Li, Youpeng, et al.
Published: (2025)

Hunting CUDA Bugs at Scale with cuFuzz
by: ziad, Mohamed Tarek Ibn, et al.
Published: (2026)