hckrnws

Sound and Practical Points-To Analysis for Incomplete C Programs [pdf]