5 papers
Uncovering the Limits of Proof Sharing for Neural Networks
Kanak Das, Shubham Ugare, Bor-Yuh Evan Chang +3
Robustness verification of neural networks is increasingly important, due to their use in many critical domains. In certain scenarios, proof sharing has been shown to accelerate in…
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…
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…
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…
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…