SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges

David Kozak, Codrut Stancu, Tomáš Vojnar +1

A typical points-to analysis such as Andersen's or Steensgaard's may lose precision because it ignores the branching structure of the analyzed program. Moreover, points-to analysis…