3 papers
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…
cs.PL2025
Practical Type-Based Taint Checking and Inference (Extended Version)
Nima Karimipour, Kanak Das, Manu Sridharan +1
Many important security properties can be formulated in terms of flows of tainted data, and improved taint analysis tools to prevent such flows are of critical need. Most existing…