research
∙
06/21/2023
Automatic Inference of Resource Leak Specifications
A resource leak occurs when a program fails to free some finite resource...
share
research
∙
05/13/2022
Automatic Root Cause Quantification for Missing Edges in JavaScript Call Graphs (Extended Version)
Building sound and precise static call graphs for real-world JavaScript ...
research
∙
04/02/2021
Demanded Abstract Interpretation (Extended Version)
We consider the problem of making expressive static analyzers interactiv...
research
∙
07/03/2019
NullAway: Practical Type-Based Null Safety for Java
NullPointerExceptions (NPEs) are a key source of crashes in modern Java ...
research
∙
08/09/2018