Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
Tool-Guided Retrieval-Augmented Repair for Securing LLM-Generated C Code
Vidyut Sriram, Saatvik Pradhan, Suman Saha
Large language models can generate C code from natural-language descriptions, but resulting programs often contain security vulnerabilities and compilation errors, posing risks for…
cs.SE2025
Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution
Rong Feng, Suman Saha
Obfuscation poses a persistent challenge for software engineering tasks such as program comprehension, maintenance, testing, and vulnerability detection. While compiler optimizatio…
cs.SE2025
Can Large Language Models Simulate Symbolic Execution Output Like KLEE?
Rong Feng, Vanisha Gupta, Vivek Patel +2
Symbolic execution helps check programs by exploring different paths based on symbolic inputs. Tools like KLEE are commonly used because they can automatically detect bugs and crea…