Imagen de Portada

ColorGo: Directed Concolic Execution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Li, Jia, Shen, Jiacheng, Su, Yuxin, Lyu, Michael R.
Formato:	Preprint
Publicado:	2025
Materias:	Cryptography and Security Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

VulKey: Automated Vulnerability Repair Guided by Domain-Specific Repair Patterns
por: Li, Jia, et al.
Publicado: (2026)

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

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

Synergistic Directed Execution and LLM-Driven Analysis for Zero-Day AI-Generated Malware Detection
por: Edwards, George, et al.
Publicado: (2026)

What You Trust Is Insecure: Demystifying How Developers (Mis)Use Trusted Execution Environments in Practice
por: Niu, Yuqing, et al.
Publicado: (2025)

Execution-State-Aware LLM Reasoning for Automated Proof-of-Vulnerability Generation
por: Li, Haoyu, et al.
Publicado: (2026)

SeeWasm: An Efficient and Fully-Functional Symbolic Execution Engine for WebAssembly Binaries
por: He, Ningyu, et al.
Publicado: (2024)

SseRex: Practical Symbolic Execution of Solana Smart Contracts
por: Cloosters, Tobias, et al.
Publicado: (2026)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
por: Domenech, Alvaro Alonso, et al.
Publicado: (2024)

Guiding Symbolic Execution with Static Analysis and LLMs for Vulnerability Discovery
por: Shafiuzzaman, Md, et al.
Publicado: (2026)

GoLeash: Mitigating Golang Software Supply Chain Attacks with Runtime Policy Enforcement
por: Cesarano, Carmine, et al.
Publicado: (2025)

Fine-grained Data Access Control for Collaborative Process Execution on Blockchain
por: Marangone, Edoardo, et al.
Publicado: (2022)

Fakeium: A Dynamic Execution Environment for JavaScript Program Analysis
por: Moreno, José Miguel, et al.
Publicado: (2024)

SCALE: Constructing Structured Natural Language Comment Trees for Software Vulnerability Detection
por: Wen, Xin-Cheng, et al.
Publicado: (2024)

An Empirical Study on Remote Code Execution in Machine Learning Model Hosting Ecosystems
por: Siddiq, Mohammed Latif, et al.
Publicado: (2026)

Finding Missing Input Validation in TEEs via LLM-Assisted Symbolic Execution
por: Ma, Chengyan, et al.
Publicado: (2026)

ZTaint-Havoc: From Havoc Mode to Zero-Execution Fuzzing-Driven Taint Inference
por: Xie, Yuchong, et al.
Publicado: (2025)

MCP-SandboxScan: WASM-based Secure Execution and Runtime Analysis for MCP Tools
por: Tan, Zhuoran, et al.
Publicado: (2026)

SmartPoC: Generating Executable and Validated PoCs for Smart Contract Bug Reports
por: Chen, Longfei, et al.
Publicado: (2025)

Vital: Vulnerability-Oriented Symbolic Execution via Type-Unsafe Pointer-Guided Monte Carlo Tree Search
por: Tu, Haoxin, et al.
Publicado: (2024)

DyMA-Fuzz: Dynamic Direct Memory Access Abstraction for Re-hosted Monolithic Firmware Fuzzing
por: Farrelly, Guy, et al.
Publicado: (2026)

An Empirical Study on the Distance Metric in Guiding Directed Grey-box Fuzzing
por: Wen, Tingke, et al.
Publicado: (2024)

PBFuzz: Agentic Directed Fuzzing for PoV Generation
por: Zeng, Haochen, et al.
Publicado: (2025)

Prompt Fuzzing for Fuzz Driver Generation
por: Lyu, Yunlong, et al.
Publicado: (2023)

AFLGopher: Accelerating Directed Fuzzing via Feasibility-Aware Guidance
por: Bai, Weiheng, et al.
Publicado: (2025)

SAND: Decoupling Sanitization from Fuzzing for Low Overhead
por: Kong, Ziqiao, et al.
Publicado: (2024)

zkCraft: Prompt-Guided LLM as a Zero-Shot Mutation Pattern Oracle for TCCT-Powered ZK Fuzzing
por: Fu, Rong, et al.
Publicado: (2026)

Demystifying and Detecting Cryptographic Defects in Ethereum Smart Contracts
por: Zhang, Jiashuo, et al.
Publicado: (2024)

SoK: Where to Fuzz? Assessing Target Selection Methods in Directed Fuzzing
por: Weissberg, Felix, et al.
Publicado: (2025)

Triggering and Detecting Exploitable Library Vulnerability from the Client by Directed Greybox Fuzzing
por: Zhao, Yukai, et al.
Publicado: (2026)

Mono: Is Your "Clean" Vulnerability Dataset Really Solvable? Exposing and Trapping Undecidable Patches and Beyond
por: Gao, Zeyu, et al.
Publicado: (2025)

Locus: Agentic Predicate Synthesis for Directed Fuzzing
por: Zhu, Jie, et al.
Publicado: (2025)

"Your AI, My Shell": Demystifying Prompt Injection Attacks on Agentic AI Coding Editors
por: Liu, Yue, et al.
Publicado: (2025)

How Agentic AI Coding Assistants Become the Attacker's Shell
por: Liu, Yue, et al.
Publicado: (2026)

AgentGuard: A Multi-Agent Framework for Robust Package Confusion Detection via Hybrid Search and Metadata-Content Fusion
por: Li, Yu, et al.
Publicado: (2026)

FuzzAgent: Multi-Agent System for Evolutionary Library Fuzzing
por: Lyu, Yunlong, et al.
Publicado: (2026)

PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
por: Liu, Xiting, et al.
Publicado: (2026)

Towards Demystifying and Repairing LLM-in-the-Loop Vulnerabilities
por: Ma, Yujie, et al.
Publicado: (2026)

AutoVulnPHP: LLM-Powered Two-Stage PHP Vulnerability Detection and Automated Localization
por: Wang, Zhiqiang, et al.
Publicado: (2026)