1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.PL2023
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…
cs.PL2018★ 1 cited
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…