49 citations · 103 across the 20 of their papers we have counts for
4 papers · 1 filter
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…
Generalizing the Liveness Based Points-to Analysis
Uday P. Khedker, Vini Kanvar
The original liveness based flow and context sensitive points-to analysis (LFCPA) is restricted to scalar pointer variables and scalar pointees on stack and static memory. In this…
Sliced Slices: Separating Data and Control Influences
Shrawan Kumar, Amitabha Sanyal, Uday Khedker
Backward slicing has been used extensively in program understanding, debugging and scaling up of program analysis. For large programs, the size of the conventional backward slice i…
Heap Abstractions for Static Analysis
Vini Kanvar, Uday P. Khedker
Heap data is potentially unbounded and seemingly arbitrary. As a consequence, unlike stack and static memory, heap memory cannot be abstracted directly in terms of a fixed set of s…