1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
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…