Imagen de Portada

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Saumya, Charitha, Hassan, Muhammad, Gangaraju, Rohan, Kulkarni, Milind, Sundararajah, Kirshanthan
Formato:	Preprint
Publicado:	2023
Materias:	Software Engineering Programming Languages
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

TENSURE: Fuzzing Sparse Tensor Compilers (Registered Report)
por: Mahathevan, Kabilan, et al.
Publicado: (2026)

Multi-Pass Targeted Dynamic Symbolic Execution
por: Yavuz, Tuba
Publicado: (2024)

Assessing Large Language Models for Stabilizing Numerical Expressions in Scientific Software
por: Nguyen, Tien, et al.
Publicado: (2026)

Eliminate Branches by Melding IR Instructions
por: Li, Yuze, et al.
Publicado: (2025)

Efficient Symbolic Execution of Software under Fault Attacks
por: Fang, Yuzhou, et al.
Publicado: (2025)

Python Symbolic Execution with LLM-powered Code Generation
por: Wang, Wenhan, et al.
Publicado: (2024)

SparseAuto: An Auto-Scheduler for Sparse Tensor Computations Using Recursive Loop Nest Restructuring
por: Dias, Adhitha, et al.
Publicado: (2023)

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code
por: Bouras, Dimitrios Stamatios, et al.
Publicado: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
por: Feng, Rong, et al.
Publicado: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
por: Diamantakis, Panagiotis, et al.
Publicado: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
por: Bayer, Jonas, et al.
Publicado: (2026)

A Roadmap for Tamed Interactions with Large Language Models
por: Scotti, Vincenzo, et al.
Publicado: (2025)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
por: Guerin, Cormac, et al.
Publicado: (2026)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
por: Rho, Sanghoon, et al.
Publicado: (2024)

Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
por: Tempel, Sören, et al.
Publicado: (2024)

Hydra: Efficient, Correct Code Generation via Checkpoint-and-Rollback Support
por: Du, Alexander, et al.
Publicado: (2026)

Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer Analysis
por: Zhang, Jiahao, et al.
Publicado: (2025)

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

Symbolic Execution Meets Multi-LLM Orchestration: Detecting Memory Vulnerabilities in Incomplete Rust CVE Snippets
por: Abdelrazek, Zeyad, et al.
Publicado: (2026)

Quantitative Symbolic Patch Impact Analysis
por: Sarker, Laboni, et al.
Publicado: (2026)

NESA: Relational Neuro-Symbolic Static Program Analysis
por: Wang, Chengpeng, et al.
Publicado: (2024)

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

Choosing the Right Communication Protocol for your Web Application
por: Hassan, Mohamed
Publicado: (2024)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
por: Ye, He, et al.
Publicado: (2023)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
por: Baek, Doehyun, et al.
Publicado: (2025)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
por: Bhatia, Rishipal Singh
Publicado: (2026)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
por: Liu, Peipei, et al.
Publicado: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
por: Marron, Mark
Publicado: (2024)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
por: Zhao, Jianhong, et al.
Publicado: (2024)

Generating Verifiable Chain of Thoughts from Exection-Traces
por: Thakur, Shailja, et al.
Publicado: (2025)

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
por: Yrievich, Petro Baran
Publicado: (2026)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
por: Sun, Zhensu, et al.
Publicado: (2026)

A Unified Framework for Automated Code Transformation and Pragma Insertion
por: Pouget, Stéphane, et al.
Publicado: (2024)

Enhancing Translation Validation of Compiler Transformations with Large Language Models
por: Wang, Yanzhao, et al.
Publicado: (2024)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
por: Stemmler, Fabian, et al.
Publicado: (2025)

Retrofitting Control Flow Graphs in LLVM IR for Auto Vectorization
por: Fang, Shihan, et al.
Publicado: (2025)

LLMigrate: Transforming "Lazy" Large Language Models into Efficient Source Code Migrators
por: Liu, Yuchen, et al.
Publicado: (2025)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
por: Antal, Gábor, et al.
Publicado: (2024)

Parsimonious Optimal Dynamic Partial Order Reduction
por: Abdulla, Parosh Aziz, et al.
Publicado: (2024)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
por: Chatterjee, Bodhisatwa, et al.
Publicado: (2024)