Dynamic points-to sets
Markus U. Mock, Manuvir Das, Craig Chambers, Susan J. Eggers · 2001
In this paper, we compare the behavior of pointers in C programs, as approximated by static pointer analysis algorithms, with the actual behavior of pointers when these programs are run. In order to perform this comparison, we have implemented several well known pointer analysis algorithms, and we have built an instrumentation infrastructure for tracking pointer values during program execution.