1 citations · 1 across the 3 of their papers we have counts for
4 papers
Resource Leak Checker (RLC#) for C# Code using CodeQL
Pritam Gharat, Narges Shadab, Shrey Tiwari +2
Resource leaks occur when a program fails to release a finite resource after it is no longer needed. These leaks are a significant cause of real-world crashes and performance issue…
Inference of Resource Management Specifications
Narges Shadab, Pritam Gharat, Shrey Tiwari +5
A resource leak occurs when a program fails to free some finite resource after it is no longer needed. Such leaks are a significant cause of real-world crashes and performance prob…
Generalized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Flow- and context-sensitive points-to analysis is difficult to scale; for top-down approaches, the problem centers on repeated analysis of the same procedure; for bottom-up approac…
Flow- and Context-Sensitive Points-to Analysis using Generalized Points-to Graphs
Pritam M. Gharat, Uday P. Khedker, Alan Mycroft
Computing precise (fully flow-sensitive and context-sensitive) and exhaustive points-to information is computationally expensive. Many practical tools approximate the points-to inf…