PIP: Making Andersen's Points-to Analysis Sound and Practical for Incomplete C Programs. - Håvard Rognebakke Krogstie; Helge Bahmann; Magnus Själander; Nico Reissmann (CGO, 2026)