49 citations · 49 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.PL2014
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…
cs.PL2014★ 49 cited
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…