collaborators

1 paper

cs.PL2025

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

Håvard Rognebakke Krogstie, Helge Bahmann, Magnus Själander +1

Compiling files individually lends itself well to parallelization, but forces the compiler to operate on incomplete programs. State-of-the-art points-to analyses guarantee sound so…