KIT | KIT-Bibliothek | Impressum | Datenschutz

TraceGate: Policy-Based Disclosure of Structured Crash Evidence for LLM-Assisted Debugging

Schuler, Nicolas ORCID iD icon 1; Mate, Balint 2; Scotti, Vincenzo ORCID iD icon 1; Mirandola, Raffaela 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
2 FZI Forschungszentrum Informatik (FZI)

Abstract (englisch):

Large Language Models (LLMs) are increasingly used in automated debugging and repair. However, most current systems treat failure-time evidence in one of two ways: as a fixed prompt artifact or as the result of an open-ended, model-driven investigation. This misses a fundamental opportunity. In LLM-assisted debugging, the ability to inspect and control what information is made available when a program fails should be treated as a first-class control problem. We present TraceGate, an adaptation layer that sits between failure execution and patch generation. TraceGate captures structured crash snapshots and adaptively decides which evidence to disclose, whether to invoke diagnostic helpers, and when to escalate budget for repair. These decisions are made by lightweight online policies conditioned on failure characteristics, repair history, model identity, and remaining budget, without changing the underlying repair backend. We evaluate TraceGate by augmenting representative LLM-based repair approaches across multiple benchmarks and model sizes. Our results demonstrate that policy-controlled evidence disclosure recovers additional correct repairs in previously unsolved cases while improving the success-cost tradeoff in most evaluated settings. ... mehr


Volltext §
DOI: 10.5445/IR/1000195694
Veröffentlicht am 27.07.2026
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Forschungsbericht/Preprint
Publikationsmonat/-jahr 07.2026
Sprache Englisch
Identifikator KITopen-ID: 1000195694
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Verlag IEEE Computer Society
Umfang 13 S.
Bemerkung zur Veröffentlichung Accepted at ISSRE'26 Research Track
Externe Relationen Siehe auch
Schlagwörter Automatic Program Repair, Code Generation, Debugging, LLM
KIT – Die Universität in der Helmholtz-Gemeinschaft
KITopen Landing Page