Eventually Sound Points-To Analysis with Missing Code

Osbert Bastani, Lazaro Clapp, Saswat Anand +2

Static analyses make the increasingly tenuous assumption that all source code is available for analysis; for example, large libraries often call into native code that cannot be ana…