PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs.

Hvard Rognebakke Krogstie, Helge Bahmann, Magnus Sjlander, Nico Reissmann

Browse the full CGO paper archive.