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
LLMs are increasingly used in bug analysis to reason about code and judge whether a potential bug can be triggered in realistic execution contexts, with recent work showing promisi…
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…
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…
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…