“…There is a large literature on static points-to analysis [5,15,28,38,45], including formulations based on set-constraints and context-free language reachability [22,23,33,42]. Recent work has focused on improving context-sensitivity [25,40,41,44,47]. Using specifications in conjunction with these analyses can improve precision, scalability, and even soundness.…”