Buchumschlag

Defusing Logic Bombs in Symbolic Execution with LLM-Generated Ghost Code

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bouras, Dimitrios Stamatios, Mechtaev, Sergey
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Programming Languages Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Statistical Independence Aware Caching for LLM Workflows
von: Dai, Yihan, et al.
Veröffentlicht: (2025)

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

HoarePrompt: Structural Reasoning About Program Correctness in Natural Language
von: Bouras, Dimitrios Stamatios, et al.
Veröffentlicht: (2025)

Executing as You Generate: Hiding Execution Latency in LLM Code Generation
von: Sun, Zhensu, et al.
Veröffentlicht: (2026)

Multi-Pass Targeted Dynamic Symbolic Execution
von: Yavuz, Tuba
Veröffentlicht: (2024)

Efficient Symbolic Execution of Software under Fault Attacks
von: Fang, Yuzhou, et al.
Veröffentlicht: (2025)

PerfCodeGen: Improving Performance of LLM Generated Code with Execution Feedback
von: Peng, Yun, et al.
Veröffentlicht: (2024)

Compressing Code Context for LLM-based Issue Resolution
von: Jia, Haoxiang, et al.
Veröffentlicht: (2026)

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

Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
von: Saumya, Charitha, et al.
Veröffentlicht: (2023)

KAIJU: An Executive Kernel for Intent-Gated Execution of LLM Agents
von: Guerin, Cormac, et al.
Veröffentlicht: (2026)

Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
von: Feng, Rong, et al.
Veröffentlicht: (2025)

Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
von: Dai, Yihan, et al.
Veröffentlicht: (2025)

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

Automated Repair of Ambiguous Problem Descriptions for LLM-Based Code Generation
von: Jia, Haoxiang, et al.
Veröffentlicht: (2025)

Teaching LLMs Program Semantics via Symbolic Execution Traces
von: Bayer, Jonas, et al.
Veröffentlicht: (2026)

COBOLAssist: Analyzing and Fixing Compilation Errors for LLM-Powered COBOL Code Generation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

Dynamic Stability of LLM-Generated Code
von: Rajput, Prateek, et al.
Veröffentlicht: (2025)

Pareto Optimal Code Generation
von: Orlanski, Gabriel, et al.
Veröffentlicht: (2025)

EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
von: van der Vleuten, Noah, et al.
Veröffentlicht: (2025)

SALT4Decompile: Inferring Source-level Abstract Logic Tree for LLM-Based Binary Decompilation
von: Wang, Yongpan, et al.
Veröffentlicht: (2025)

Effective LLM-Driven Code Generation with Pythoness
von: Levin, Kyla H., et al.
Veröffentlicht: (2025)

CUTECat: Concolic Execution for Computational Law
von: Goutagny, Pierre, et al.
Veröffentlicht: (2024)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
von: Chen, Le, et al.
Veröffentlicht: (2025)

Quantitative Symbolic Patch Impact Analysis
von: Sarker, Laboni, et al.
Veröffentlicht: (2026)

Automated Code Editing with Search-Generate-Modify
von: Liu, Changshu, et al.
Veröffentlicht: (2023)

NESA: Relational Neuro-Symbolic Static Program Analysis
von: Wang, Chengpeng, et al.
Veröffentlicht: (2024)

Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
von: Gorna, Karolina, et al.
Veröffentlicht: (2025)

Desyan: A Platform for Seamless Value-Flow and Symbolic Analysis
von: Diamantakis, Panagiotis, et al.
Veröffentlicht: (2025)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
von: Bhatia, Rishipal Singh
Veröffentlicht: (2026)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
von: Baek, Doehyun, et al.
Veröffentlicht: (2025)

PreciseBugCollector: Extensible, Executable and Precise Bug-fix Collection
von: Ye, He, et al.
Veröffentlicht: (2023)

NExT: Teaching Large Language Models to Reason about Code Execution
von: Ni, Ansong, et al.
Veröffentlicht: (2024)

Strengthening Programming Comprehension in Large Language Models through Code Generation
von: Ren, Xiaoning, et al.
Veröffentlicht: (2025)

Toward Programming Languages for Reasoning: Humans, Symbolic Systems, and AI Agents
von: Marron, Mark
Veröffentlicht: (2024)

Finding Compiler Bugs through Cross-Language Code Generator and Differential Testing
von: Feng, Qiong, et al.
Veröffentlicht: (2025)

K-CIRCT: A Layered, Composable, and Executable Formal Semantics for CIRCT Hardware IRs
von: Zhao, Jianhong, et al.
Veröffentlicht: (2024)

COBOL-Coder: Domain-Adapted Large Language Models for COBOL Code Generation and Translation
von: Dau, Anh T. V., et al.
Veröffentlicht: (2026)

Neural Code Translation of Legacy Code: APL to C#
von: Ramadan, Abdulrahman, et al.
Veröffentlicht: (2026)

Stellis: A Strategy Language for Purifying Separation Logic Entailments
von: Wang, Zhiyi, et al.
Veröffentlicht: (2025)