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

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2025★ 1 cited

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…