activity
20162023
most citedGeneralized Points-to Graphs: A New Abstraction of Memory in the Presence of Pointers

1 citations · 1 across the 3 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.PL2016

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…