2 papers
cs.CR2026
CISB-Bench: An Auditable Source--IR Dataset of Compiler-Introduced Security Bugs
Saatvik Pradhan, Anuroop Saini, Pranav Attrey +1
Compiler-introduced security bugs (CISBs) arise when an optimization, lowering, or instrumentation decision changes a security-relevant property of the generated program. They are…
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…