Showing cs.SEShow all
3 papers · 1 filter
cs.SE2026
The Hitchhiker's Guide to Program Analysis, Part III: Mostly Harmless LLMs
Haonan Li, Tianyang Zhou, Manu Sridharan +2
Filtering out a static-analysis warning asserts that no feasible execution can trigger the reported error, whereas confirming a bug requires only one that does. Recent work uses LL…
cs.SE2025
Repairing Leaks in Resource Wrappers
Sanjay Malakar, Michael D. Ernst, Martin Kellogg +1
A resource leak occurs when a program fails to release a finite resource like a socket, file descriptor or database connection. While sound static analysis tools can detect all lea…
cs.SE2025
LLM-Based Repair of Static Nullability Errors
Nima Karimipour, Pascal Joos, Michael Pradel +2
Modern Java projects increasingly adopt static analysis tools that prevent null-pointer exceptions by treating nullness as a type property. However, integrating such tools into lar…