49 citations · 103 across the 20 of their papers we have counts for
15 papers · 1 filter
Which Part of the Heap is Useful? Improving Heap Liveness Analysis
Vini Kanvar, Uday P. Khedker
With the growing sizes of data structures allocated in heap, understanding the actual use of heap memory is critically important for minimizing cache misses and reclaiming unused m…
Demand-driven Alias Analysis : Formalizing Bidirectional Analyses for Soundness and Precision
Swati Jaiswal, Uday P. Khedker, Supratik Chakraborty
A demand-driven approach to program analysis have been viewed as efficient algorithms to compute only the information required to serve a target demand. In contrast, an exhaustive…
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…
Scaling Bounded Model Checking By Transforming Programs With Arrays
Anushri Jana, Uday P. Khedker, Advaita Datar +2
Bounded Model Checking is one the most successful techniques for finding bugs in program. However, for programs with loops iterating over large-sized arrays, bounded model checkers…
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…
Buffer Overflow Analysis for C
Uday P. Khedker
Buffer overflow detection and mitigation for C programs has been an important concern for a long time. This paper defines a string buffer overflow analysis for C programs. The key…